Incremental Consistency Checking of Dynamic Constraints

Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt model constraints. To benefit from quick design feedback, such consistency checkers should evaluate the consistency of such changeable constraints incrementally with design changes. This paper presents such a freely customizable, incremental consistency checker. We demonstrate that constraints can be defined and re-defined at will. And we demonstrate that its performance is instant for many kinds of constraints without manual annotations or restrictions on the constraint language used. Our approach supports both model and meta-model constraints and was evaluated on over 20 software models and 24 types of constraints. It is fully automated and integrated into the IBM Rational Software Modeler tool.

[1]  Jochen Malte Küster,et al.  Improving inconsistency resolution with side-effect evaluation and costs , 2007, MODELS'07.

[2]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

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

[4]  Krzysztof Czarnecki,et al.  Verifying feature-based model templates against well-formedness OCL constraints , 2006, GPCE '06.

[5]  Jordi Cabot,et al.  Incremental integrity checking of UML/OCL conceptual schemas , 2009, J. Syst. Softw..

[6]  Simon Yuill.  Concurrent Versions System , 2008 .

[7]  Alexander Egyed,et al.  Integrating COTS Software into Systems through Instrumentation and Reasoning , 2006, Automated Software Engineering.

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

[9]  Kim G. Larsen,et al.  On Modal Refinement and Consistency , 2007, CONCUR.

[10]  Gregor Engels,et al.  Assuring Consistency of Business Process Models and Web Services Using Visual Contracts , 2008, AGTIVE.

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

[12]  Licia Capra,et al.  xlinkit: a consistency checking and smart link generation service , 2002, TOIT.

[13]  Iris Groher,et al.  Product Line Implementation using Aspect-Oriented and Model-Driven Software Development , 2007, 11th International Software Product Line Conference (SPLC 2007).

[14]  Betty H. C. Cheng,et al.  Automatically Detecting and Visualising Errors in UML Diagrams , 2002, Requirements Engineering.

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

[16]  Paul Grünbacher,et al.  DOPLER: An Adaptable Tool Suite for Product Line Engineering , 2007, SPLC.

[17]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .