Revising the UML Collaborations: A Well-Founded Approach

  • Egidio Astesiano
  • Gianna Reggio
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6028)

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.

Keywords

Business Process State Machine Object State Class Diagram Sequence Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    OMG: Service oriented architecture Modeling Language (SoaML) - Specification for the UML Profile and Metamodel for Services, UPMS (2008)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    UML Revision Task Force: OMG Unified Modeling Language (OMG UML), Superstructure, V2.1.2 (2007)Google Scholar
  4. 4.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley, Reading (2004)Google Scholar
  5. 5.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, 2nd edn. The Addison-Wesley Object Technology Series. Addison-Wesley, Reading (2005)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Meyer, B.: Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs (1997)MATHGoogle Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    Astesiano, E., Reggio, G.: Towards a well-founded UML-based development method. In: SEFM 2003. ACM Press, New York (2003)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Gianna Reggio
    • 1
  1. 1.DISIUniversità di GenovaItaly

Personalised recommendations