Specifying Overlaps of Heterogeneous Models for Global Consistency Checking

Software development often involves a set of models defined in different metamodels, each model capturing a specific view of the system. We call this set a multimodel, 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 defining their global consistency. An advantage of the …