Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:mirella [2009/04/19 11:08] 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. |