Software engineering is evolving towards a new paradigm where models are rst-class elements.
In the context of this evolution, it is important that models are defined in a precise and coherent
way. The use of metamodeling techniques like MOF and formal languages like OCL are solutions
for precise modeling. However, there is currently no tools that combines these two standards to
support precise metamodeling with OCL. In this paper, we propose to extend the EMF (Eclipse
Modeling Framework) approach with OCL capabilities. EMF is a set of development tools that
provides a metamodeling approach for the Eclipse environment. Our extension gives the abilities
to attach OCL contraints to any metamodel, to verify their coherence and to translate the
contraints into Java code for evaluating them on instance models. This work should be useful
for developers of Eclipse plugin that exploit EMF to produce their metadatas and for everyone
that needs to specify precise metamodels with OCL.
The intent of EMFOCL Plugin is to define more precise EMF models
and use OCL to specify constraints on objects in the UML.
The Object Constraint Language (OCL) is a language that
enables to describe expressions and constraints on
object-oriented models.
Eclipse
EMF Dresden OCL Toolkit