Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:mirella [2009/04/19 10:49] gjn |
hekate:mirella [2019/06/27 15:49] (current) |
| |
//Mirella// was a prototype design and implementation tool for the first version of the XTT method. | //Mirella// was a prototype design and implementation tool for the first version of the XTT method. |
The project has been discontinued. | |
However, it laid the foundation for the //[[hekate:start|HeKatE]] Project//. | |
| |
Old information is provided below (for historical reasons). | 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 ===== | ===== 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 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. |
| |
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 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 | |
| {{ :hekate:mirella-dev-platform.png |Mirella Development Platform}} |
| |
===== Screenshots ===== | ===== 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}} |
| |
Mirella Traffic Example | {{ :hekate:mir-traf-fin.png |Mirella Traffic Example}} |
| |
Mirella Firewall Example | {{ :hekate:mir-fw-fin.png |Mirella Firewall Example}} |
| |
===== Availability ===== | ===== Availability ===== |