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.

Preview

Text C03-MariaUlfa-Generator for Z Conceptual Model Using JFlex and BYACCJ Specification.pdf - Published Version Download (79kB) | Preview

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

Share this knowledge with your friends :

Actions (login required)

View Item