Abstract
We propose a visualization of OCL within the context of the UML meta model, so that OCL expressions are represented by extending collaboration diagrams. We exploit the OCL meta model introduced in [9] and further elaborated on in [1] and base the description of properties of objects on collaborations, while classifier and association roles are used to describe navigation paths. Operations computing properties are described by interactions consisting of messages between classifier roles. The introduction of new graphical core elements is kept to a minimum. New notation mainly concerns the predefined operations in OCL and provides more convenient visual forms for the notation by interactions here. The proposed visualization is described in detail and is illustrated with examples taken from an industrial project under development.
Partially supported by the EC under Esprit Working Group APPLIGRAPH.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Bodenmüller. The OCL Metamodel and the UML-OCL package. Proc. of OCL Workshop, Satellite Event of UML 2000, York, October 2000, 2000.
P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Automatic Consistency Checking and Visualization of OCL Constraints. In UML 2000, pages 294–308. Springer LNCS 1939, 2000.
S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, and Wills A. The Amsterdam Manifesto on OCL. Technical Report tum-19925. Technical report, Tecnische Universität München, 1999.
E. Hammer. Peircean graphs for propositional logic. In G. Allwein and J. Barwise, editors, Logical Reasoning with Diagrams, pages 129–147. Oxford University Press, 1996.
J. Howse, F. Molina, J. Taylor, S. Kent, and J. Gil. Spider diagrams: A diagrammatic reasoning system. Journal of Visual Languages and Computing, pages 299–324, 2001.
M. Hussmannn, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In A. Evans, S. Kent, and Selic B., editors, UML 2000, pages 278–293. Springer LNCS 1939, 2000.
S. Kent. Constraint diagrams: Visualising invariants in object oriented models. In Proceedings of OOPSLA’97. ACM Press, 1997.
S. Kent and J. Howse. Mixing visual and textual constraint languages. In R. France and B. Rumpe, editors, UML’99, pages 384–398. Springer LNCS 1723, 1999.
M. Richters and M. Gogolla. A metamodel for OCL. In R. France and B. Rumpe, editors, UML’99, pages 156–171. Springer LNCS 1723, 1999.
M. Richters and M. Gogolla. Validating UML models and OCL constraints. In A. Evans, S. Kent, and B. Selic, editors, UML 2000, pages 265–277. Springer LNCS 1939, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G. (2001). A Visualization of OCL Using Collaborations. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_20
Download citation
DOI: https://doi.org/10.1007/3-540-45441-1_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42667-7
Online ISBN: 978-3-540-45441-0
eBook Packages: Springer Book Archive