Multi-level constraints

Tony Clark, Ulrich Frank

Research output: Contribution to journalConference article

Abstract

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
Volume2245
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

Fingerprint

Semantics
Modeling languages

Bibliographical note

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

Cite this

Clark, T., & Frank, U. (2018). Multi-level constraints. CEUR Workshop Proceedings, 2245, 103-117.
Clark, Tony ; Frank, Ulrich. / Multi-level constraints. In: CEUR Workshop Proceedings. 2018 ; Vol. 2245. pp. 103-117.
@article{7ba94192ecf4408a81315a8b83bcb16c,
title = "Multi-level constraints",
abstract = "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.",
author = "Tony Clark and Ulrich Frank",
note = "{\circledC} 2018 The Authors. 'Multi-Level Constraints'. Tony Clark, Ulrich Frank. CEUR Workshop Proceedings 2245, pp. 103-117",
year = "2018",
month = "11",
day = "18",
language = "English",
volume = "2245",
pages = "103--117",

}

Clark, T & Frank, U 2018, 'Multi-level constraints', CEUR Workshop Proceedings, vol. 2245, pp. 103-117.

Multi-level constraints. / Clark, Tony; Frank, Ulrich.

In: CEUR Workshop Proceedings, Vol. 2245, 18.11.2018, p. 103-117.

Research output: Contribution to journalConference article

TY - JOUR

T1 - Multi-level constraints

AU - Clark, Tony

AU - Frank, Ulrich

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

PY - 2018/11/18

Y1 - 2018/11/18

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85063078526&partnerID=8YFLogxK

UR - http://ceur-ws.org/Vol-2245/

M3 - Conference article

AN - SCOPUS:85063078526

VL - 2245

SP - 103

EP - 117

ER -

Clark T, Frank U. Multi-level constraints. CEUR Workshop Proceedings. 2018 Nov 18;2245:103-117.