A Categorical Model of Model Merging and Weaving

by Jonathan Marchand, Benoit Combemale, Benoit Baudry
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.
Reference:
A Categorical Model of Model Merging and Weaving (Jonathan Marchand, Benoit Combemale, Benoit Baudry), In Proceedings of the MiSE workshop at ICSE’12, 2012.
Bibtex Entry:
@inproceedings{marchand12,
    title = {{A Categorical Model of Model Merging and Weaving}},
    author = {Marchand, Jonathan and Combemale, Benoit and Baudry, Benoit},
    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.}},
    booktitle = {Proceedings of the MiSE workshop at ICSE'12},
    address = {Zurich, Suisse},
	X-Country = {CH},
	X-International-Audience = {yes},
	X-Language = {EN},
	X-Proceedings = {yes},
    year = {2012},
    month = May,   
    url = {http://hal.inria.fr/hal-00714373/PDF/sc12.pdf},
    keywords = {MDE},
    x-abbrv = {MiSE},    
}