Skip to main content
SpringerLink
Log in

Formalizing the UML Class Diagram Using Object-Z

  • Conference paper
  • First Online:
«UML»’99 — The Unified Modeling Language (UML 1999)

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

Included in the following conference series:

Abstract

To produce a precise and analyzable software model, it is essential for the modeling technique to have formality in the syntax and the semantics of its notation, and to allow rigorous analysis of its models. In this sense, UML is not yet a truly precise modeling technique. This paper presents a formal basis for the syntactic structures and semantics of core UML class constructs, and also provides a basis for reasoning about UML class diagrams. The syntactic structures of UML class constructs and the rules for developing a well-formed class diagram are precisely described using the Z notation. Based on this formal description, UML class constructs are then translated to Object-Z constructs. Proof techniques provided for Object-Z can be used for reasoning about these class diagrams.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. J. Araujo, Metamorphosis: An Integrated Object-Oriented Requirements Analysis and Specification Method. PhD thesis Lancaster University 1996, ftp://ftp.comp.lancs.ac.uk/pub/reports/ThesisJA.ps.Z

  2. G. Booch, Object-oriented analysis and design with applications, Benjamin/Cummings, 1994.

    Google Scholar 

  3. J. S. Dong and R. Duke. The Geometry of Object Containment, Object-Oriented Systems, vol. 2(1), pp. 41–63, Chapman & Hall, 1995.

    Google Scholar 

  4. R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards, Computer standards & Interfaces, vol. 17, pp. 511–533, 1995.

    Article  Google Scholar 

  5. S. Dupuy, Y. Ledru, and M Chabre-Peccoud, Integrating OMT and Object-Z, Proceedings of BCS FACS/EROS ROOM Workshop, technical report GR/K67311-2, Department of Computing, Imperial College, London, UK, 1997.

    Google Scholar 

  6. A.S. Evans. Reasoning with the UML, Proc. Workshop on Industrial-Strength Formal Specification Techniques (WIFT’98), IEEE Press, 1998.

    Google Scholar 

  7. A. S. Evans and A.N. Clark. Foundations of the unified modeling language. In 2nd Northern Formal Methods Workshop, Ilkley, electronic Workshops in Computing,. Springer-Verlag, 1997.

    Google Scholar 

  8. R. B. France, A. Evans, K. Lano, and B. Rumpe, Developing the UML as a Formal Modeling Notation, Computer Standards and Interfaces, No 19, pp. 325–334, 1998.

    Article  Google Scholar 

  9. R. B. France, J.-M., Bruel, M. M. Larrondo-Petrie, and M. Shroff. Exploring the Semantics of UML type structures with Z, Proc. 2nd IFIP conference, Formal Methods for Open Object-Based Distributed Systems(FMOODS’97), pp. 247–260, Chapman and Hall, London, 1997.

    Google Scholar 

  10. K. Lano, Formal Object-Oriented Development, Springer 1995.

    Google Scholar 

  11. K. Lano and J. Bicarregui. Formalizing the UML in Structured Temporal Theories, Proc. second ECOOP Workshop on Precise Behavioral Semantics, pp. 105–121, Springer-Verlag, 1998.

    Google Scholar 

  12. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design, Prentice-Hall, 1991.

    Google Scholar 

  13. G. Smith, Extending W for Object-Z, ZUM’95: The Z Formal Specification Notation, pp. 276–295, Springer, 1995.

    Google Scholar 

  14. J. M. Spivey. The Z Notation: A Reference Manual, Prentice Hall, 2nd edition, 1992.

    Google Scholar 

  15. The UML group, UML Notation Guide, Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, January, 1997, http://www.rational.com.

    Google Scholar 

  16. The UML group, UML Semantics, Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, January, 1997, http://www.rational.com.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Electrical Engineering, The University of Queensland, Brisbane, Australia

    Soon-Kyeong Kim & Carrington David

Authors
  1. Soon-Kyeong Kim
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carrington David
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Colorado State University, Fort Collins, CO, 80523-1873, USA

    Robert France

  2. Institut für Informatik, Technische Universität München, D-80290, München, Germany

    Bernhard Rumpe

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kim, SK., David, C. (1999). Formalizing the UML Class Diagram Using Object-Z. In: France, R., Rumpe, B. (eds) «UML»’99 — The Unified Modeling Language. UML 1999. Lecture Notes in Computer Science, vol 1723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46852-8_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-46852-8_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66712-4

  • Online ISBN: 978-3-540-46852-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation