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 (re-)checked, these validations are carried out on a small view (localization) of a big model merge. This “merge-prior-to-localization”-approach is not efficient, because of considerable matching and merging workload. We propose to perform early localization in order to reduce the data space being subject to commonality search. The algorithm is based on a new method to formally specify the inter-relation of an arbitrary number of heterogeneously typed models.

[1]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[2]  Zinovy Diskin,et al.  A Diagrammatic Logic for Object-Oriented Visual Modeling , 2008, Electron. Notes Theor. Comput. Sci..

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

[4]  Adrian Rutle,et al.  A formal approach to the specification and transformation of constraints in MDE , 2012, J. Log. Algebraic Methods Program..

[5]  Zinovy Diskin,et al.  Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling , 2016, ECMFA.

[6]  Tom Mens,et al.  On the Use of Graph Transformations for Model Refactoring , 2005, GTTSE.

[7]  Zinovy Diskin,et al.  Incremental Consistency Checking of Heterogeneous Multimodels , 2016, STAF Workshops.

[8]  Richard S. Bird,et al.  Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France , 1997, Algorithmic Languages and Calculi.

[9]  José Luiz Fiadeiro.  Categories for software engineering , 2005 .

[10]  Stuart M. Brown,et al.  The categorical imperative , 1948 .

[11]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[12]  Lars Michael Kristensen,et al.  A Diagrammatic Approach to Model Completion , 2015, AMT@MoDELS.

[13]  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.

[14]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

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

[16]  Adrian Rutle,et al.  DPF Workbench: a multi-level language workbench for MDE , 2013 .

[17]  Krzysztof Czarnecki,et al.  From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..

[18]  Zair Abdelouahab,et al.  A Step Forward in Semi-automatic Metamodel Matching: Algorithms and Tool , 2009, ICEIS.

[19]  Alexander Egyed,et al.  Detecting Inconsistencies in Multi-View Models with Variability , 2010, ECMFA.

[20]  Marouane Kessentini,et al.  Article in Press G Model the Journal of Systems and Software Search-based Metamodel Matching with Structural and Syntactic Measures , 2022 .

[21]  Krzysztof Czarnecki,et al.  Specifying Overlaps of Heterogeneous Models for Global Consistency Checking , 2010, MoDELS Workshops.