Detecting model inconsistency through operation-based model construction

ABSTRACT

Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system specification. Detecting and resolving structural inconsistencies between these models is then critical. In this article we propose to represent models by sequences of elementary construction operations, rather than by the set of model elements they contain. Structural and methodological consistency rules can then be expressed uniformly as logical constraints on such sequences. Our approach is meta-model independent, allowing us to deal with consistency between different models whatever their kind. We have validated our approach by building a Prolog engine that detects violations of structural and methodological constraints specified on UML 2.1 models and requirement models. This engine has been integrated into two contemporary UML-based modelling environments, Eclipse EMF and Rational Software Architect (RSA).

REFERENCES

• 1: Azureus Java Open Source Project, http://azureus.sourceforge.net/
• 2: Robert Balzer, Tolerating inconsistency, Proceedings of the 13th international conference on Software engineering, p.158-165, May 13-17, 1991, Austin, Texas, United States
• 3: Alexander Egyed, Instant consistency checking for the UML, Proceedings of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134339]
• 4: Alexander Egyed, Fixing Inconsistencies in UML Design Models, Proceedings of the 29th international conference on Software Engineering, p.292-301, May 20-26, 2007 [doi>10.1109/ICSE.2007.38]
• 5: Elaasar, M. Briand, L. An Overview of UML Consistency Management, Carleton Technical Report SCE-04-18, August 2004.
• 6: Anthony Finkelstein , George Spanoudakis , David Till, Managing interference, Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, p.172-174, October 16-18, 1996, San Francisco, California, United States [doi>10.1145/243327.243646]
• 7: A. C. W. Finkelstein , D. Gabbay , A. Hunter , J. Kramer , B. Nuseibeh, Inconsistency Handling in Multiperspective Specifications, IEEE Transactions on Software Engineering, v.20 n.8, p.569-578, August 1994 [doi>10.1109/32.310667]
• 8: Ernst Lippe , Norbert van Oosterom, Operation-based merging, ACM SIGSOFT Software Engineering Notes, v.17 n.5, p.78-87, Dec. 1992
• 9: Mens, T. Van Der Straeten, R. D'Hondt, M. Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis, Proc. Models 2006, Volume 4199 of Lecture Notes in Computer Science., Springer-Verlag (2006), pp. 200--214.
• 10: Christian Nentwich , Licia Capra , Wolfgang Emmerich , Anthony Finkelstein, xlinkit: a consistency checking and smart link generation service, ACM Transactions on Internet Technology (TOIT), v.2 n.2, p.151-185, May 2002 [doi>10.1145/514183.514186]
• 11: OMG, MDA Guide v1.0.1, 2003, omg/03-06-01
• 12: OMG, MOF 2.0, 2006, formal/06-01-01
• 13: OMG, UML 2.1 Superstructure, 2006, ptc/06-01-02
• 14: OMG, OCL Object Constraint Language v2.0, formal/06-05-01
• 15: Yasushi Saito , Marc Shapiro, Optimistic replication, ACM Computing Surveys (CSUR), v.37 n.1, p.42-81, March 2005 [doi>10.1145/1057977.1057980]
• 16: Bran Selic, The Pragmatics of Model-Driven Development, IEEE Software, v.20 n.5, p.19-25, September 2003 [doi>10.1109/MS.2003.1231146]
• 17: Spanoudakis, G. Zisman, A. Inconsistency Management in Software Engineering: Survey and Open Research Issues, World Scientific Publishing, Handbook of SE & KE, Volume 1 (2001), pp. 329--380.
• 18: Van Der Straeten, R. Mens, T. Simmonds, J. Jonckers, V. Using description logics to maintain consistency between UML models. Proc. UML 2003. Volume 2863 of Lecture Notes in Computer Science., Springer-Verlag (2003) pp. 326--340.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

Additional Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development

General Terms:
Design, Verification

Keywords:
consistency, logic, meta-model, model