dACL: the deep constraint and action language for static and dynamic semantic definition in Melanee

The Unified Modeling Language (UML) is the de facto standard for modeling software. But due to some limitations of UML a new modeling paradigm was born, called Multi-Level Modeling or Deep Modeling, allowing the user to model across multiple ontological levels. The software engineering group at the Uni- versity of Mannheim has developed a multi-level modeling tool which is called “Melanee”. To attract more users to this modeling paradigm, Melanee needs the same extensions as UML, such as a constraint language, an action language or a transformation language in order to help its users create precise and useful models. There has been some effort to integrate a deep modeling constraint language into Melanee, but the usability of this dialect turned out to be limited. This thesis aims at raising the usability of the deep modeling constraint language dialect by customizing the Object Constraint Language (OCL) standard language definition, which is the constraint language extension for UML. Many of the semantic navigation definitions are based on the work of Kantner