Abstract
This paper presents a precise and descriptive semantics for core modeling concepts in Object-Z and a formal description for UML class constructs. Given the formal descriptions, it also provides a formal semantic mapping between the two languages at the meta-level, which makes our translation more systematic. Any verification of UML models can take place on their corresponding Object-Z specifications using reasoning techniques provided for Object-Z. With this approach, we provide not only a precise semantic basis for UML but also a sound mechanism for reasoning about UML models.
This is a preview of subscription content, log in via an institution to check access.
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. 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, 1997.
A. Evans and S. Kent, Core Meta-Modeling Semantics of UML: The pUML Approach, Proc 2 nd IEEE conference on UML: UML’99, LNCS, No 1723, pp. 140–155, 1999.
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. 2 nd IFIP conference, Formal Methods for Open Object-Based Distributed Systems(FMOODS’97), pp. 247–260, Chapman and Hall, 1997.
A. Griffiths, A formal semantics to support modular reasoning in Object-Z, PhD Thesis, The University of Queensland, Australia, 1998.
S-K. Kim and D. Carrington, Formalizing the UML class diagram using Object-Z, Proc 2 nd IEEE conference on UML: UML’99, LNCS, No 1723, pp. 83–98, 1999.
Object Management Group, OMG Unified Modeling Language Specification, version 1.3, 1999, http://www.omg.org
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.
G. Smith. The Object-Z Specification Language. Advances in Formal Methods Kluwer Academic Publishers, 2000.
J. M. Spivey. The Z Notation: A Reference Manual, Prentice Hall, 2nd edition, 1992.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, SK., Carrington, D. (2000). A Formal Mapping between UML Models and Object-Z Specifications. In: ZB 2000: Formal Specification and Development in Z and B. ZB 2000. Lecture Notes in Computer Science, vol 1878. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44525-0_2
Download citation
DOI: https://doi.org/10.1007/3-540-44525-0_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67944-8
Online ISBN: 978-3-540-44525-8
eBook Packages: Springer Book Archive