Model Critic: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Alexili
m New page: Model Critic uses the Rodin EMF plugin to connect the Rodin modelling database with rich and versatile model manipulation framework called Epsilon. One element of Epsilon is an interpreted...
 
imported>Mathieu
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
Model Critic uses the Rodin EMF plugin to connect the Rodin modelling database with rich and versatile model manipulation framework called Epsilon. One element of Epsilon is an interpreted scripting language tailored to the traversal and construction of large structured objects based on a well-defined meta-model. In the case of Model Critic, the scripting language is applied to evaluate models using informal heuristics of what is typically a bad practice in model construction. Heuristics are encoded as Epsilon scripts stored in a dynamic library: a library that may be extended and updated during a modelling session.
Model Critic uses the Rodin EMF plugin to connect the Rodin modelling database with rich and versatile model manipulation framework called Epsilon. One element of Epsilon is an interpreted scripting language tailored to the traversal and construction of large structured objects based on a well-defined meta-model. In the case of Model Critic, the scripting language is applied to evaluate models using informal heuristics of what is typically a bad practice in model construction. Heuristics are encoded as Epsilon scripts stored in a dynamic library: a library that may be extended and updated during a modelling session.
==How do get it==
The tool exists only in an experimental mode. Thus, if you want to try it out you should download the development archive from [http://iliasov.org/modelcritic/mcfull.zip]. The development archive Additionally, there is a small library of [http://iliasov.org/modelcritic/mclib.zip critic scripts]. The latter are imported as a project in a running Rodin platform with the Model Critic extension.
==How it works==
[[Category:Plugin]]
[[Category:User documentation]]
[[Category:Work in progress]]

Latest revision as of 07:06, 1 August 2011

Model Critic uses the Rodin EMF plugin to connect the Rodin modelling database with rich and versatile model manipulation framework called Epsilon. One element of Epsilon is an interpreted scripting language tailored to the traversal and construction of large structured objects based on a well-defined meta-model. In the case of Model Critic, the scripting language is applied to evaluate models using informal heuristics of what is typically a bad practice in model construction. Heuristics are encoded as Epsilon scripts stored in a dynamic library: a library that may be extended and updated during a modelling session.

How do get it

The tool exists only in an experimental mode. Thus, if you want to try it out you should download the development archive from [1]. The development archive Additionally, there is a small library of critic scripts. The latter are imported as a project in a running Rodin platform with the Model Critic extension.

How it works