Generator for Z Conceptual Model Using JFlex and BYACC/J Specification

Siregar, Maria Ulfah Generator for Z Conceptual Model Using JFlex and BYACC/J Specification. In: Industrial Electronics Seminar 2007 Electronics Engineering Polytechnic Institute of Surabaya.

C03-MariaUlfa-Generator for Z Conceptual Model Using JFlex and BYACCJ Specification.pdf - Published Version

Download (79kB) | Preview


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

Item Type: Conference or Workshop Item (Paper)
Subjects: Tehnik Informatika
Divisions: Artikel (Terbitan Luar UIN)
Depositing User: Maria Ulfah Siregar S.Kom. MIT., Ph.D.
Date Deposited: 21 May 2020 07:24
Last Modified: 21 May 2020 07:24

Share this knowledge with your friends :

Actions (login required)

View Item View Item
Chat Kak Imum