Development and Analysis of a Problem Domain Knowledge Base Oriented to PLA Specifications

Authors:
Henrikas Pranevicius;Germanas Budnikas
Affiliations:
Business Informatics Department, Kaunas University of Technology, Lithuania;Business Informatics Department, Kaunas University of Technology, Lithuania
Venue:
Proceedings of the 2006 conference on Knowledge-Based Software Engineering: Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering
Year:
2006

Citing 8
Cited 0

Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Integration of the decision table formalism with a relational database environment

Information Systems
Validating dynamic properties of rule-based systems

International Journal of Human-Computer Studies - Special issue: verification and validation
An illustration of verification and validation in the modelling phase of KBS development

Data & Knowledge Engineering
A Knowledge-Based Environment for Modeling and Simulating Software Engineering Processes

IEEE Transactions on Knowledge and Data Engineering
Exploring and Validating the Contributions of Real-World Knowledge to the Diagnostic Performance of Automated Database Design Tools

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
3.1: Practical FSM Analysis for Verilog

IVC-VIUF '98 Proceedings of the International Verilog HDL Conference and VHDL International Users Forum
Creation of ESTELLE/Ag Specifications Using Knowledge Bases

Informatica

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.