Incremental Detection of Model Inconsistencies Based on Model Operations

Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gaining more and more attention. Inconsistency checkers typically analyze entire models to detect undesired structures as defined by inconsistency rules. The larger the models become, the more time the inconsistency detection process takes. Taking into account model evolution, one can significantly reduce this time by providing an incremental checker. In this article we propose an incremental inconsistency checker based on the idea of representing models as sequences of primitive construction operations. The impact of these operations on the inconsistency rules can be computed to analyze and reduce the number of rules that need to be re-checked during a model increment.

[1]  Gilles Motet,et al.  A UML model consistency verification approach based on meta-modeling formalization , 2006, SAC.

[2]  Andrea Zisman,et al.  Inconsistency Management in Software Engineering: Survey and Open Research Issues , 2000 .

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

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

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

[6]  Pascal Fradet,et al.  Consistency checking for multiple view software architectures , 1999, ESEC/FSE-7.

[7]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[8]  Holger Giese,et al.  A Plug-In for Flexible and Incremental Consistency Management , 2003 .

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

[10]  Jordi Cabot,et al.  Incremental Evaluation of OCL Constraints , 2006, CAiSE.

[11]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[12]  D. Gabbay,et al.  Inconsistency Handling in Multiperspective Specifications , 1994 .

[13]  Maged Elaasar,et al.  An Overview of UML Consistency Management , 2004 .

[14]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[15]  Ragnhild Van Der Straeten,et al.  Detecting and resolving model inconsistencies using transformation dependency analysis , 2006, MoDELS'06.

[16]  Howard Bowman,et al.  Issues in multiparadigm viewpoint specification , 1996, ISAW '96.

[17]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

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