Venue:
14th Int. Symp. on Formal Methods (FM06)
URL:
http://www.cs.toronto.edu/~chechik/pubs/tremer06.pdf
We describe a tool, TReMer, for performing the merge
operation in a model-driven development setting. Merge is arguably one of the most
important model management operations and is useful as a way of consolidating 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 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 advantages: Firstly, it makes our tool adaptable to different modelling domains.
In particular, explicit relationships make
it possible to provide a unified merge framework for both structural and behavioural
modelling domains. Secondly, explicit relationships facilitate the exploration of merge
alternatives by allowing users to articulate each alternative in a precise way.