Towards a unified model for Web services composition (extended abstract)

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

Volumn 3818 LNCS, Issue , 2005, Pages 1-10

  Hull, Richard ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33744900635     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596370_1     Document Type: Conference Paper

References (46)

1. [ACKM04] G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Concepts, Architectures and Applications. Springer-Verlag, 2004.
2. [AVMM04] R. Aggarwal, K. Verma, J. Miller, and W. Milnor. Constraint Driven Web Service Composition in METEOR-S. In Proc. IEEE Intl. Conf. on Services Computing (IEEE-SCC), 2004.
3. +05a] 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. +05b] D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging. Proc. Intl. Conf. on Very Large Databases (VLDB), Trondheim, Norway, September, 2005
5. +04a] 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.
6. +03] 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.
7. [BCH05] D. Beyer, A. Chakrabarti, and T.A. Henzinger. Web Service Interfaces. In Proc. 14th Intl. World Wide Web Conf. (WWW), pages 148-159, 2005.
8. [BGHM04] D. Berardi, M. Grüninger, 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.
9. +04] 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.
10. [BPEL] Business Process Execution Language for Web Services (BPEL), Version 1.1. http://www.ibm.com/developerworks/library/ws-bpel, May 2003.
11. [Bör03] E. Börger and R. Stark. Abstract STate Machines: A Method for High-LEvel System Design and Analysis, Springer-Verlag, 2003.
12. [BFHS03] T. Bultan, X. Pu, 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.
13. +05] A. Deutsch, M. Marcus, L. Sui, V. Vianu, and D. Zhou. A Verifier for Interactive, Data-Driven Web Applications. In Proc. ACM Conf. on Mgmt. of Data (SIGMOD), 2005.
14. [DSV04] 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.
15. [FBS03] 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.
16. [FBS04a] X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In Proc. Int. World Wide Web Conf. (WWW), May 2004.
17. [FBS04b] X. Fu, T. Bultan, and J. Su. Model checking XML manipulating software. In Proc. Int. Symposium on Software Testing and Analysis (ISSTA), July 2004.
18. [GM03] M. Grüninger and C. Menzel. Process specification language: Principles and applications. AI Magazine, 24:63-74, 2003.
19. [Grü03] 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.
20. [GHM05] M. Grüninger, R. Hull, and S. McIlraith. A First-Order Ontology for Semantic Web Services. In WSC Workshop on Frameworks for Semantic Web Services, April, 2005, Innsbruck http://www.w3.org/2005/04/FSWS/Submissions/59/w3c05.pdf
21. [HBCS03] 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.
22. [HNK02] 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.
23. [HS05] R. Hull and J. Su, Tools for Composite Web Services: A Short Overview. SIGMOD Record, Vol. 34, Number 2, June 2005. Available at http://www.sigmod.org/record/issues/0506/.
24. [MS02] 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.
25. [MSZ01] S. A. McIlraith, T. C. Son, and H. Zeng. Semantic web services. In IEEE Intelligent Systems, March/April 2001.
26. [NM02] S. Narayanan and S. McIlraith. Simulation, verification and automated composition of web services. In Proc. Int. World Wide Web Conf. (WWW), 2002.
27. [OWL-S] OWL Services Coalition. OWL-S: Semantic markup for web services, November 2003.
28. [Pin94] J.A. Pinto. Temporal Reasoning in the Situation Calculus. PhD thesis, University of Toronto, 1994.
29. [PG03] M.P. Papazoglou and D. Georgakopoulos, Service Oriented Computing (special issue). Communication of the ACM, 46(10):24-28, 2003.
30. [PMBT05] M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. Automated Composition of Web Services by Planning at the Knowledge Level. In Intl. Joint Conf., on Artificial Intelligence (IJCAI), 2005
31. [POSV04] Abhijit Patil, Swapna Oundhakar, Amit Sheth, and Kunal Verma. METEOR-S Web service Annotation Framework. In Proc. of the World Wide Web Conf. (WWW), July 2004.
32. [PTBM05] M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated Synthesis of Composite BPEL4WS Web Services In Proc. 3rd IEEE International Conference on Web Services (ICWS), Orlando, 2005.
33. [PSL] PSL standards group. Psl home page. http://ats.nist.gov/psl/.
34. [Rei01] R. Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA, 2001.
35. [SL03] R. B. Scherl and H. J. Levesque. Knowledge, action, and the frame problem. Artificial Intelligence, 144:1-39, 2003.
36. [Spi03] M. Spielmann. Verification of relational transducers for electronic commerce. Journal of Computer and System Sciences, 66(1):40-65, 2003.
37. [SWSI] Semantic Web Serivces Initiative (SWSI). Home page at http://www.swsi.org/.
38. [SWSF] SWSL Committee. Semantic Web Services Framework Overview (SWSF), 2005. Available in http://www.w3.org/Submission/SWSF/.
39. [SWSO] SWSL Committee. Semantic web service ontology (SWSO), 2005. Available in http://www.w3.org/Submission/SWSF-SWSO/.
40. [SPAS03] K. Sycara, M. Paolucci, A. Ankolekar and N. Srinivasan. Automated Discovery, Interaction and Composition of Semantic Web services. Journal of Web Semantics, Vol. 1, Issue 1, September 2003, pp. 27-46.
41. [TP04] P. Traverso and M. Pistore. Automatic Composition of Semantic Web Services into Executable Processes. In Proc. Intl. Semantic Web Conference (ISWC), 2004.
42. [WSCDL04] Web Services Choreography Description Language Version 1.0 (W3C Working Draft). http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/, December 2004.
43. [WSCL02] Web Services Conversation Language (WSCL) 1.0. http://www.w3.org/TR/2002/NOTE-wsc110-20020314/, March 2002.
44. [WSDL] Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl, March 2001.
45. [WSDL04] Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions (W3C Working Draft). http://www.w3.org/TR/2004/WD-wsdl20-extensions-20040803/, August 2004.
46. [WSMO] Web Services Modeling Ontology (WSMO). Home page at http://http://www.wsmo.org/.