Skip to main content
SpringerLink
Log in

Expressing UML Class Diagrams Properties with OCL

  • Chapter
  • First Online:
Object Modeling with the OCL

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

Abstract

The Unified Modeling Language UML is a complex language offering many modeling features. Especially the description of static structures with class diagrams is supported by a rich set of primitives. This paper shows how to transfrom UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML class diagrams employing only binary associations and OCL constraints. Thus we provide a better understanding of UML features. By reducing more complex features in terms of basic ones, we suggest an easy way users can gradually extend the set of UML elements they commonly apply in the modeling process.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Bourdeau and B. Cheng. A Formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering, 21(10):799–821, 1995.

    Article  Google Scholar 

  2. E. Bertino, D. Castelli, and F. Vitale. A Formal Representation for State Diagrams in the OMT Methodology. In K.G. Jeffery, J. Kral, and M. Bartosek, editors, Proc. Seminar Theory and Practice of Informatics (SOFSEM’96), pages 327–341. Springer, Berlin, LNCS 1175, 1996.

    Google Scholar 

  3. Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, and Veronika Thurner. Towards a Formalization of the Unified Modeling Language. In Mehmet Aksit and Satoshi Matsuoka, editors, Proc. 11th European Conf. Object-Oriented Programming (ECOOP’97), pages 344–366. Springer, Berlin, LNCS 1241, 1997.

    Google Scholar 

  4. J.C. Bicarregui, Kevin Lano, and T.S.E. Maibaum. Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. In Mehmet Aksit and Satoshi Matsuoka, editors, Proc. 11th European Conf. Object-Oriented Programming (ECOOP’97), pages 324–343. Springer, Berlin, LNCS 1241, 1997.

    Google Scholar 

  5. Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, Redwood City, 1994.

    Google Scholar 

  6. Tony Clark. Type checking UML static diagrams. In Robert France and Bernhard Rumpe, editors, UML’99-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28–30. 1999, Proceedings, volume 1723 of LNCS, pages 503–517. Springer, 1999.

    Google Scholar 

  7. Jürgen Ebert. Integration of Z-Based Semantics of OO-Notations. In Haim Kilov and Bernhard Rumpe, editors, Proc. ECOOP’97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques. Technische Universität München, Informatik-Bericht TUM-I9725, 1997.

    Google Scholar 

  8. R. France, J.M. Bruel, M. Larrondo-Petrie, and M. Shroff. Exploring the Semantics of UML type structures with Z. In H. Bowman and J. Derrick, editors, Proc. 2nd IFIP Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS’97), pages 247–260. Chapman and Hall, London, 1997.

    Google Scholar 

  9. Martin Gogolla and Francesco Parisi-Presicee. State Diagrams in UML: A Formal Semantics using Graph Transformations. In Bernhard Rumpe, Manfred Broy, Derek Coleman, and Tom S.E. Maibaum, editors, Proc. ICSE’98 Workshop on Precise Semantics of Modeling Techniques (PSMT’98), 1998. http://www4.informatik.tu-muenchen.de/?rumpe/icse98-ws/.

  10. Ivar Jacobsen, Magnus Christerson, Patrik Jonsson, and G.G. Övergaard. Object-Oriented Software Engineering. Addison-Wesley, 1992.

    Google Scholar 

  11. Soon-Kyeong Kim and David Carrington. Formalizing the UML class diagram using object-z. In Robert France and Bernhard Rumpe, editors, UML’99-The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28–30. 1999, Proceedings, volume 1723 of LNCS, pages 83–98. Springer, 1999.

    Google Scholar 

  12. Kevin Lano. Enhancing Object-Oriented Methods with Formal Notations. Theory and Practice of Object Systems, 2(4):247–268, 1996.

    Article  Google Scholar 

  13. OMG, editor. Object Constraint Language (Version 1.3). OMG, 1999. http://www.omg.org.

  14. OMG, editor. UML Notation Guide (Version 1.3). OMG, 1999. http://www.omg.org.

  15. OMG, editor. UML Semantics (Version 1.3). OMG, 1999. http://www.omg.org.

  16. Gunnar Öovergaard. A Formal Approach to Relationships in The Unified Modeling Language. In Bernhard Rumpe, Manfred Broy, Derek Coleman, and Tom S.E. Maibaum, editors, Proc. ICSE’98 Workshop on Precise Semantics of Modeling Techniques (PSMT’98), 1998. http://www4.informatik.tu-muenchen.de/?rumpe/icse98-ws/.

  17. Gianna Reggio, Egidio Astesiano, Christine Choppy, and Heinrich Hussmann. Analysing UML active classes and associated state machines-A lightweight formal approach. In Tom Maibaum, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2000), Berlin, Germany, volume 1783 of LNCS. Springer, 2000.

    Google Scholar 

  18. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, 1991.

    Google Scholar 

  19. Mark Richters and Martin Gogolla. On Formalizing the UML Object Constraint Language OCL. In Tok-Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER’98), pages 449–464. Springer, Berlin, LNCS 1507, 1998.

    Google Scholar 

  20. M. Shro and R. B. France. Towards a Formalization of UML Class Structures in Z. In Proc. 21st Annual Int. Computer Software and Applications Conference (COMPSAC’97), pages 646–651. IEEE, 1997.

    Google Scholar 

  21. A. Tsiolakis and H. Ehrig. Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In H. Ehrig and G. Taentzer, editors, Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Berlin, March 2000, 2000. Technical Report no. 2000/2, Technical University of Berlin.

    Google Scholar 

  22. Roel Wieringa and Jan Broersen. A minimal transition system semantics for lightweight class-and behavior diagrams. In Manfred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe, editors, Proceedings PSMT’98 Workshop on Precise Semantics for Modeling Techniques. Technische Universität München, TUM-I9803, 1998.

    Google Scholar 

  23. Jos Warmer and Anneke Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.

    Google Scholar 

  24. Jos Warmer and Anneke Kleppe. OCL: The constraint language of the UML. Journal of Object-Oriented Programming, May 1999.

    Google Scholar 

  25. Enoch Y. Wang, Heather A. Richter, and Betty H. C. Cheng. Formalizing and Integrating the Dynamic Model within OMT. In Proc. 19th Int. Conf. on Software Engineering (ICSE’97), pages 45–55. ACM Press, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Bremen, FB 3, Postfach 330440, D-28334, Bremen, Germany

    Martin Gogolla & Mark Richters

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mark Richters
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, King’s College London, Strand, WC2R 2LS, London, UK

    Tony Clark

  2. Klasse Objecten, Postbus 3082, 3760, DB Soest, The Netherlands

    Jos Warmer

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Gogolla, M., Richters, M. (2002). Expressing UML Class Diagrams Properties with OCL. In: Clark, T., Warmer, J. (eds) Object Modeling with the OCL. Lecture Notes in Computer Science, vol 2263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45669-4_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45669-4_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43169-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation