A Categorical Model of Model Merging and Weaving - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Categorical Model of Model Merging and Weaving

Résumé

Model driven engineering advocates the separation of concerns during the design time of a system, which leads to the creation of several different models, using several different syntaxes. However, to reason on the overall system, we need to compose these models. Unfortunately, composition of models is done in an ad hoc way, preventing comparison, capitalisation and reuse of the composition operators. In order to improve comprehension and allow comparison of merging and weaving operators, we use category theory to propose a unified framework to formally define merging and weaving of models. We successfully use this framework to compare them, both through the way they are transformed in the formalism, and through several properties, such as completeness or non-redundancy. Finally, we validate this framework by checking that it correctly identifies three tools as performing merging or weaving of models.
Fichier principal
Vignette du fichier
sc12.pdf (131 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00714373 , version 1 (04-07-2012)

Identifiants

  • HAL Id : hal-00714373 , version 1

Citer

Jonathan Marchand, Benoit Combemale, Benoit Baudry. A Categorical Model of Model Merging and Weaving. MiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland. ⟨hal-00714373⟩
212 Consultations
413 Téléchargements

Partager

Gmail Facebook X LinkedIn More