Multi-level constraints

Clark, Tony and Frank, Ulrich (2018). Multi-level constraints. CEUR Workshop Proceedings, 2245 , pp. 103-117.

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.

Divisions: Engineering & Applied Sciences
Additional Information: © 2018 The Authors. 'Multi-Level Constraints'. Tony Clark, Ulrich Frank. CEUR Workshop Proceedings 2245, pp. 103-117
Uncontrolled Keywords: Computer Science(all)
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
Published Date: 2018-11-18
Authors: Clark, Tony ( 0000-0003-3167-0739)
Frank, Ulrich

Download

[img]

Version: Published Version

| Preview

Export / Share Citation


Statistics

Additional statistics for this record