HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

From subsets of model elements to submodels: A characterization of submodels and their properties

Abstract : Model-Driven Engineering (MDE) generalized the status of models from documentation or MDA (Model Driven Architecture) modeling steps to full artifacts, members of a so-called structured "model space". We concentrate here on the submodel relationship which contributes a lot to this structuring effort. Many works and MDE practices resort to this notion and call for its precise characterization, which is the intent of this paper. A typical situation is model management through repositories. We start from the definition of a model as a set of model elements plus a set of dependency constraints that it asserts over these elements. This allows to isolate the notions of closed, covariant and invariant submodels. As a major result, we show that submodel transitivity can be guaranteed thanks to submodel invariance. This formalization offers keys to analyze operations which manipulate submodels. For example, we deeply study the operator which consists in extracting a model from another one, when selecting some subset of its elements. The same can be applied to many other model operations and the last part of the paper is dedicated to a synthesis on related works which could profit from this characterization. More practically, we show how the results were exploited in our Eclipse modeling environment.
Document type :
Journal articles
Complete list of metadata

Cited literature [51 references]  Display  Hide  Download

Contributor : Bernard Carré Connect in order to contact the contributor
Submitted on : Monday, July 29, 2019 - 9:34:27 PM
Last modification on : Wednesday, March 23, 2022 - 3:51:18 PM


Files produced by the author(s)




Bernard Carré, Gilles Vanwormhoudt, Olivier Caron. From subsets of model elements to submodels: A characterization of submodels and their properties. Software and Systems Modeling, Springer Verlag, 2015, 14 (2), pp.861-887. ⟨10.1007/s10270-013-0340-x⟩. ⟨hal-00813295v1⟩



Record views


Files downloads