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.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com