Abstract
In the current and future service environment, service parts are being developed separately while being dynamically combined at runtime. In this paper we address the problem of defining a model-driven process for enabling dynamic composition of services. Composition policies are used to define choices in behaviour under which service roles involved in a composite service can be dynamically combined at runtime. We model policy-ruled choreography of collaboration components using a policy enforcement state machine (PESM). We also define transformation rules for translating a global PESM diagram into a set of local PESM diagrams, one for each role. As an example, we consider the case of dynamically composing an existing service with a set of authentication and authorization collaborations. The approach is supported by a formal syntax and semantics.
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
Object Management Group: UML 2.1.2 Superstructure Specification, formal/2007-11-02 (2007)
Rossebø, J.E.Y., Bræk, R.: Towards a framework of authentication and authorization patterns for ensuring availability in service composition. Technical Report 332, Dept. of Inf., Univ. of Oslo (2007)
Rossebø, J.E.Y., Bræk, R.: Using composition policies to manage authentication and authorization patterns and services. In: Proc. Availability, Reliability and Security (ARES 2008), pp. 597–603. IEEE Computer Society Press, Los Alamitos (2008)
Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The ponder policy specification language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, pp. 18–39. Springer, Heidelberg (2001)
International Telecommunication Union: ITU-T Recommendation Z.150, User Requirements Notation (URN) – Language Requirements and Framework (2003)
Amyot, D., Becca, H., Bræk, R., Rossebø, J.E.Y.: Next generation service engineering. In: Proc. ITU-T NGN Kaleidoscope Conference. IEEE Computer Society Press, Los Alamitos (to appear)
Haugen, Ø., Husa, K.E., Runde, R.K., Stølen, K.: STAIRS towards formal design with sequence diagrams. Software and Systems Modeling 4(4), 349–458 (2005)
Runde, R.K.: STAIRS — Understanding and Developing Specifications Expressed as UML Interaction Diagrams. PhD thesis, Univ. of Oslo (2007)
Sanders, R.T.: Collaborations, Semantic Interfaces and Service Goals: a way forward for Service Engineering. PhD thesis, NTNU (2007)
Floch, J., Bræk, R.: A compositional approach to service validation. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 281–297. Springer, Heidelberg (2005)
Engelhardtsen, F.B., Prinz, A.: Application of stuck-free conformance to service-role composition. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 115–132. Springer, Heidelberg (2006)
Widom, J., Ceri, S. (eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann, San Francisco (1996)
Rossebø, J.E.Y., Runde, R.K.: Specifying service composition using UML 2.x and composition policies. Technical report, Dept. of Inf., Univ. of Oslo (to appear)
Keeney, J.: Completely Unanticipated Dynamic Adaptation of Software. PhD thesis, Trinity College, Univ. of Dublin (2004)
Sanders, R.T., Castejón, H.N., Kraemer, F., Bræk, R.: Using UML 2.0 collaborations for compositional service specification. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 460–475. Springer, Heidelberg (2005)
Castejón, H.N., Bræk, R., von Bochmann, G.: Realizability of collaboration-based service specifications. In: Proc. Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 73–80. IEEE Computer Society Press, Los Alamitos (2007)
Kraemer, F.A., Herrmann, P., Bræk, R.: Synthesizing components with sessions from collaboration-oriented service specifications. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 166–185. Springer, Heidelberg (2007)
Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: WS-CDL version 1.0 (2005), http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/
Kramler, G., Kapsammer, E., Retschitzegger, W., Kappel, G.: Towards using UML 2 for modelling web service collaboration protocols. In: INTEROP-ESA 2005. Springer, Heidelberg (2005)
Chun, S.A., Atluri, V., Adam, N.R.: Policy-based web service composition. In: Proc. Research Issues on Data Engineering (RIDE 2004), pp. 85–92. IEEE Computer Society Press, Los Alamitos (2004)
Fujii, K., Suda, T.: Dynamic service composition using semantic information. In: Proc. Intl. Conf. on Service Oriented Computing (ICSOC 2004), pp. 39–48. ACM Press, New York (2004)
Yang, J., Papazoglou, M.P., Orriens, B., van den Heuvel, W.-J.: A rule based approach to the service composition life-cycle. In: Proc. Web Information Systems Engineering (WISE 2003), pp. 295–298. IEEE Computer Society Press, Los Alamitos (2003)
Reddy, Y.R., Ghosh, S., France, R.B., Straw, G., Bieman, J.M., McEachen, N., Song, E., Georg, G.: Directives for composing aspect-oriented design class models. In: Rashid, A., Akşit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol. 3880, pp. 75–105. Springer, Heidelberg (2006)
Clarke, S., Walker, R.J.: Towards a standard design language for AOSD. In: Proc. Intl. Conf. on Aspect-Oriented Software Development (AOSD 2002), pp. 113–119. ACM Press, New York (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rossebø, J.E.Y., Runde, R.K. (2008). Specifying Service Composition Using UML 2.x and Composition Policies. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)