Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Validating dynamic properties of rule-based systems
International Journal of Human-Computer Studies - Special issue: verification and validation
Validating and Verifying Knowledge-Based Systems
Validating and Verifying Knowledge-Based Systems
A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes
IEEE Transactions on Knowledge and Data Engineering
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Development and Analysis of a Problem Domain Knowledge Base Oriented to PLA Specifications
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Hi-index | 0.00 |
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.