On submodels and submetamodels with their relation

Bernard Carré (1, 2) , Gilles Vanwormhoudt (3, 1, 2) , Olivier Caron (1, 2)

1 CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
2 Université de Lille
3 IMT - Institut Mines-Télécom [Paris]

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.

Mots clés: Set-theoretic formalization; Submodel; Model space; Submetamodel; Model repository

Domaines: Génie logiciel [cs.SE]

Bernard Carré, Gilles Vanwormhoudt, Olivier Caron. On submodels and submetamodels with their relation: A uniform formalization through inclusion properties. Software and Systems Modeling, 2018, 17 (4), pp 1105-1137. ⟨10.1007/s10270-016-0540-2⟩. ⟨hal-01338630⟩