Title
Constraint Modularization Within Multi-level Meta-modeling.
Abstract
Traditional meta-modeling strictly differentiates between internal and external constraints attached to the meta-models. While for example cardinality and annotations are usually considered existential parts of the meta-modeling techniques, OCL expressions are treated as an independent layer of constraint mechanism. The result is a patchwork because the external constraint notation will not become part of the meta-model, its semantics is only referentially integrated, and thus meta-levels are to be harmonized. In comparison, multi-level meta-modeling may enable a uniform self-contained interpretation of the constraint semantics by encapsulating the constraint modeling constructs into the fabric of the multi-level meta-modeling framework. In this paper, we describe such a modular constraint modeling technique that has been formalized in Dynamic Multi-Layer Algebra (DMLA), an algebraic multi-level meta-modeling method. The paper first describes our constraint modeling approach and then elaborates on the concept of cardinality and its trivial generalization to regular expression patterns. As motivated by one of the interface modeling languages of network management, the approach is also demonstrated on a simple YANG language construct.
Year
DOI
Venue
2017
10.1007/978-3-319-67642-5_24
Communications in Computer and Information Science
Keywords
Field
DocType
Multi-level meta-modeling,Modeling constraints,Cardinality
Notation,Regular expression,Programming language,Expression (mathematics),Computer science,Language construct,Modeling language,Cardinality,Modular design,Semantics
Conference
Volume
ISSN
Citations 
756
1865-0929
0
PageRank 
References 
Authors
0.34
3
3
Name
Order
Citations
PageRank
Zoltán Theisz101.69
Daniel Urbán201.35
Gergely Mezei314324.62