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 11:07] gjn |
hekate:mirella [2009/05/07 21:15] gjn historical note |
||
|---|---|---|---|
| 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 18: | Line 20: | ||
| * 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 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, 31(2), 89-95, (see [[:hekate:bib:hekate_bibliography#gjn2005:syssci:xtt]]). | * 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, (see [[:hekate:bib:hekate_bibliography#gjn2005:awic]]. | + | * 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 ===== | ||
