Abstract
The Unified Modeling Language (UML) builds upon some of the best object-oriented (OO) modeling concepts available, and is intended to serve as a common OO modeling notation. Given its intended role, it is important that the UML notation have a well-defined semantic base. In this paper we present some early results from our work on the systematic formalization of UML modeling constructs. The paper focuses on the formalization of UML Class Diagrams. The formal notation Z is used to express the semantics of Class Diagrams.
Chapter PDF
Similar content being viewed by others
Keywords
References
Booch, Grady, Rumbaugh, James, & Jacobson, Ivar. 1997 (Jan.). Unified Modeling Language. Version 1.0. Rational Software Corporation, Santa Clara, CA-95051, USA.
Bowen, Jonathan P., & Hall, J. Anthony (eds). 1994. Z User Workshop, Cambridge 199. Workshops in Computing. Springer-Verlag, New York.
Bruel, Jean-Michel, France, Robert B., & Benzekri, Abdelmalek. 1996 (2125 Oct.). A Z-based Approach to Specifying and Analyzing Complex Systems. In: Proceedings of the Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’96), Montreal, Canada.
France, Robert B., Bruel, Jean-Michel, & Larrondo-Petrie, Maria M. 1997. An Integrated Object-Oriented and Formal Modeling Environment. To appear in the Journal of Object-Oriented Programming (JOOP).
Spivey, J. Michael. 1992. The Z Notation: A Reference Manual. Second edn. Englewood Cliffs, NJ: Prentice Hall.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
France, R.B., Bruel, JM., Larrondo-Petrie, M.M., Shroff, M. (1997). Exploring The Semantics of UML Type Structures with Z. In: Bowman, H., Derrick, J. (eds) Formal Methods for Open Object-based Distributed Systems. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35261-9_17
Download citation
DOI: https://doi.org/10.1007/978-0-387-35261-9_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2952-7
Online ISBN: 978-0-387-35261-9
eBook Packages: Springer Book Archive