Specifying Overlaps of Heterogeneous Models for Global Consistency Checking

TitleSpecifying Overlaps of Heterogeneous Models for Global Consistency Checking
Publication TypeConference Proceedings
Year of Publication2010
AuthorsDiskin, Z., Y. Xiong, and K. Czarnecki
Conference Name1st Workshop on Model Driven Interoperability
Date Published10/2010
PublisherACM Press
Conference LocationCo-located with MoDELS 2010, Oslo, Norway

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.

Refereed DesignationRefereed
MDI10.pdf767.77 KB
MDI10-slides.pdf2.31 MB