Model Critic

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.