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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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
G. Booch, Object-oriented analysis and design with applications, Benjamin/Cummings, 1994.
J. S. Dong and R. Duke. The Geometry of Object Containment, Object-Oriented Systems, vol. 2(1), pp. 41–63, Chapman & Hall, 1995.
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.
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.
A.S. Evans. Reasoning with the UML, Proc. Workshop on Industrial-Strength Formal Specification Techniques (WIFT’98), IEEE Press, 1998.
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.
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.
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.
K. Lano, Formal Object-Oriented Development, Springer 1995.
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.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented modeling and design, Prentice-Hall, 1991.
G. Smith, Extending W for Object-Z, ZUM’95: The Z Formal Specification Notation, pp. 276–295, Springer, 1995.
J. M. Spivey. The Z Notation: A Reference Manual, Prentice Hall, 2nd edition, 1992.
The UML group, UML Notation Guide, Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, January, 1997, http://www.rational.com.
The UML group, UML Semantics, Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA, January, 1997, http://www.rational.com.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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