Sciweavers

Share
MODELS
2015
Springer

Opportunities and Challenges for Deep Constraint Languages

5 years 7 months ago
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 ...
Colin Atkinson, Ralph Gerbig, Thomas Kühne
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Colin Atkinson, Ralph Gerbig, Thomas Kühne
Comments (0)
books