Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Jonathan Marchand Connect in order to contact the contributor
Submitted on : Wednesday, July 4, 2012 - 11:59:55 AM
Last modification on : Friday, February 4, 2022 - 3:25:01 AM
Long-term archiving on: : Friday, October 5, 2012 - 2:24:30 AM


Files produced by the author(s)


  • HAL Id : hal-00714373, version 1


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⟩



Record views


Files downloads