A Survey of Consistency Checking Techniques for UML Models

UML is the de-facto industry standard to design object-oriented software. UML provides a set of diagrams to model every aspect of an object-oriented application design in sufficient detail, but lacks any mechanism to rigorously check consistency between the models. Today, most of the effort is applied on creating accurate and consistent UML models rather than implementing the design. Automatic code generation from UML models has emerged as a promising area in recent years. The accuracy of generated code in some ways depends on UML models consistency. In this paper, we present a survey of UML consistency checking techniques. To analyze existing techniques, we identify some analysis parameters and construct an analysis table. The analysis table helps us to evaluate existing consistency checking techniques. We conclude that most of the approaches validates intra and inter level consistencies between UML models by using monitoring strategy. UML class, sequence, and statechart diagrams are used in most of the existing consistency checking techniques.

[1]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.

[2]  Lionel C. Briand,et al.  Impact analysis and change management of UML models , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[3]  Reiko Heckel,et al.  TESTING THE CONSISTENCY OF DYNAMIC UML DIAGRAMS , 2002 .

[4]  William H. Roetzheim,et al.  Software Project Cost and Schedule Estimating: Best Practices , 1997 .

[5]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[6]  Heike Wehrheim,et al.  Checking Consistency in UML Diagramms: Classes and State Machines , 2003, FMOODS.

[7]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[8]  David A. Carrington,et al.  A formal object-oriented approach to defining consistency constraints for UML models , 2004, 2004 Australian Software Engineering Conference. Proceedings..

[9]  Umesh Bellur,et al.  On OO Design Consistency in Iterative Development , 2006, Third International Conference on Information Technology: New Generations (ITNG'06).

[10]  Lionel C. Briand,et al.  Automated impact analysis of UML models , 2006, J. Syst. Softw..

[11]  Martin Girschick.  Difference Detection and Visualization in UML Class Diagrams , 2006 .

[12]  Tom Mens,et al.  A Framework for Managing Consistency of Evolving UML Models , 2005 .

[13]  H. Vangheluwe,et al.  Case Study : Consistency Problems in a UML Model of a Chat Room , 2003 .

[14]  Arie van Deursen,et al.  Model-Driven Consistency Checking of Behavioural Specifications , 2007, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07).

[15]  Takeaki Uno,et al.  Contradiction Finding and Minimal Recovery for UML Class Diagrams , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[16]  Yoshiyuki Shinkawa,et al.  Inter-Model Consistency in UML Based on CPN Formalism , 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

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

[18]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[19]  Alexander Egyed,et al.  UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models , 2007, 29th International Conference on Software Engineering (ICSE'07).

[20]  Monique Snoeck,et al.  Implementing Consistency Management Techniques for Conceptual Modeling , 2005 .

[21]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[22]  Tom Mens,et al.  Detecting Inconsistencies between UML Models Using Description Logic , 2003, Description Logics.

[23]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.