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.
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
Bræk, R., Floch, J.: ICT convergence: Modeling issues. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, Springer, Heidelberg (2005)
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)
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)
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)
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)
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)
Object Management Group: UML 2.0 Superstructure Specification (2004)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)
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)
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)
Mencl, V.: Specifying component behavior with port state machines. Electr. Notes Theor. Comput. Sci, vol. 101, pp. 129–153 (2004)
Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Chichester (1994)
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)
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)
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)
ITU-T Draft Recommendation Z.152: URN - Use Case Maps notation (UCM) (2004)
ITU-T Recommendation Z.120: Message Sequence Charts (MSC) (2004)
Jacobson, I., Christerson, M., Jonsson, P., Øvergaard, G.: Object-Oriented Software Engineering: A Case Driven Approach. Addison-Wesley, Reading (1992)
ITU-T Recommendation Z.100: Specification and Description Language (SDL) (2002)
International Organization for Standardization (ISO): Estelle: a formal description technique based on an extended state transition model. ISO9074 (1989)
Harel, D.: Statecharts: A visual formalism for complex systems. Sci. Comput. Program 8, 231–274 (1987)
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)
Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects: The OOram Software Engineering Method. Prentice-Hall, Englewood Cliffs (1996)
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)
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
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)
Alsnes, R.: Role validation tool. Master’s thesis, NTNU (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sanders, R.T., Castejón, H.N., Kraemer, F.A., Bræk, R. (2005). Using UML 2.0 Collaborations for Compositional Service Specification. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_35
Download citation
DOI: https://doi.org/10.1007/11557432_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)