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:08] 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. | ||
