Conceptual Modelling and Automated Implementation of Rule-Based Systems

  • Authors:
  • Grzegorz J. Nalepa;Antoni Ligęza

  • Affiliations:
  • Institute of Automatics, AGH University of Science and Technology, Al. Mickiewicza 30, 30-059 Kraków, Poland, e-mails: gjn@agh.edu.pl, ligeza@agh.edu.pl;Institute of Automatics, AGH University of Science and Technology, Al. Mickiewicza 30, 30-059 Kraków, Poland, e-mails: gjn@agh.edu.pl, ligeza@agh.edu.pl

  • Venue:
  • Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
  • Year:
  • 2005

Quantified Score

Hi-index 0.01

Visualization

Abstract

The paper presents the elements of a novel approach to joint modelling and implementation process of rule-based systems. The design is performed top-down with a three-level, hierarchical approach. It covers conceptual design, logical design and physical design. A new tool, Attribute-Relationship Diagrams (ARD) for logical design stage are put forward. Another logical knowledge representation tool, used at logical design stage consists of the eXtended Tree Tables (XTT). The final, physical design stage consists in mapping to PROLOG meta code. The proposed approach is supported with visual design tool MIRELLA and offers possibility of amalgamating design and implementation into a single procedure. Moreover, incremental verification is also enabled.