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 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.

[1]  Wolfgang Emmerich,et al.  Consistency management with repair actions , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[2]  Tom Mens,et al.  Using Description Logic to Maintain Consistency between UML Models , 2003, UML.

[3]  Alexander Egyed,et al.  Instant consistency checking for the UML , 2006, ICSE.

[4]  Krzysztof Czarnecki,et al.  Specifying overlaps of heterogeneous models for global consistency checking , 2010, MDI '10.

[5]  Stefano Spaccapietra,et al.  View Integration: A Step Forward in Solving Structural Conflicts , 1994, IEEE Trans. Knowl. Data Eng..

[6]  Artur Boronat,et al.  What Is a Multi-modeling Language? , 2008, WADT.

[7]  Antonio Vallecillo,et al.  Realizing Correspondences in Multi-viewpoint Specifications , 2009, 2009 IEEE International Enterprise Distributed Object Computing Conference.

[8]  Marsha Chechik,et al.  A framework for multi-valued reasoning over inconsistent viewpoints , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[9]  Zinovy Diskin,et al.  Model Synchronization: Mappings, Tiles, and Categories , 2009, GTTSE.

[10]  Martin Wirsing,et al.  View Consistency in Software Development , 2002, RISSEF.

[11]  Jean Bézivin,et al.  A Canonical Scheme for Model Composition , 2006, ECMDA-FA.

[12]  Till Mossakowski,et al.  Heterogeneous Logical Environments for Distributed Specifications , 2008, WADT.

[13]  José Luiz Fiadeiro,et al.  Interconnecting formalisms: supporting modularity, reuse and incrementality , 1995, SIGSOFT FSE.

[14]  Jürgen Dingel,et al.  A General Approach for Scenario Integration , 2008, MoDELS.

[15]  Alexander Egyed,et al.  Fixing Inconsistencies in UML Design Models , 2007, 29th International Conference on Software Engineering (ICSE'07).

[16]  Zinovy Diskin,et al.  Heterogeneous View Integration via Sketches and Equations , 1996, ISMIS.

[17]  Mehrdad Sabetzadeh,et al.  Consistency Checking of Conceptual Models via Model Merging , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[18]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[19]  Mehrdad Sabetzadeh,et al.  View merging in the presence of incompleteness and inconsistency , 2006, Requirements Engineering.

[20]  Antonio Vallecillo.  On the Combination of Domain Specific Modeling Languages , 2010, ECMFA.

[21]  Bashar Nuseibeh,et al.  ViewPoints: meaningful relationships are difficult! , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[22]  Reiko Heckel,et al.  A Combined Reference Model- and View-Based Approach to System Specification , 1997, Int. J. Softw. Eng. Knowl. Eng..

[23]  Zinovy Diskin,et al.  Mathematics of Generic Specifications for Model Management, I , 2005, Encyclopedia of Database Technologies and Applications.

[24]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[25]  Philip A. Bernstein,et al.  Merging Models Based on Given Correspondences , 2003, VLDB.