This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
|
hekate:mirella [2009/04/19 10:38] gjn created |
hekate:mirella [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | What is Mirella? | + | ====== Mirella and HeKatE ====== |
| - | Mirella is on of the results of the Ph.D. dissertation by Grzegorz J. Nalepa, Ph.D., entitled "Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems", 2004, AGH University of Science and Technology. | + | |
| + | //Mirella// was a prototype design and implementation tool for the first version of the XTT method. | ||
| + | |||
| + | It laid the foundation for the //[[hekate:start|HeKatE]] Project//. | ||
| + | |||
| + | **The project has been discontinued, it is not compatible with HeKatE tools!** | ||
| + | |||
| + | //Old information is provided below (for historical reasons).// | ||
| + | |||
| + | ===== Introduction ===== | ||
| + | |||
| + | Mirella is on of the results of the Ph.D. dissertation by Grzegorz J. Nalepa, Ph.D., entitled //"Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems"//, 2004, AGH University of Science and Technology. | ||
| Mirella is an intelligent visual design tool supporting on-line verification of rule-based systems, based of the XTT knowledge representation. It is oriented towards designing reliable and safe rule-based systems in general. The main goal of the system is to move the design procedure to a more abstract, logical and graphical level, where knowledge specification is based on use of abstract rule representation. The designed graphical specification is automatically translated into a predefined XML (XTTML) knowledge format, so the designer can focus on logical specification of safety and reliability; simultaneously, practical code can be generated form a wide class of systems. On the other hand, formal aspects such as completeness, determinism, etc. may be automatically verified on-line during the design, so that it verifiable characteristics are preserved. | Mirella is an intelligent visual design tool supporting on-line verification of rule-based systems, based of the XTT knowledge representation. It is oriented towards designing reliable and safe rule-based systems in general. The main goal of the system is to move the design procedure to a more abstract, logical and graphical level, where knowledge specification is based on use of abstract rule representation. The designed graphical specification is automatically translated into a predefined XML (XTTML) knowledge format, so the designer can focus on logical specification of safety and reliability; simultaneously, practical code can be generated form a wide class of systems. On the other hand, formal aspects such as completeness, determinism, etc. may be automatically verified on-line during the design, so that it verifiable characteristics are preserved. | ||
| Line 7: | Line 18: | ||
| Mirella and XTT have been discussed in more detail in several scientific papers, namely: | Mirella and XTT have been discussed in more detail in several scientific papers, namely: | ||
| - | * G. J. Nalepa, A. Ligęza, //A Visual Edition Tool For Design And Verification of Knowledge In Rule-Based Systems//, Systems Science, Wrocław, 2004. | + | * G. J. Nalepa, A. Ligęza, //A Visual Edition Tool For Design And Verification of Knowledge In Rule-Based Systems//, Systems Science, 31(3), 103-109, (see [[:hekate:bib:hekate_bibliography#gjn2005:syssci:mirella]]). |
| - | * G. J. Nalepa, A. Ligęza, //A Graphical Tabular Model For Rule-Based Logic Programming And Verification//, Systems Science, Wrocław, 2004. | + | * G. J. Nalepa, A. Ligęza, //A Graphical Tabular Model For Rule-Based Logic Programming And Verification//, Systems Science, 31(2), 89-95, (see [[:hekate:bib:hekate_bibliography#gjn2005:syssci:xtt]]). |
| - | * G. J. Nalepa, A. Ligęza, //Designing reliable web security systems using rule-based systems approach//, Advances in Web Intelligence : first international Atlantic Web Intelligence Conference AWIC 2003 : Madrid, Spain, May 5--6, 2003 : proceedings / eds. Ernestina Menasalvas, Javier Segovia, Piotr S. Szczepaniak. -- Berlin ; Heidelberg : Springer-Verlag, 2003. -- (Lecture Notes in Computer Science) ; (Lecture Notes in Artificial Intelligence ; 2663 | + | * G. J. Nalepa, A. Ligęza, //Designing reliable web security systems using rule-based systems approach//, Advances in Web Intelligence : first international Atlantic Web Intelligence Conference AWIC 2003 : Madrid, Spain, May 5--6, 2003 : proceedings / eds. Ernestina Menasalvas, Javier Segovia, Piotr S. Szczepaniak. -- Berlin ; Heidelberg : Springer-Verlag, 2003. -- (Lecture Notes in Computer Science) ; (Lecture Notes in Artificial Intelligence ; 2663, (see [[:hekate:bib:hekate_bibliography#gjn2005:awic]]). |
| + | |||
| + | ===== Mirella design ===== | ||
| - | Mirella design | ||
| The architecture of Mirella consists of several modules and layers. There are four main system layers: environment it provides ways of importing, exporting and presenting knowledge base in both human and machine readable formats, visual - it allows for visual design of knowledge base, logic it provides means of formal verification of knowledge base, semantics it helps in adding domain-specific semantics to the knowledge base. The knowledge base itself is a repository for XTT based system description. | The architecture of Mirella consists of several modules and layers. There are four main system layers: environment it provides ways of importing, exporting and presenting knowledge base in both human and machine readable formats, visual - it allows for visual design of knowledge base, logic it provides means of formal verification of knowledge base, semantics it helps in adding domain-specific semantics to the knowledge base. The knowledge base itself is a repository for XTT based system description. | ||
| Line 21: | Line 33: | ||
| * Mirella Exchanger - which consists of number of import and exports plugins, exchanging data with other knowledge representation languages, and domain specific system prototypes. | * Mirella Exchanger - which consists of number of import and exports plugins, exchanging data with other knowledge representation languages, and domain specific system prototypes. | ||
| - | Mirella Architecture | + | |
| - | Mirella implementation | + | {{ :hekate:mirella-arch-tng.png |Mirella Architecture}} |
| + | |||
| + | ===== Mirella implementation ===== | ||
| The development platform for Mirella has been chosen with flexibility, portability and efficiency in mind. The platform consists of several middleware layers supporting GUI, canvas management, Prolog integration and XML handling; main components are: | The development platform for Mirella has been chosen with flexibility, portability and efficiency in mind. The platform consists of several middleware layers supporting GUI, canvas management, Prolog integration and XML handling; main components are: | ||
| Line 37: | Line 51: | ||
| The SWI-Prolog is a modern ISO-compliant portable Prolog compiler. The SWI-Prolog was selected due to its: flexibility, portability, availability, and possibility of integration with other software. It offers a bi-directional programming interface to and from ANSI C language allowing for easy integration with other code. It provides a built-in XML/RDF parser, suitable for direct XML processing and applications in the field of Semantic Web. | The SWI-Prolog is a modern ISO-compliant portable Prolog compiler. The SWI-Prolog was selected due to its: flexibility, portability, availability, and possibility of integration with other software. It offers a bi-directional programming interface to and from ANSI C language allowing for easy integration with other code. It provides a built-in XML/RDF parser, suitable for direct XML processing and applications in the field of Semantic Web. | ||
| - | Mirella Development Platform | ||
| - | Screenshots | + | {{ :hekate:mirella-dev-platform.png |Mirella Development Platform}} |
| + | |||
| + | ===== Screenshots ===== | ||
| Below several real-life RBSs designs in Mirella are shown. | Below several real-life RBSs designs in Mirella are shown. | ||
| - | Mirella Thermostat | + | {{ :hekate:mir-therm-fin.png |Mirella Thermostat}} |
| + | |||
| + | {{ :hekate:mir-traf-fin.png |Mirella Traffic Example}} | ||
| - | Mirella Traffic Example | + | {{ :hekate:mir-fw-fin.png |Mirella Firewall Example}} |
| - | Mirella Firewall Example | + | ===== Availability ===== |
| - | Availability | ||
| A beta version of the tool was made available in 2004. | A beta version of the tool was made available in 2004. | ||
