Abstract
We first argue that in some software development areas the need emerges of modelling structural and behavioural aspects of a community of objects cooperating to achieve a specific purpose, say a cooperation, for short. The notion of cooperation is formalized, with a first citizenship status, in the UML 2, as a collaboration. There are however some unclear and problematic spots both on some syntactic and semantic aspects of the UML collaboration. The main goal of this paper is to present first a much simplified metamodel for defining a collaboration, still producing the same notation, with an associated semantics. Rather surprisingly different useful semantic interpretations may be given and are discussed.
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
OMG: Service oriented architecture Modeling Language (SoaML) - Specification for the UML Profile and Metamodel for Services, UPMS (2008)
Astesiano, E., Reggio, G., Ricca, F.: Modeling Business within a UML-Based Rigorous Software Development Approach. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 261–277. Springer, Heidelberg (2008)
UML Revision Task Force: OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2 (2007)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley, Reading (2004)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley, Reading (2005)
Astesiano, E., Reggio, G., Cerioli, M.: From Formal Techniques to Well-Founded Software Development Methods. In: Aichernig, B.K., Maibaum, T. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 132–150. Springer, Heidelberg (2003)
Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)
Jones, C.: Some Mistakes I Have Made and What I Have Learned FromThem. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, p. 7. Springer, Heidelberg (1998)
Engels, G., Hausmann, J., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323–337. Springer, Heidelberg (2000)
Broy, M., Crane, M.L., Dingel, J., Hartman, A., Rumpe, B., Selic, B.: 2nd UML 2 semantics symposium: Formal semantics for UML. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 318–323. Springer, Heidelberg (2007)
Cengarle, M., Knapp, A., Tarlecki, A., Wirsing, M.: A heterogeneous approach to UML semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 383–402. Springer, Heidelberg (2008)
Astesiano, E., Reggio, G.: Towards a well-founded UML-based development method. In: SEFM 2003. ACM Press, New York (2003)
Astesiano, E., Reggio, G.: Tight Structuring for Precise UML-based Requirement Specifications. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 16–34. Springer, Heidelberg (2004)
Reggio, G., Astesiano, E., Choppy, C., Hussmann, H.: Analysing UML Active Classes and Associated State Machines – A Lightweight Formal Approach. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, p. 127. Springer, Heidelberg (2000)
Reggio, G., Cerioli, M., Astesiano, E.: Towards a Rigorous Semantics of UML Supporting its Multiview Approach. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, p. 171. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Astesiano, E., Reggio, G. (2010). Revising the UML Collaborations: A Well-Founded Approach. In: Choppy, C., Sokolsky, O. (eds) Foundations of Computer Software. Future Trends and Techniques for Development. Monterey Workshop 2008. Lecture Notes in Computer Science, vol 6028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12566-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-12566-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12565-2
Online ISBN: 978-3-642-12566-9
eBook Packages: Computer ScienceComputer Science (R0)