Multi-level constraints

Tony Clark, Ulrich Frank

Research output: Contribution to journalConference articlepeer-review


Meta-modelling and domain-specific modelling languages are supported by multi-level modelling which liberates model-based engineering from the traditional two-level type-instance language architecture. Proponents of this approach claim that multi-level modelling increases the quality of the resulting systems by introducing a second abstraction dimension and thereby allowing both intra-level abstraction via sub-typing and inter-level abstraction via meta-types. Modelling approaches include constraint languages that are used to express model semantics. Traditional languages, such as OCL, support intra-level constraints, but not inter-level constraints. This paper motivates the need for multi-level constraints, shows how to implement such a language in a reflexive language architecture and applies multi-level constraints to an example multi-level model.

Original languageEnglish
Pages (from-to)103-117
Number of pages15
JournalCEUR Workshop Proceedings
Publication statusPublished - 18 Nov 2018
Event2018 MODELS Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, MODELS-WS 2018 - Copenhagen, Denmark
Duration: 14 Oct 201819 Oct 2018

Bibliographical note

© 2018 The Authors. 'Multi-Level Constraints'. Tony Clark, Ulrich Frank. CEUR Workshop Proceedings 2245, pp. 103-117


Dive into the research topics of 'Multi-level constraints'. Together they form a unique fingerprint.

Cite this