Abstract
The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-defined, fully explored semantics. Such semantics is required in order to ensure that UML concepts are precisely stated and defined. In this paper we motivate an approach to formalizing UML in which formal specification techniques are used to gain insight into the semantics of UML notations and diagrams and describe a roadmap for this approach. The authors initiated the Precise UML (PUML) group in order to develop a precise semantic model for UML diagrams. The semantic model is to be used as the basis for a set of diagrammatical transformation rules, which enable formal deductions to be made about UML diagrams. A small example shows how these rules can be used to verify whether one class diagram is a valid deduction of another. Because these rules are presented at the diagrammatical level, it will be argued that UML can be successfully used as a formal modelling tool without the notational complexities that are commonly found in textual specification techniques.
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.
References
Bourdeau, R.H., Cheng, B.H.C.: A formal semantics for object model diagrams. IEEE Transactions on Software Engineering 21(10), 799–821 (1995)
Breu, R., Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V.: Towards a formalization of the unified modeling language. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 344–366. Springer, Heidelberg (1997)
Bicarregui, J., Lano, K., Maibaum, T.: Objects, associations and subsystems: A hierarchical approach to encapsulation. In: JELIA 1998. LNCS, vol. 1489, Springer, Heidelberg (1997)
Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development: The Fusion Method. Object-Oriented Series edition. Prentice Hall, Englewood Cliffs (1994)
Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modeling with Syntropy. Prentice Hall, Englewood Cliffs (1994)
Cook, S., Daniels, J.: Let’s get formal. Journal of Object-Oriented Programming (JOOP), 22–24, 64–66 (July–August 1994)
Duke, R., King, P., Rose, G.A., Smith, G.: The Object-Z specification language. In: Korson, T.D., Vaishnavi, V.K., Meyer, B. (eds.) Technology of Object-Oriented Languages and Systems: TOOLS 5, pp. 465–483. Prentice Hall, Englewood Cliffs (1991)
Evans, A.: Reasoning with UML class diagrams. In: WIFT 1998 Proceedings. IEEE, Los Alamitos (1998)
France, R.B., Bruel, J.-M., Larrondo-Petrie, M.M.: An Integrated Object-Oriented and Formal Modeling Environment. In: the Journal of Object-Oriented Programming, JOOP (1997) (to appear)
France, R., Evans, A., Lano, K., Rumpe, B.: The UML as a formal modeling notation. Computer Standards & Interfaces (1998) (to appear)
The UML Group. UML Metamodel. Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA (September 1997)
The UML Group. UML Semantics. Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA (July 1997)
The UML Group. Unified Modeling Language. Version 1.1, Rational Software Corporation, Santa Clara, CA-95051, USA (July 1997)
Anthony Hall, J.: Using Z as a specification calculus for object-oriented systems. In: Langmaack, H., Hoare, C.A.R., Bjorner, D. (eds.) VDM 1990. LNCS, vol. 428, pp. 290–318. Springer, Heidelberg (1990)
Kilov, H., Rumpe, B.: Summary of ecoop 1997 workshop on precise semantics of object-oriented modeling techniques. In: Bosch, J., Mitchell, S. (eds.) Object-Oriented Technology – ECOOP 1997 Workshop Reader. LNCS, vol. 1357. Springer, Berlin (1997)
Klein, C., Rumpe, B., Broy, M.: A stream-based mathematical model for distributed information processing systems - SysLab system model. In: Stefani, J.-B., Naijm, E. (eds.) FMOODS 1996 Formal Methods for Open Object-based Distributed Systems. ENST France Telecom, pp. 323–338 (1996)
Lano, K.C.: Z + + , an object-orientated extension to Z. In: Nicholls, J.E. (ed.) Z User Workshop, Oxford 1990, Workshops in Computing, pp. 151–172. Springer, Heidelberg (1991)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs (1991)
Rumpe, B.: Formal Method for Design of Distributed Object-oriented Systems. Ph.D. thesis, Technische Universität München (1996) (in German)
Michael Spivey, J.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall, Englewood Cliffs (1992)
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
Evans, A., France, R., Lano, K., Rumpe, B. (1999). The UML as a Formal Modeling Notation. In: Bézivin, J., Muller, PA. (eds) The Unified Modeling Language. «UML»’98: Beyond the Notation. UML 1998. Lecture Notes in Computer Science, vol 1618. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48480-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-48480-6_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66252-5
Online ISBN: 978-3-540-48480-6
eBook Packages: Springer Book Archive