A survey of automated Web service composition methods

Lecture Notes in Computer Science

Volumn 3387, Issue , 2005, Pages 43-54

  Rao, Jinghai ^a   Su, Xiaomeng ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; INFORMATION SERVICES; PLANNING; RESEARCH;

RESEARCH EFFORTS; WEB SERVICES; WORKFLOW;

WORLD WIDE WEB;

EID: 24144441759     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30581-1_5     Document Type: Conference Paper

References (26)

1. S. Abramsky. Proofs as processes. Theoretical Computer Science, 135(1):5-9, 1994.
2. T. Andrews et al. Business Process Execution Language for Web Services (BPEL4WS) 1.1. Online: http://www-106.ibm.com/developerworks/webservices/ library/ws-bpel, May 2003.
3. G. Bellin and P. J. Scott. On the pi-calculus and Linear Logic. Theoretical Computer Science, 135(1):11-65, 1994.
4. T. Bellwood et al. Universal Description, Discovery and Integration specification (UDDI) 3.0. Online: http://uddi.org/pubs/uddi-v3.00-published-20020719.htm.
5. B. Benatallah, M. Dumas, M.-C. Fauvet, and F. Rabhi. Patterns and skeletons for parallel and distributed computing, chapter Towards Patterns of Web Services Composition, pages 265-296. Springer-Verlag, 2003.
6. D. Box et al. Simple Object Access Protocol (SOAP) 1.1. Online: http://www.w3.org/TR/SOAP/, 2001.
7. F. Casati, S. Ilnicki, and L. Jin. Adaptive and dynamic service composition in EFlow. In Proceedings of 12th International Conference on Advanced Information Systems Engineering(CAiSE), Stockholm, Sweden, June 2000. Springer Verlag.
8. F. Casati, M. Sayal, and M.-C. Shan. Developing e-services for composing e-services. In Proceedings of 13th International Conference on Advanced Information Systems Engineering(CAiSE), Interlaken, Switzerland, June 2001. Springer Verlag.
9. R. Chinnici et al. Web Services Description Language (WSDL) 1.2. Online: http://www.w3.org/TR/wsdl/.
10. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic programs: Combining logic programs with Description Logic. In Proceedings of the 12th International Conference on the World Wide Web (WWW 2003, Budapest, Hungary, 2003.
11. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-service: A look behind the curtain. In Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), San Diego, USA, June 2003.
12. S. Lämmermann. Runtime Service Composition via Logic-Based Program Synthesis. PhD thesis, Department of Microelectronics and Information Technology, Royal Institute of Technology, June 2002.
13. Z. Manna and R. J. Waldinger. A deductive approach to program synthesis. ACM Transactions on Programming Languages and Systems, 2(1):90-121, 1980.
14. D. Martin et al. DAML-S(and OWL-S) 0.9 draft release. Online: http:// www.daml.org/services/daml-s/0.9/, May 2003.
15. D. McDermott. Estimated-regression planning for interactions with Web services. In Proceedings of the 6th International Conference on AI Planning and Scheduling, Toulouse, France, 2002. AAAI Press.
16. S. McIlraith and T. C. Son. Adapting Golog for composition of Semantic Web services. In Proceedings of the 8th International Conference on Knowledge Representation and Reasoning(KR2002), Toulouse, France, April 2002.
17. S. McIlraith, T. C. Son, and H. Zeng. Semantic Web services. IEEE Intelligent Systems, 16(2):46-53, March/April 2001.
18. B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid. Composing Web services on the Semantic Web. The VLDB Journal, 12(4), November 2003.
19. S. Narayanan and S. McIlraith. Simulation, verification and automated composition of Web service. In Proceedings of the 11th International World Wide Web Conference, Honolulu, Hawaii, USA, May 2002. ACM. presentation available at http://www2002.org/presentations/narayanan.pdf.
20. S. R. Ponnekanti and A. Fox. SWORD: A developer toolkit for Web service composition. In Proceedings of the 11th World Wide Web Conference, Honolulu, HI, USA, 2002.
21. J. Rao, P. Küngas, and M. Matskin. Application of Linear Logic to Web service composition. In Proceedings of the 1st International Conference on Web Services, Las Vegas, USA, June 2003.
22. J. Rao, P. Küngas, and M. Matskin. Logic-based Web services composition: from service description to process model. In Proceedings of the 2004 International Conference on Web Services, San Diego, USA, July 2004. IEEE.
23. H. Schuster, D. Georgakopoulos, A. Cichocki, and D. Baker. Modeling and composing service-based and reference process-based multi-enterprise processes. In Proceeding of 12th International Conference on Advanced Information Systems Engineering (CAiSE), Stockholm, Sweden, June 2000. Springer Verlag.
24. E. Sirin, J. Hendler, and B. Parsia. Semi-automatic composition of Web services using semantic descriptions. In Proceedings of Web Services: Modeling, Architecture and Infrastructure workshop in conjunction with ICEIS2003, 2002.
25. R. Waldinger. Web agents cooperating deductively. In Proceedings of FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000, volume 1871 of Lecture Notes in Computer Science, pages 250-262. Springer-Verlag, 2001.
26. D. Wu, E. Sirin, J. Hendler, D. Nau, and B. Parsia. Automatic Web services composition using SHOP2. In Workshop on Planning for Web Services, Trento, Italy, June 2003.