Multi-level constraints


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: College of Engineering & Physical Sciences
Additional Information: © 2018 The Authors. 'Multi-Level Constraints'. Tony Clark, Ulrich Frank. CEUR Workshop Proceedings 2245, pp. 103-117
Uncontrolled Keywords: General Computer Science
Publication ISSN: 1613-0073
Last Modified: 27 Jun 2024 09:54
Date Deposited: 01 Apr 2019 08:19
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Conference article
Published Date: 2018-11-18
Accepted Date: 2018-10-01
Authors: Clark, Tony (ORCID Profile 0000-0003-3167-0739)
Frank, Ulrich



Version: Published Version

| Preview

Export / Share Citation


Additional statistics for this record