Dynamic adaptation of workflow based service compositions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5226 LNCS, Issue , 2008, Pages 763-774

  Pfeffer, Heiko ^a   Linner, David ^a   Steglich, Stephan ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; DYNAMIC MODELS; KETONES; MANAGEMENT;

APPLICATIONS.; COMPOSABILITY; COMPUTING SYSTEMS; DEGREE OF SIMILARITIES; DYNAMIC ADAPTATIONS; DYNAMIC RECONFIGURATIONS; DYNAMICITY; GENETIC OPERATORS; PROOF OF CONCEPTS; SERVICE COMPOSITIONS; SERVICE INTERFACES; SINGLE SERVICES; SOFTWARE COMPONENTS;

CHEMICAL ANALYSIS;

EID: 56549119054     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87442-3_94     Document Type: Conference Paper

References (19)

1. 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)
2. 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)
3. Thatte, S.: XLANG - Web Services for Business Process Design (2001)
4. Leymann, F.: Web Service Flow Language (WSFL 1.0). In: IBM (May 2001)
5. 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/
6. 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)
7. van der Aalst, W.: Don't go with the flow: Web services composition standards exposed (2003)
8. UNCEFACT and OASIS: ebXML Business Process Specification Schema, Version 1.0.1 (2001)
9. 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.) ISWrC 2002. LNCS, vol. 2342. Springer, Heidelberg (2002)
10. 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/
11. 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)
12. 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)
13. 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)
14. 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)
15. 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)
16. Clarke, E.M.J., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
17. Linner, D., Pleffer, 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)
18. 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 (DAP-SYS)), Innsbruck. Austria. International Series in Engineering and Computer Science (ISECS), pp. 83-93 (2006)
19. 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)