Opportunities and Challenges for Deep Constraint Languages

Abstract. Structural models are often augmented with additional wellformedness constraints to rule out unwanted configurations of instances. These constraints are usually written in dedicated constraint languages specifically tailored to the conceptual framework of the host modeling language, the most well-known example being the OCL constraint language for the UML. Many multi-level modeling languages, however, have no such associated constraint language. Simply adopting the OCL for such multi-level languages is not a complete strategy, though, as the OCL was designed to support the UML’s two-level class/instance dichotomy, i.e., it can only define constraints which restrict the properties of the immediate instances of classes, but not beyond. The OCL would consequently not be able to support the definition of deep constraints that target remote or even multiple classification levels. In fact, no existing constraint language can address the full range of concerns that may occur ...

• Type: Journal
• Year: 2015
• Where: MODELS
• Authors: Colin Atkinson, Ralph Gerbig, Thomas Kühne
• Keywords: MODELS 2015, Natural Language Processing