Tools for composite web services: A short overview

SIGMOD Record

Volumn 34, Issue 2, 2005, Pages 86-95

  Hull, Richard ^a   Su, Jianwen ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b University of California   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC COMPOSITION; INFORMATION SYSTEMS; SERVICE COMPOSITION; WEB SERVICES;

AUTONOMOUS AGENTS; COMPUTER SIMULATION; INFORMATION RETRIEVAL SYSTEMS; MATHEMATICAL MODELS; SAMPLING; SEMANTICS;

WORLD WIDE WEB;

EID: 24344444145     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/1083784.1083807     Document Type: Conference Paper

References (50)

1. G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer-Verlag, 2004.
2. S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha. Relational transducers for electronic commerce. In Proc. ACM Symp. on Principles of Database Systems, 1998.
3. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic composition of web services in Colombo. In Proc. of 13th Itallian Symp. on Advanced Database Systems, June 2005.
4. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging. Technical report, University of Rome, "La Sapienza", Roma, Italy, April, 2005.
5. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic Services Composition based on Behavioral Descriptions. International Journal of Cooperative Information Systems (IJCIS), 2004. To appear.
6. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. ESC: A Tool for Automatic Composition of e-Services based on Logics of Programs. In Proc. Workshop on Technologies for E-Services, 2004.
7. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In Proc. 1st Int. Conf. on Service Oriented Computing (ICSOC), volume 2910 of LNCS, pages 43-58, 2003.
8. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: A new approach to design and analysis of e-service composition. In Proc. Int. World Wide Web Conf. (WWW), May 2003.
9. D. Berardi, M. Gruninger, R. Hull, and S. McIlraith. Towards a first-order ontology for web services. In W3C Workshop on Constraints and Capabilities for Web Services, October 2004.
10. D. Berardi, G. De Giacomo, M. Lenzerini, M. Mecella, and D. Calvanese. Synthesis of underspecified composite e-services based on automated reasoning. In Proc. Second International Conference on Service-Oriented Computing, pages 105-114, 2004.
11. J. Bloomberg. The seven principles of service-oriented development. XML & Web Services, 3(5):32-33, 2002.
12. Business Process Execution Language for Web Services (BPEL), Version 1.1. http://www.ibm.com/developerworks/library/ws-bpel, May 2003.
13. D. Brand and P. Zafiropulo. On communicating finite-state machines. Journal of the ACM, 30(2):323-342, 1983.
14. OWL Services Coalition. OWL-S: Semantic markup for web services, November 2003.
15. SWSL Committee. Semantic web service ontology (swso), 2005. Available in http://www.daml.org/services/swsl/report/.
16. H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic based modeling and analysis of workflows. In Proc. ACM Symp. on Principles of Database Systems, pages 25-33, 1998.
17. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web services. In Proc. ACM Symp. on Principles of Database Systems, 2004.
18. X. Fu, T. Bultan, and J. Su. Conversation protocols: A formalism for specification and verification of reactive electronic services. In Proc. Int. Conf. on Implementation and Application of Automata (CIAA), 2003.
19. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proc. Int. World Wide Web Conf. (WWW), May 2004.
20. X. Fu, T. Bultan, and J. Su. Model checking XML manipulating software. In Proc. Int. Symposium on Software Testing and Analysis (ISSTA), July 2004.
21. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In Proc. the 18th IEEE Int. Conf. on Automated Software Engineering Conference (ASE 2003), 2003.
22. C. E. Gerede, R. Hull, and J. Su. Automated composition of e-services with lookahead. In Proc. Intl. Conf. on Services-Oriented Computing, 2004.
23. M. Grüninger and C. Menzel. Process specification language: Principles and applications. AI Magazine, 24:63-74, 2003.
24. M. Grüninger. Applications of PSL to semantic web services. In Proceedings of SWDB'03, The first International Workshop on Semantic Web and Databases, 2003.
25. H. Haas. Architecture and future of web services: from SOAP to semantic web services. http://www.w3.org/2004/Talks/0520-hh-ws/, May 2004.
26. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: A look behind the curtain. In Proc. ACM Symp. on Principles of Database Systems, 2003.
27. J. E. Hanson, P. Nandi, and S. Kumaran. Conversation support for business process integration. In Proc. 6th Int. Enterprise Distributed Object Computing (EDOC), Ecole Polytechnic, Switzerland, 2002.
28. J. E. Hanson, P. Nandi, and D. W. Levine. Conversation-enabled web services for agents and e-business. In Proc. International Conference on Internet Computing (IC), pages 791-796. CSREA Press, 2002.
29. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, 1978.
30. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, 2003.
31. Dexter Kozen and Jerzy Tiuryn. Logics of programs. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science - Formal Models and Semantics, pages 789-840. Elsiever, 1990.
32. M. Koshkina and F. van Breugel. Verication of business processes for web services. Technical Report CS-2003-11, Department of Computer Science, York University, 2003.
33. A. Martens. Analysis and re-engineering of web services. In Proc. 6th Int. Conf. on Enterprise Information Systems, 2004.
34. R. Milner. Communicating and Mobile Systems: The π-calculus. Cambridge University Press, 1999.
35. S. McIlraith and T. Son. Adapting Golog for composition of semantic web services. In Proc. of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), pages 482-493, April 2002.
36. S. A. McIlraith, T. C. Son, and H. Zeng. Semantic web services. In IEEE Intelligent Systems, March/April 2001.
37. S. Nakajiama. Verification of web services with model checking techniques. In Proc. First Int. Symposium on Cyber Worlds. IEEE Computer Society Press, 2002.
38. S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. In Proc. Int. World Wide Web Conf. (WWW), 2002.
39. J.A. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, University of Toronto, 1994.
40. M. Paolucci, T. Kawamura, T. R. Payne, and K. Sycara. Importing the semantic web in UDDI. In Proc. Workshop on Web Services, E-business and Semantic Web (at CAISE conference), 2002.
41. R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA, 2001.
42. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, 1995. PSL standards group. Psl home page. http://ats.nist.gov/ psl/.
43. M. Singh. Semantical considerations on workflows: An algebra for intertask dependencies. In Proc. Workshop on Database Programming Languages (DBPL), 1995.
44. R. B. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144:1-39, 2003.
45. M. Spielmann. Verification of relational transducers for electronic commerce. Journal of Computer and System Sciences, 66(1):40-65, 2003.
46. W. M. P. van der Aalst. On the automatic generation of workflow processes based on product structures. Computer in Industry, 39(2):97-111, 1999.
47. Web Services Choreography Description Language Version 1.0 (W3C Working Draft). http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/, December 2004.
48. Web Services Conversation Language (WSCL) 1.0. http://www.w3.org/TR/2002/ NOTE-wscl10-20020314/, March 2002.
49. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl, March 2001.
50. Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions (W3C Working Draft), http: //www.w3.org/TR/2004/WD-wsdl20-extens ions-20040803/, August 2004.