"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking" accepted at MDI

Paper Specifying Overlaps of Heterogeneous Models for Global Consistency Checking was accepted by first workshop on model driven interoperability (MDI'10). Prof. Krzysztof Czarnecki will present the paper at the workshop.

Software development often involves a set of models de fined in diff erent metamodels, each model capturing a specifi c view of the system. We call this set a mutlimodel, and its elements partial or local models. Since partial models overlap, they may be consistent or inconsistent wrt. a set of global constraints.
We present a framework for specifying overlaps between partial models and de fining their global consistency. An advantage of the framework is that heterogeneous consistency checking is reduced to the homogeneous case yet merging partial metamodels into one global metamodel is not needed. We illustrate the framework with examples and sketch a formal semantics for it based on category theory.