Development and Analysis of a Problem Domain Knowledge Base Oriented to PLA Specifications
Henrikas Pranevičius, Germanas Budnikas · Joint Conference on Knowledge-Based Software Engineering · 2006
The paper presents a technique that applies knowledge engineering techniques for development and analysis of PLA specifications. Problem domain knowledge base (KB) is created using the knowledge acquisition technique joined with a piece-linear aggregate (PLA) model. The production rules of the KB are represented by decision tables, and static properties of the KB are checked in Prologa system. Further, the KB is combined with the defined KB of validated properties and validation method, and KB dynamic properties are checked in the expert system in CLIPS. Analysed KB is used defining a framework of PLA specification using Praxis editor and supplementing Praxis generated framework with the application functional description. The technique is illustrated with an example of a hard disk drive cache.