Abstract
Service composition mechanisms successfully enable ’programming in the large’ within business oriented computing systems. Here, the composability of single software components provides dynamicity and flexibility in the design of large-scale applications. However, this dynamicity is restricted to the late binding of services to service interface descriptions; the workflow, i.e. the execution order of the single services, remains static.
Within this paper, we present the modification of abstract service composition plans, extending service compositions’ dynamicity from late binding of service implementations to a dynamic reconfiguration of the service composition structure itself. As a proof of concept, we demonstrate the adaptability of the service composition plan by applying genetic operators on the workflow graph of the service composition. Finally, an evaluation mechanism is presented to estimate the degree of similarity between the resulting composition plan and present ones.
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
Pfeffer, H., Linner, D., Steglich, S.: Modeling and Controling Dynamic Service Compositions. In: Proceedings of The Third International Multi-Conference on Computing in the Global Information Technology (ICCGI 2008), Athens, Greece (2008)
Bucchiarone, A., Gnesi, S.: A Survey on Services Composition Languages and Models. In: Bertolino, A., Polini, A. (eds.) Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006), Palermo, Sicily, Italy, pp. 51–63 (2006)
Thatte, S.: XLANG - Web Services for Business Process Design (2001)
Leymann, F.: Web Service Flow Language (WSFL 1.0). In: IBM (May 2001)
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1 (May 2003), (Accessed, November 2007), http://www.ibm.com/developerworks/library/specification/ws-bpel/
Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web Services (Version 1.0) (July 2002)
van der Aalst, W.: Don’t go with the flow: Web services composition standards exposed (2003)
UNCEFACT and OASIS: ebXML Business Process Specification Schema Version 1.0.1 (2001)
Ankolekar, A., Burstein, M., Hobbs, J.R., Lassila, O., Martin, D., McDermott, D., McIlraith, S.A., Narayanan, S., Paolucci, M., Payne, T., Sycara, K.: DAML-S: Web Service Description for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342. Springer, Heidelberg (2002)
The OWL Services Coalition: OWL-S: Semantic Markup for Web Services (November 2004) (Accessed February 26, 2007), http://www.daml.org/services/owls/1.1/
Pfeffer, H., Linner, D., Jacob, C., Steglich, S.: Towards Light-weight Semantic Descriptions for Decentralized Service-oriented Systems. In: Proceedings of the 1st IEEE International Conference on Semantic Computing (ICSC 2007). Volume CD-ROM, Irvine, California, USA (2007)
Canfora, G., Di Penta, M., Esposito, R., Villani, M.L.: An approach for QoS-aware service composition based on genetic algorithms. In: GECCO 2005: Proceedings of the 2005 Conference on Genetic and Evolutionary Computation, pp. 1069–1075. ACM, New York (2005)
Jaeger, M., Engel, L., Geihs, K.: A Methodology for Developing OWL-S Descriptions. In: First International Conference on Interoperability of Enterprise Software and Applications Workshop on Web Services and Interoperability (INTEROP-ESA 2005), Springer, Heidelberg (2005)
Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of of the 5th Annual Symposium on Logic in Computer Science, pp. 414–425. IEEE Computer Society Press, Los Alamitos (1990)
Dill, D.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems. LNCS, vol. 407, pp. 197–212. Springer, Heidelberg (1989)
Clarke, E.M.J., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
Linner, D., Pfeffer, H., Steglich, S.: A genetic algorithm for the adaptation of service compositions. In: Proceedings of the 2nd International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (2007)
Babik, M., Hluchy, L., Kitowski, J., Kryza, B.: Generating Semantic Descriptions of Web and Grid Services. In: Kacsuk, P., Fahringer, T., Nemeth, Z. (eds.) Distributed and Parallel Systems - From Cluster to Grid Computing (Proceedings of the 6th Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS)), Innsbruck, Austria. International Series in Engineering and Computer Science (ISECS), pp. 83–93 (2006)
Caprotti, O., Davenport, J.H., Dewar, M., Padget, J.: Mathematics on the (Semantic) NET. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol. 3053, pp. 213–224. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pfeffer, H., Linner, D., Steglich, S. (2008). Dynamic Adaptation of Workflow Based Service Compositions. In: Huang, DS., Wunsch, D.C., Levine, D.S., Jo, KH. (eds) Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues. ICIC 2008. Lecture Notes in Computer Science, vol 5226. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87442-3_94
Download citation
DOI: https://doi.org/10.1007/978-3-540-87442-3_94
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87440-9
Online ISBN: 978-3-540-87442-3
eBook Packages: Computer ScienceComputer Science (R0)