Abstract
UML is a complex language with many modeling features. In particular, the modeling of static structures with class diagrams is supported by a rich set of description primitives. We show how to transform UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML dass diagrams employing only n-ary associations and GCL constraints. This provides a better understanding of UML features. By explaining more complex features in terms of basic ones, we suggest an easy way users can gradually extend the set of UML elements they commonly apply in the modeling process.
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., Cheng, B.: A Formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering 21(10), 799–821 (1995)
Bertino, E., Castelli, D., Vitale, F.: A Formal Representation for State Diagrams in the OMT Methodology. In: Král, J., Bartosek, M., Jeffery, K. (eds.) SOFSEM 1996. LNCS, vol. 1175, pp. 327–341. Springer, Heidelberg (1996)
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)
Booch, G., Jacobson, I., Rumbaugh, J. (eds.): Object Constraint Language Specification (Version 1.1), Rational Corporation, Santa Clara (1997), http://www.rational.com
Booch, G., Jacobson, I., Rumbaugh, J. (eds.): UML Notation Guide (Version 1.1), Rational Corporation, Santa Clara (1997), http://www.rational.com
Booch, G., Jacobson, I., Rumbaugh, J. (eds.): UML Semantics (Version 1.1), Rational Corporation, Santa Clara (1997), http://www.rational.com
Bicarregui, J.C., Lano, K., Maibaum, T.S.E.: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241. Springer, Heidelberg (1997)
Ebert, J.: Integration of Z-Based Semantics of OO-Notations. In: Kilov, H., Rumpe, B. (eds.) Proc. ECOOP 1997 Workshop on Precise Semantics for Object-Oriented Modeling Techniques. Technische Universitat Miinchen, Informatik-Bericht TUM-I9725 (1997)
Prance, R.B., Bruel, J.M., Larrondo-Petrie, M., Shroff, M.: Exploring the Semantics of UML Type Structures with Z. In: Bowman, H., Derrick, J. (eds.) Proc. 2nd IFIP Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), Chapman and Hall, London, pp. 247–260 (1997)
Flanagan, D.: Java in a Nutshell. O’Reilly, Cambridge (1997)
Gogolla, M., Parisi-Presicce, F.: State Diagrams in UML: A Formal Semantics using Graph Transformations. In: Rumpe, B., Broy, M., Coleman, D., Maibaum, T.S.E. (eds.) Proc. ICSE 1998 Workshop on Precise Semantics of Modeling Techniques, PSMT 1998 (1998), http://www4.informatik.tu-muenchen.de/~rumpe/icse98-ws
Lano, K.: Enhancing Object-Oriented Methods with Formal Notations. Theory and Practice of Object Systems 2(4), 247–268 (1996)
Övergaard, G.: A Formal Approach to Relationships in the Unified Modeling Language. In: Rumpe, B., Broy, M., Coleman, D., Maibaum, T.S.E. (eds.) Proc. ICSE 1998 Workshop on Precise Semantics of Modeling Techniques, PSMT 1998 (1998), http://www4.informatik.tu-muenchen.de/~rumpe/icse98-ws
Richters, M., Gogolla, M.: On Formalizing the UML Object Constraint Language OCL. In: Ling, T.-W. (ed.) Proc. Int. Conf. Entity-Relationship Approach (ER 1998). LNCS. Springer, Heidelberg (1998)
Shroff, M., France, R.B.: Towards a Formalization of UML Class Structures in Z. In: Proc. 21st Annual Int. Computer Software and Applications Conference (COMPSAC 1997), pp. 646–651. IEEE, Los Alamitos (1997)
Wang, E.Y., Richter, H.A., Cheng, B.H.C.: Formalizing and Integrating the Dynamic Model within OMT. In: Proc. 19th Int. Conf. on Software Engineering (ICSE 1997), pp. 45–55. ACM Press, New York (1997)
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
Gogolla, M., Richters, M. (1999). Transformation Rules for UML Class Diagrams. 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_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-48480-6_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66252-5
Online ISBN: 978-3-540-48480-6
eBook Packages: Springer Book Archive