A uniform formalization through inclusion properties
Document type :
Compte-rendu et recension critique d'ouvrage
Title :
On submodels and submetamodels with their relation
A uniform formalization through inclusion properties
A uniform formalization through inclusion properties
Author(s) :
Carre, Bernard [Auteur]
Université de Lille
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Vanwormhoudt, Gilles [Auteur]
Université de Lille
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Institut Mines-Télécom [Paris] [IMT]
Caron, Olivier [Auteur]
Université de Lille
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]

Université de Lille
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Vanwormhoudt, Gilles [Auteur]

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

Université de Lille
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Journal title :
Software and Systems Modeling
Pages :
pp 1105–1137
Publisher :
Springer Verlag
Publication date :
2018-10-01
ISSN :
1619-1366
English keyword(s) :
Set-theoretic formalization
Submodel
Model space
Submetamodel
Model repository
Submodel
Model space
Submetamodel
Model repository
HAL domain(s) :
Informatique [cs]/Génie logiciel [cs.SE]
English abstract : [en]
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 ...
Show more >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.Show less >
Show more >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.Show less >
Language :
Anglais
Popular science :
Non
Collections :
Source :
Files
- https://hal.archives-ouvertes.fr/hal-01338630/document
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01338630/document
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01338630/document
- Open access
- Access the document
- manuscript_submetamodels.pdf
- Open access
- Access the document
- document
- Open access
- Access the document