A Categorical Model of Model Merging and Weaving

Jonathan Marchand 1 Benoit Combemale 1 Benoit Baudry 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Type de document :
Communication dans un congrès
MiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland. Conference Publishing Solutions, 2012
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00714373
Contributeur : Jonathan Marchand <>
Soumis le : mercredi 4 juillet 2012 - 11:59:55
Dernière modification le : vendredi 13 janvier 2017 - 14:21:31
Document(s) archivé(s) le : vendredi 5 octobre 2012 - 02:24:30

Fichier

sc12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00714373, version 1

Collections

Citation

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. Conference Publishing Solutions, 2012. 〈hal-00714373〉

Partager

Métriques

Consultations de
la notice

435

Téléchargements du document

320