eprintid: 39343
rev_number: 11
eprint_status: archive
userid: 12308
dir: disk0/00/03/93/43
datestamp: 2020-05-21 00:24:44
lastmod: 2024-09-04 02:38:35
status_changed: 2020-05-21 00:24:44
type: conference_item
metadata_visibility: show
contact_email: maria.siregar@uin-suka.ac.id
creators_name: Siregar, Maria Ulfah
title: Generator for Z Conceptual Model
Using JFlex and BYACC/J Specification
ispublished: pub
subjects: TB
divisions: artkl
full_text_status: public
pres_type: paper
abstract: The Z notation is one of leading formal
specification language based on standard
mathematical notation, used for describing and
modeling computer systems. The system, which is
called ZC06, is composed by some phases, namely
lexical analysis, syntax analysis, semantic analysis,
and model conceptual-generation. ZC06 accepts Z
specification and produces conceptual model whose
format is based on format that had been proposed by
researchers around 1990's. The lexical analyzer is
developed by using JFlex, whilst the three other
phases are developed by using BYACC/J. ZC06 is
implemented by interfacing JFlex with BYACC/J.
ZC06 has been tested by using two specifications. The
first specification is a specification that specifies
security room (SBK), which has been used by previous
researcher. The output is evaluated by comparing
ZC06's output with the one, which had been developed
by that researcher. The second one is a specification
that specifies a system, which records people's
birthday (SHJ). This specification has not been used
as an input in previous researches. Therefore, the
output is evaluated by redeveloping manually its
specification based on its conceptual model. The
result shows that ZC06 produces conceptual model,
which is equally the same as the previous one.
Moreover, SHJ has been redeveloped successfully
date: 2007
event_title: Industrial Electronics Seminar 2007 Electronics Engineering Polytechnic Institute of Surabaya
event_type: conference
refereed: TRUE
citation:   Siregar, Maria Ulfah  (2007) Generator for Z Conceptual Model Using JFlex and BYACC/J Specification.  In: Industrial Electronics Seminar 2007 Electronics Engineering Polytechnic Institute of Surabaya.     
document_url: https://digilib.uin-suka.ac.id/id/eprint/39343/1/C03-MariaUlfa-Generator%20for%20Z%20Conceptual%20Model%20Using%20JFlex%20and%20BYACCJ%20Specification.pdf