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 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 its formal semantics based on category theory. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Diskin, Z., Xiong, Y., & Czarnecki, K. (2011). Specifying overlaps of heterogeneous models for global consistency checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6627 LNCS, pp. 165–179). https://doi.org/10.1007/978-3-642-21210-9_16
Mendeley helps you to discover research relevant for your work.