Efficient Consistency Checking of Interrelated Models

Software design normally requires a collection of interdependent models conforming to different metamodels. These multi-models present different views of interest and may be consistent only if they simultaneously satisfy a set of inter-model constraints. A straightforward approach to inter-model consistency checking is to run constraint validations on the model union (merge). If, in model repairing scenarios, single constraints are …