Paper Info
Title
On submodels and submetamodels with their relation - A uniform formalization through inclusion properties.
Abstract
Model-driven engineering (MDE) recognized software models as first-class objects with their own relationships and operations, up to constitute full structured model spaces. We focus on inclusion capacities through the concepts of submodel and submetamodel which contribute a lot to the structuring effort. Submodels and submetamodels underlie many MDE practices which require their precise characterization for plain control. A typical application is model management as offered by model repositories. On the basis of results on submodel inclusion we stated in a preceding paper, we concentrate on the special form of submodels which are submetamodels and their specific role in model space structuring. Pointing out that relating submodels and submetamodels is two ways, their respective inclusion hierarchies will be systematically characterized and symmetrically compared under the logical relationships of metamodel membership and model well-formedness. As a major result, it will be shown that submodel well-formedness w.r.t submetamodels closely relates to submodel invariance (a property which guarantees transitive structure preservation) applied at both levels. The uniform formalization offers algebraic grounding to better comprehension and control of model spaces which underlie MDE activities. At a much more practical level, reusable technology which takes advantage of established results will be offered.
Year
Venue
Field
2018
Software and System Modeling
Algebraic number,Invariant (physics),Computer science,Theoretical computer science,Software,Hierarchy,Structuring,Metamodeling,Comprehension,Transitive relation
DocType
Volume
Issue
Journal
17
4
Citations 
PageRank 
References 
0
0.34
36
Authors
3
Name
Order
Citations
PageRank
Bernard Carré1379.23
Gilles Vanwormhoudt210815.60
Olivier Caron3339.03