INFORMATICA International Journal Main Page Editorial Board Abstracting/Indexing Instructions to Authors Subscription Information Contents Author Index Papers in Production		INFORMATICA, 2003, Vol. 14, No. 1, 63-74 © Institute of Mathematics and Informatics, ISSN 0868-4952 Creation of ESTELLE/Ag Specifications Using Knowledge Bases Henrikas PRANEVICIUS, Germanas BUDNIKAS Business Informatics Department, Kaunas University of Technology Student 56-301, LT-3031 Kaunas, Lithuania E-mail: hepran@if.ktu.lt 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 To preview Lithuanian abstract see full article text To preview full article text in PDF format click here You could obtain free Acrobat Reader from Adobe
Top		Copyright © INFORMATICA, Vilnius University Institute of Mathematics and Informatics, 2010