Model Type Inference from OCL

Description

Model Driven Engineering (MDE) [1] refers to an increasingly popular range of development approaches that are based on the use of software modeling as a primary form of expression. Central to the OMG vision of MDE, the Object Constraint Language is a declarative language for describing rules that apply to models. It is a precise text language that provides constraint and object query expressions on any Meta-Object Facility model or metamodel that cannot otherwise be expressed by diagrammatic notation.

OCL constraints are usually described in a separate text file, whose connection to specific meta-models can be problematic. The target meta-model must indeed contain all the elements referred by the OCL constraints, i.e. the target meta-model must conform to the type of model [3] which is implicitly defined by the OCL constraints.

The goal of this Master Thesis is to investigate how a model type can be inferred from a set of OCL constraints, hence making it possible to statically determine if this set of constraint do apply to a specific meta-model.

Bibliography

Jean-Marc Jézéquel. -- Model driven design and aspect weaving. -- Journal of Software and Systems Modeling (SoSyM), 7(2):209--218, may 2008.

The Object Constraint Language: Getting Your Models Ready for MDA -- Jos B. Warmer, Anneke G. Kleppe, Anders Ivner - AW, 2003.

Jim Steel and Jean-Marc Jézéquel. -- On Model Typing. -- Journal of Software and Systems Modeling (SoSyM), 2007.

Working Environment

• Laboratories:
• IRISA, EPI Triskell (Campus de Beaulieu, Université de Rennes 1, France)

• Scientific Advisors:
• Jean-Marc Jézéquel jezequel@irisa.fr