Model-Driven Development of an Interpreter for the Object Constraint Language

Abstract

The Object Constraint Language (OCL) plays a central role in many Model-Driven Engineering (MDE) initiatives for expressing invariant conditions in models, among other uses. It is defined as a side-effect free language combining model-oriented and functional features. There are works that explore the use of the functional paradigm for the interpretation of OCL such that most of the functional infrastructure could be predefined and automatically generated. In this work we present the MDE-based automatic generation of such functional infrastructure based on Haskell. We also present how the infrastructure is connected with the Eclipse Modeling Framework for final users, allowing the internal complexity to be transparent to them. We provide a different perspective on the interpretation of OCL, together with a sandbox that allows to evaluate in a unified way several proposals that already exist in the scientific community, as well as to collaborate with the migration of functional aspects to the MDE paradigm.