## TReMer: A tool for relationship-driven model merging (2006)

Venue: | In 14th International Symposium on Formal Methods (FM’06), 2006. Tool Demonstration |

Citations: | 4 - 4 self |

### BibTeX

@INPROCEEDINGS{Sabetzadeh06tremer:a,

author = {Mehrdad Sabetzadeh and Shiva Nejati},

title = {TReMer: A tool for relationship-driven model merging},

booktitle = {In 14th International Symposium on Formal Methods (FM’06), 2006. Tool Demonstration},

year = {2006},

publisher = {Demo}

}

### OpenURL

### Abstract

### Citations

395 |
Category theory for computing science
- Barr, Wells
- 1990
(Show Context)
Citation Context ... Connectors, which are usually specified by domain experts, describe the common parts between a set of models. Our structural merging algorithm is based on a category-theoretic concept called colimit =-=[1]-=-. Colimits provide a very highlevel and yet powerful machinery for merging [5]. Intuitively, computing the colimit yields a new model combining all models w.r.t. their correspondences as described by ... |

210 | Applying Model Management to Classical Meta Data Problems. Paper presented at
- Bernstein
(Show Context)
Citation Context ...l management aims to keep track of the relationships between a set of models as they evolve, and to describe the manipulations performed over them in terms of a set of predefined operators. Bernstein =-=[2]-=- identifies a number of useful operators on models, including Match, for finding correspondences between models, Diff, for finding differences between models, and Merge, for combining a set of models.... |

101 | A categorical manifesto
- Goguen
- 1991
(Show Context)
Citation Context ...n parts between a set of models. Our structural merging algorithm is based on a category-theoretic concept called colimit [1]. Colimits provide a very highlevel and yet powerful machinery for merging =-=[5]-=-. Intuitively, computing the colimit yields a new model combining all models w.r.t. their correspondences as described by a set of given relationships. Several examples on merging structural models ar... |

57 |
Model-Driven Software Development
- Stahl, Voelter
- 2006
(Show Context)
Citation Context ... and are managed via version control systems, supported by a number of relatively simple textual operations, including cut and paste, and text based differencing. In model-driven software development =-=[12]-=-, artifacts are expressed in well-defined notations, such as those comprising UML. The richer semantic basis of these notations gives rise to more sophisticated model operations, and hence a greater m... |

47 | Merging Partial Behavioural Models
- Uchitel, Chechik
- 2004
(Show Context)
Citation Context ...a set of models to gain a unified perspective, to understand their interactions, or to perform various types of end-to-end analysis over them. TReMer draws on the theory developed in our earlier work =-=[8, 9, 13, 6, 3]-=- where we describe how a set of models can be merged w.r.t. known or hypothesized relationships between them. We treat model relationships as explicit artifacts. This treatment offers two major advant... |

33 | A manifesto for model merging
- Brunet, Chechik, et al.
- 2006
(Show Context)
Citation Context ... of useful operators on models, including Match, for finding correspondences between models, Diff, for finding differences between models, and Merge, for combining a set of models. Easterbrook et al. =-=[3]-=- extend these with several complementary operators including Slice, for producing a projection of a model based on a given criterion, and Split, for retrieving the models involved in building a compos... |

33 | S.: View merging in the presence of incompleteness and inconsistency
- Sabetzadeh, Easterbrook
- 2006
(Show Context)
Citation Context ...eature of TReMer is its ability to handle models that may be incomplete and inconsistent. Due to lack of space, we do not discuss this feature here, and instead, refer the reader to our previous work =-=[11, 10]-=- where a detailed exposition of the subject has been provided. 2 Tool Overview Fig. 1 shows an overview of the methodology employed in TReMer for model merging. Given a set of models, the tool allows ... |

27 | M.: Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach
- Sabetzadeh, Easterbrook
(Show Context)
Citation Context ...a set of models to gain a unified perspective, to understand their interactions, or to perform various types of end-to-end analysis over them. TReMer draws on the theory developed in our earlier work =-=[8, 9, 13, 6, 3]-=- where we describe how a set of models can be merged w.r.t. known or hypothesized relationships between them. We treat model relationships as explicit artifacts. This treatment offers two major advant... |

17 | An Algebraic Framework for Merging Incomplete and Inconsistent Views
- Sabetzadeh, Easterbrook
- 2005
(Show Context)
Citation Context ...a set of models to gain a unified perspective, to understand their interactions, or to perform various types of end-to-end analysis over them. TReMer draws on the theory developed in our earlier work =-=[8, 9, 13, 6, 3]-=- where we describe how a set of models can be merged w.r.t. known or hypothesized relationships between them. We treat model relationships as explicit artifacts. This treatment offers two major advant... |

12 | Let’s Agree to Disagree
- Nejati, Chechik
- 2005
(Show Context)
Citation Context |

8 | Properties of behavioural model merging
- Brunet, Chechik, et al.
- 2006
(Show Context)
Citation Context ...te-machines can be computed automatically when input models are behaviourally consistent, or can be provided by domain experts, otherwise. For examples of behavioural merging, the reader can refer to =-=[13, 6, 4]-=-. For future versions of the tool, we plan to carry out a systematic study of the domains where model merging plays an important role, and use the results of this study to build a more comprehensive l... |

4 | iVuBlender : A tool for merging incomplete and inconsistent views. In this proceedings
- Sabetzadeh, Easterbrook
(Show Context)
Citation Context ...eature of TReMer is its ability to handle models that may be incomplete and inconsistent. Due to lack of space, we do not discuss this feature here, and instead, refer the reader to our previous work =-=[11, 10]-=- where a detailed exposition of the subject has been provided. 2 Tool Overview Fig. 1 shows an overview of the methodology employed in TReMer for model merging. Given a set of models, the tool allows ... |

2 | Easterbrook."Identifying and Representing Requirements Variability in Families of Reactive Software", 2006. Submitted for publi-cation. [15 - Nejati, Sabetzadeh, et al. - 2006 |