deep constraint languages.pdf (401.54 kB)

Opportunities and challenges for deep constraint languages

Download (401.54 kB)
conference contribution
posted on 11.11.2020, 22:02 by C Atkinson, R Gerbig, Thomas Kuehne
Structural models are often augmented with additional well-formedness 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 in deep modeling using the Orthogonal Classification Architecture (OCA) as an infrastructure. In this paper we consider what these concerns might be and discuss the syntactical and pragmatic issues involved in providing full support for them in deep modeling environments.

History

Preferred citation

Atkinson, C., Gerbig, R. & Kühne, T. (2015, January). Opportunities and challenges for deep constraint languages. In CEUR Workshop Proceedings, Vol. 1512 15th International Workshop on OCL and Textual Modeling, co-located with the ACM/IEEE 18th International Conference on Model-Driven Engineering Languages and Systems 2015, Ottawa, Canada (1512 pp. 3-18).

Conference name

15th International Workshop on OCL and Textual Modeling, co-located with the ACM/IEEE 18th International Conference on Model-Driven Engineering Languages and Systems 2015

Conference Place

Ottawa, Canada

Title of proceedings

CEUR Workshop Proceedings, Vol. 1512

Volume

1512

Series

CEUR Workshop Proceedings

Contribution type

Published Paper

Publication or Presentation Year

01/01/2015

Pagination

3-18

Publication status

Published

ISSN

1613-0073

Exports

Logo branding

Categories

Exports