Advertisement

Using UML 2.0 Collaborations for Compositional Service Specification

  • Richard Torbjørn Sanders
  • Humberto Nicolás Castejón
  • Frank Alexander Kraemer
  • Rolv Bræk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3713)

Abstract

Collaborations and collaboration uses are features new to UML 2.0. They possess many properties that support rapid and compositional service engineering. The notion of collaboration corresponds well with the notion of a service, and it seems promising to use them for service specification. We present an approach where collaborations are used to specify services, and show how collaborations enable high level feature composition by means of collaboration uses. We also show how service goals can be combined with behavior descriptions of collaborations to form what we call semantic interfaces. Semantic interfaces can be used to ensure compatibility when binding roles to classes and when composing systems from components. Various ways to compose collaboration behaviors are outlined and illustrated with telephony services.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bræk, R., Floch, J.: ICT convergence: Modeling issues. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  2. 2.
    Sanders, R.T., Bræk, R., von Bochmann, G., Amyot, D.: Service discovery and component reuse with semantic interfaces. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 85–102. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Rößler, F., Geppert, B., Gotzhein, R.: Collaboration-based design of SDL systems. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, p. 72. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Sanders, R.T., Bræk, R.: Discovering service opportunities by evaluating service goals. In: Proc. of the 10th EUNICE and IFIPWorkshop on Advances in Fixed and Mobile Networks, Tampere, Finland (2004)Google Scholar
  5. 5.
    Castejón, H.N.: Synthesizing state-machine behaviour from UML collaborations and Use Case Maps. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 339–359. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Floch, J.: Towards Plug-and-Play Services: Design and Validation using Roles. PhD thesis, Dep. of Telematics, Norwegain Univ. Sci. and Tech., Trondheim, Norway (2003)Google Scholar
  7. 7.
    Object Management Group: UML 2.0 Superstructure Specification (2004) Google Scholar
  8. 8.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)Google Scholar
  9. 9.
    Bræk, R.: Using roles with types and objects for service development. In: IFIP 5th Int. Conf. on Intelligence in Networks (SMARTNET), Pathumthani, Thailand, Kluwer, Dordrecht (1999)Google Scholar
  10. 10.
    Sanders, R.T., Bræk, R.: Modeling peer-to-peer service goals in UML. In: Proc. of the 2nd Int. Conf. on Soft. Eng. and Formal Methods (SEFM 2004), IEEE Computer Society, Los Alamitos (2004)Google Scholar
  11. 11.
    Mencl, V.: Specifying component behavior with port state machines. Electr. Notes Theor. Comput. Sci, vol. 101, pp. 129–153 (2004)Google Scholar
  12. 12.
    Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Chichester (1994)zbMATHGoogle Scholar
  13. 13.
    Floch, J., Bræk, R.: A compositional approach to service validation. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Diethelm, I., Geiger, L., Maier, T., Zündorf, A.: Turning collaboration diagram strips into storycharts. In: Workshop on Scenarios and state machines: models, algorithms, and tools; ICSE 2002, Orlando, Florida, USA (2002)Google Scholar
  15. 15.
    Floch, J., Bræk, R.: Using SDL for modeling behavior composition. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, Springer, Heidelberg (2003)Google Scholar
  16. 16.
    ITU-T Draft Recommendation Z.152: URN - Use Case Maps notation (UCM) (2004) Google Scholar
  17. 17.
    ITU-T Recommendation Z.120: Message Sequence Charts (MSC) (2004) Google Scholar
  18. 18.
    Jacobson, I., Christerson, M., Jonsson, P., Øvergaard, G.: Object-Oriented Software Engineering: A Case Driven Approach. Addison-Wesley, Reading (1992)zbMATHGoogle Scholar
  19. 19.
    ITU-T Recommendation Z.100: Specification and Description Language (SDL) (2002) Google Scholar
  20. 20.
    International Organization for Standardization (ISO): Estelle: a formal description technique based on an extended state transition model. ISO9074 (1989) Google Scholar
  21. 21.
    Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program 8, 231–274 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Bachman, C.W., Daya, M.: The role concept in data models. In: Proc. of the 3rd Int. Conference on Very Large Data Bases, Tokyo, Japan, IEEE Computer Society, Los Alamitos (1977)Google Scholar
  23. 23.
    Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects: The OOram Software Engineering Method. Prentice-Hall, Englewood Cliffs (1996)zbMATHGoogle Scholar
  24. 24.
    Rößler, F., Geppert, B., Gotzhein, R.: CoSDL: An experimental language for collaboration specification. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 1–20. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  25. 25.
    Haugen, Ø., Møller-Pedersen, B.: The fine arts of service modeling. Technical report, Internal report. ARTS (2003), http://www.pats.no/projects/ARTS/arts.html
  26. 26.
    Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental design and formal verification with UML/RT in the FUJABA real-time tool suite. In: Proc. of the Int. Workshop on Specification and Vaildation of UML models for Real Time and embedded Systems (SVERTS), associated with UML2004, Lisbon, Portugal (2004)Google Scholar
  27. 27.
    Alsnes, R.: Role validation tool. Master’s thesis, NTNU (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Richard Torbjørn Sanders
    • 1
  • Humberto Nicolás Castejón
    • 2
  • Frank Alexander Kraemer
    • 2
  • Rolv Bræk
    • 2
  1. 1.SINTEF ICTTrondheimNorway
  2. 2.Department of TelematicsNTNUTrondheimNorway

Personalised recommendations