id: 05958251
dt: a
an: 05958251
au: Diskin, Zinovy; Xiong, Yingfei; Czarnecki, Krzysztof
ti: Specifying overlaps of heterogeneous models for global consistency
    checking.
so: Dingel, Juergen (ed.) et al., Models in software engineering. Workshops and
    symposia at MODELS 2010, Oslo, Norway, October 2‒8, 2010. Reports and
    revised selected papers. Berlin: Springer (ISBN 978-3-642-21209-3/pbk).
    Lecture Notes in Computer Science 6627, 165-179 (2011).
py: 2011
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-21210-9_16
ab: Summary: 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.
rv: