Skip to main content

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2863))

Included in the following conference series:


A software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve consistency between these diagrams. Moreover, through evolution those diagrams get modified leading to possible inconsistency between different versions of the diagrams. State-of-the-art UML CASE tools provide poor support for consistency maintenance. To solve this problem, an extension of the UML metamodel enabling support for consistency maintenance and a classification of inconsistency problems is proposed. To achieve the detection and resolution of consistency conflicts, the use of description logic (DL) is presented. DL has the important property of being a decidable fragment of first-order predicate logic. By means of a number of concrete experiments in Loom, we show the feasibility of using this formalism for the purpose of maintaining consistency between (evolving) UML models.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others


  1. Alemán, J., Toval, A., Hoyos, J.: Rigorously transforming UML class diagrams. In: Proc. 5th Workshop Models, Environments and Tools for Requirements Engineering (MENHIR), Universidad de Granada, Spain (2000)

    Google Scholar 

  2. Baader, F., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  3. Bëzivin, J., Ploquin, N.: Tooling the MDA framework: a new software maintenance and evolution scheme proposal. Journal of Object-Oriented Programming, JOOP (2001)

    Google Scholar 

  4. Bodeveix, J.-P., Millan, T., Percebois, C., Camus, C.L., Bazes, P., Ferraud, L.: Extending OCL for verifying UML model consistency. In: Kuzniarz, L., Reggio, G., Sourrouille, J., Huzar, Z. (eds.) Consistency Problems in UML-based Software Development, Workshop UML 2002, Technical Report (2002)

    Google Scholar 

  5. Calí, A., Calvanese, D., De Giacomo, G., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Proc. of IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development, PMD 2001 (2001)

    Google Scholar 

  6. Ehrig, H., Tsiolakis, A.: Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In: Ehrig, H., Taentzer, G. (eds.) ETAPS 2000 workshop on graph transformation systems, March 2000, pp. 77–86 (2000)

    Google Scholar 

  7. Engels, G., Hausmann, J., Heckel, R., Sauer, S.: Testing the consistency of dynamic UML diagrams. In: Proc. Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA, USA (June 2002)

    Google Scholar 

  8. Engels, G., Heckel, R., Küster, J.M.: Rule-based specification of behavioral consistency based on the UML meta-model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 272–286. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  9. Engels, G., Heckel, R., Küster, J.M., Groenewegen, L.: Consistency-preserving model evolution through transformations. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 212–227. Springer, Heidelberg (2002)

    Google Scholar 

  10. Finkelstein, A., Gabbay, D.M., Hunter, A., Kramer, J., Nuseibeh, B.: Inconsistency handling in multi-perspective specifications. In: European Software Engineering Conference. LNCS, pp. 84–99. Springer, Heidelberg (1993)

    Google Scholar 

  11. Fowler, M.: Refactoring: Improving the Design of Existing Programs. Addison-Wesley, Reading (1999)

    Google Scholar 

  12. Fradet, P., Le Métayer, D., Périn, M.: Consistency checking for multiple view software architectures. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol. 1687, pp. 410–428. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  13. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Languages and Systems. Addison-Wesley, Reading (1994)

    Google Scholar 

  14. Gorp, P.V., Stenten, H., Mens, T., Demeyer, S.: A UML extension for automating source-consistent design improvements based on refactoring contracts. In: Proc. 6th International Conference on the Unified Modeling Language (2003)

    Google Scholar 

  15. Grundy, J.C., Hosking, J.G., Mugridge, W.B.: Inconsistency management for multiple-view software development environments. IEEE Transactions on Software Engineering 24(11), 960–981 (1998)

    Article  Google Scholar 

  16. MacGregor, R.: Inside the loom description classifier. SIGART Bull. 2(3), 88–92 (1991)

    Article  MathSciNet  Google Scholar 

  17. Object Management Group. Unified Modeling Language specification version 1.5. formal/2003-03-01 (March 2003)

    Google Scholar 

  18. Simmonds, J.: Consistency maintenance of UML models with description logics. Master’s thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium and Ecole des Mines de Nantes, France (September 2003)

    Google Scholar 

  19. Toval, A., Alemán, J.: Formally modeling UML and its evolution: a holistic approach. In: Smith, S., Talcott, C. (eds.) Formal Methods for Open Objectbased Distributed Systems IV, pp. 183–206. Kluwer Academic Publishers, Dordrecht (2000)

    Google Scholar 

  20. Tsiolakis, A.: Semantic analysis and consistency checking of UML sequence diagrams. Master’s thesis, Technische Universität Berlin, Technical Report No. 2001-06 (April 2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V. (2003). Using Description Logic to Maintain Consistency between UML Models. In: Stevens, P., Whittle, J., Booch, G. (eds) «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications. UML 2003. Lecture Notes in Computer Science, vol 2863. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20243-1

  • Online ISBN: 978-3-540-45221-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics