Creation of ESTELLE/Ag Specifications Using Knowledge Bases

Article type: Research Article

Authors: Pranevicius, Henrikas | Budnikas, Germanas

Affiliations: Business Informatics Department, Kaunas University of Technology, Studentų 56–301, LT‐3031 Kaunas, Lithuania, e‐mail: [email protected]

Abstract: The paper presents a technique that defines creation of ESTELLE/Ag specifications using knowledge bases (KB). Application KB is created using the knowledge acquisition technique joined with a piece‐linear aggregate model. The production rules of the application KB are transformed to decision tables, and the static properties of the KB are checked in PROLOGA system. Further, the application KB is combined with the defined KB of validated properties and validation method, and application KB dynamic properties are checked in the expert system in CLIPS. A validated application KB is used defining a framework of ESTELLE/Ag specification using PRAXIS editor and supplementing PRAXIS generated framework with the application functional description. The technique is illustrated with an example of a single channel queuing system.

Keywords: ESTELLE/Ag specification, knowledge base, expert system, validation of static and dynamic properties, CLIPS, PROLOGA

Journal: Informatica, vol. 14, no. 1, pp. 63-74, 2003