id: Simula.approve.58
authors: Mehrdad Sabetzadeh, Shiva Nejati, Marsha Chechik, and Steve Easterbrook
title: Reasoning about Consistency in Model Merging
publication_year: 2010
abstract: Models undergo a variety of transformations throughout development. One of the key transformations is merge, used when developers need to combine a set of models with respect to the overlaps between them. A major question about model transformations in general, and merge in particular, is what consistency properties are preserved across the transformations and what consistency properties may need to be re-checked (and if necessary, re-established) over the result. In previous work, we developed a technique based on category-theoretic colimits for merging sets of inter-related models.  The use of category theory leads to the preservation of the algebraic structure of the source models in the merge; however, this does not directly provide a characterization of the (in)consistency properties that carry over from the source models to the result, because consistency properties are predominantly expressed as logical formulas. Hence, an investigation of the connections between the ``algebraic'' and ``logical'' properties of model merging became necessary.  In this paper, we undertake such an investigation and use techniques from finite model theory to show that the use of colimits indeed leads to the preservation of certain logical properties. Our results have implications beyond our merge framework in and are potentially useful for the broad range of techniques in the graph transformation and algebraic specification literature that use colimits as the basis for model manipulations.
publication_url: 
pdf_url: 
booktitle: 3rd Workshop on Living With Inconsistency in Software Development 
editor: A. Egyed and R. Lopez-Herrejon and B. Nuseibeh and G. Botterweck and M. Chechik and Z. Hu
volume: 
number: 
chapter: 
pages: 
publisher: CEUR Workshop Proceedings
organization: 
address: 
edition: 
series: 
isbn: urn:nbn:de:0074-661-4
keywords: ()
publication_month: 
note: 
annote: 
additional: []
location: 
publication_state: Published
simula_ou: [<Department at /simula/department/certus>, <Department at /simula/research/approve>]
publisher_url: 
category: Workshop
from_date: 2010/09/21 00:00:00 GMT+2
to_date: 2010/09/21 00:00:00 GMT+2