Mise en correspondance et gestion de la cohérence de modèles hétérogènes évolutifs

Abstract : To understand and manipulate a complex system, it is necessary to apply the separation of concerns and produce separate parts. In Model Driven Engineering (MDE), these parts are represented by models qualified as partial models. In this context of multi-modeling, these models are called heterogeneous when they are described in separate modeling languages dedicated to different business domains: DSML (Domain Specific Modeling Language). Global model creation requires identifying existing correspondences between the elements of the partial models. However, in practice these correspondences are either incompletely identified or not sufficiently formalized to be maintained when the partial models evolve. This restricts their use and does not allow to fully exploit them for building the global model or for treating partial models evolution. The contribution of this thesis is twofold. The first contribution deals with a process for creating a global view of the system by means of a composition based on partial models matching. Identified correspondences between models elements are based on types of relationship instantiated from a metamodel of correspondences. This latter is extensible, depending on the considered application domain, and allows supporting the concepts related to this domain. Correspondences are firstly identified between meta-elements belonging to metamodels of the respective partial models. Correspondences between model elements are then obtained by a refinement mechanism, supported by an ad hoc Semantic Expression language: SED (Semantic Expression DSL). The composition is called “virtual” since elements represented in a correspondence are only references to elements belonging to partial models. Therefore, models interconnected by this correspondences form a virtual global model. The second contribution relates the consistency of the global model. Indeed, as models evolve over time, changing one or several elements involved in a correspondence, may cause the inconsistency of the global model. To maintain its consistency, we propose a second process enabling to automatically identify the changes, classify them and treat their impacts on the involved model elements. Management of repercussions is performed semi-automatically by the expert by means of strategies and weights. This work has been implemented through a support tool named HMCS (Heterogeneous Matching and Consistency management Suite) based on the Eclipse Platform. The approach has been validated and illustrated through a case study related to the management of a Hospital Emergency Service. This work was led in collaboration with the “CHU of Montpellier”.
Document type :
Theses
Complete list of metadatas

Cited literature [168 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01323020
Contributor : Abes Star <>
Submitted on : Monday, May 30, 2016 - 6:22:07 AM
Last modification on : Thursday, October 17, 2019 - 8:54:28 AM
Long-term archiving on : Wednesday, August 31, 2016 - 10:14:37 AM

File

ElHamlaoui_Mahmoud.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01323020, version 1

Collections

Citation

Mahmoud El Hamlaoui. Mise en correspondance et gestion de la cohérence de modèles hétérogènes évolutifs. Ingénierie assistée par ordinateur. Université Toulouse le Mirail - Toulouse II, 2015. Français. ⟨NNT : 2015TOU20042⟩. ⟨tel-01323020⟩

Share

Metrics

Record views

420

Files downloads

977