This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:mirella [2009/04/19 10:56] gjn |
hekate:mirella [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| //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. | ||
| Line 16: | 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 ===== | ||
| Line 50: | Line 52: | ||
| - | {{:hekate:mirella-dev-platform.png|Mirella Development Platform}} | + | {{ :hekate:mirella-dev-platform.png |Mirella Development Platform}} |
| ===== Screenshots ===== | ===== Screenshots ===== | ||
| Line 56: | Line 58: | ||
| 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 ===== | ||
