Skip to main content
Springer Nature Link
Log in

Towards a Unified Model for Web Services Composition

  • Conference paper
Advances in Computer Science – ASIAN 2005. Data Management on the Web (ASIAN 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3818))

Included in the following conference series:

Abstract

The web services paradigm, which finds roots in Service-Oriented Computing [ACKM04,PG03], promises to enable rich, flexible, and dynamic interoperation of highly distributed and heterogeneous web-hosted services. Substantial progress has already been made towards this goal (e.g., emerging standards such as SOAP, WSDL, BPEL) and industrial technology (e.g., IBM’s WebSphere Toolkit, Sun’s Open Net Environment and JiniTM Network technology, Microsoft’s .Net and Novell’s One Net initiatives, HP’s e-speak). Several research efforts are already underway that build on or take advantage of the paradigm, including the DAML-S/OWL-S program [OWL-S,MSZ01,Gr”u03, SPAS03], the Semantic Web Services Initiative (SWSI) [SWSI] and Web Service Modeling Ontology (WSMO) [WSMO] groups, and automata-based and other models for web services [BFHS03,HBCS03,BCG+03,BCH05].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Concepts, Architectures and Applications. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  2. Aggarwal, R., Verma, K., Miller, J., Milnor, W.: Constraint Driven Web Service Composition in METEOR-S. In: Proc. IEEE Intl. Conf. on Services Computing, IEEE-SCC (2004)

    Google Scholar 

  3. Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of web services in Colombo. In: Proc. of 13th Itallian Symp. on Advanced Database Systems (June 2005)

    Google Scholar 

  4. Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic Composition of Transition-based Semantic Web Services with Messaging. In: Proc. Intl. Conf. on Very Large Databases (VLDB), Trondheim, Norway (September 2005)

    Google Scholar 

  5. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Services Composition based on Behavioral Descriptions. International Journal of Cooperative Information Systems, IJCIS (2004)

    Google Scholar 

  6. Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of E-services that export their behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 43–58. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web Service Interfaces. In: Proc. 14th Intl. World Wide Web Conf. (WWW), pp. 148–159 (2005)

    Google Scholar 

  8. Berardi, D., Grüninger, M., Hull, R., McIlraith, S.: Towards a first-order ontology for web services. In: W3C Workshop on Constraints and Capabilities for Web Services (October 2004)

    Google Scholar 

  9. Berardi, D., De Giacomo, G., Lenzerini, M., Mecella, M., Calvanese, D.: Synthesis of underspecified composite e-services based on automated reasoning. In: Proc. Second International Conference on Service-Oriented Computing, pp. 105–114 (2004)

    Google Scholar 

  10. Business Process Execution Language for Web Services (BPEL), Version 1.1 (May 2003), http://www.ibm.com/developerworks/library/ws-bpel

  11. Börger, E., Stark, R.: Abstract STate Machines: A Method for High-LEvel System Design and Analysis. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  12. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: A new approach to design and analysis of e-service composition. In: Proc. Int. World Wide Web Conf. (WWW) (May 2003)

    Google Scholar 

  13. Deutsch, A., Marcus, M., Sui, L., Vianu, V., Zhou, D.: A Verifier for Interactive, Data-Driven Web Applications. In: Proc. ACM Conf. on Mgmt. of Data, SIGMOD (2005)

    Google Scholar 

  14. Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web services. In: Proc. ACM Symp. on Principles of Database Systems (2004)

    Google Scholar 

  15. Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: Proc. Int. Conf. on Implementation and Application of Automata, CIAA (2003)

    Google Scholar 

  16. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. Int. World Wide Web Conf (WWW) (May 2004)

    Google Scholar 

  17. Fu, X., Bultan, T., Su, J.: Model checking XML manipulating software. In: Proc. Int. Symposium on Software Testing and Analysis (ISSTA) (July 2004)

    Google Scholar 

  18. Grüninger, M., Menzel, C.: Process specification language: Principles and applications. AI Magazine 24, 63–74 (2003)

    Google Scholar 

  19. Grüninger, M.: Applications of PSL to semantic web services. In: Proceedings of SWDB 2003, The first International Workshop on Semantic Web and Databases (2003)

    Google Scholar 

  20. Grüninger, M., Hull, R., McIlraith, S.: A First-Order Ontology for Semantic Web Services. In: W3C Workshop on Frameworks for Semantic Web Services (April 2005), Innsbruck, http://www.w3.org/2005/04/FSWS/Submissions/59/w3c05.pdf

  21. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: A look behind the curtain. In: Proc. ACM Symp. on Principles of Database Systems (2003)

    Google Scholar 

  22. Hanson, J.E., Nandi, P., Kumaran, S.: Conversation support for business process integration. In: Proc. 6th Int. Enterprise Distributed Object Computing (EDOC), Ecole Polytechnic, Switzerland (2002)

    Google Scholar 

  23. Hull, R., Su, J.: Tools for Composite Web Services: A Short Overview. SIGMOD Record, Vol. 34(2) (June 2005), Available at http://www.sigmod.org/record/issues/0506/

  24. McIlraith, S., Son, T.: Adapting Golog for composition of semantic web services. In: Proc. of the Eighth International Conference on Knowledge Representation and Reasoning (KR 2002), April 2002, pp. 482–493 (2002)

    Google Scholar 

  25. McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems (March/April 2001)

    Google Scholar 

  26. Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. Int. World Wide Web Conf., WWW (2002)

    Google Scholar 

  27. OWL Services Coalition. OWL-S: Semantic markup for web services (November 2003)

    Google Scholar 

  28. Pinto, J.A.: Temporal Reasoning in the Situation Calculus. PhD thesis, University of Toronto (1994)

    Google Scholar 

  29. Papazoglou, M.P., Georgakopoulos, D.: Service Oriented Computing (special issue). Communication of the ACM 46(10), 24–28 (2003)

    Article  Google Scholar 

  30. Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: Intl. Joint Conf. on Artificial Intelligence, IJCAI (2005)

    Google Scholar 

  31. Patil, A., Oundhakar, S., Sheth, A., Verma, K.: METEOR-S Web service Annotation Framework. In: Proc. of the World Wide Web Conf. (WWW) (July 2004)

    Google Scholar 

  32. Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proc. 3rd IEEE International Conference on Web Services (ICWS), Orlando (2005)

    Google Scholar 

  33. PSL standards group. Psl home page, http://ats.nist.gov/psl/

  34. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  35. Scherl, R.B., Levesque, H.J.: Levesque. Knowledge, action, and the frame problem. Artificial Intelligence 144, 1–39 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  36. Spielmann, M.: Verification of relational transducers for electronic commerce. Journal of Computer and System Sciences 66(1), 40–65 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  37. Semantic Web Serivces Initiative (SWSI). Home page, at http://www.swsi.org/

  38. SWSL Committee. Semantic Web Services Framework Overview, SWSF (2005), Available in, http://www.w3.org/Submission/SWSF/

  39. SWSL Committee. Semantic web service ontology, SWSO (2005), Available in, http://www.w3.org/Submission/SWSF-SWSO/

  40. Sycara, K., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated Discovery, Interaction and Composition of Semantic Web services. Journal of Web Semantics 1(1), 27–46 (2003)

    Article  Google Scholar 

  41. Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 380–394. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  42. Web Services Choreography Description Language Version 1.0 (W3C Working Draft) (December 2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/

  43. Web Services Conversation Language (WSCL) 1.0 (March 2002), http://www.w3.org/TR/2002/NOTE-wscl10-20020314/

  44. Web Services Description Language (WSDL) 1.1 (March 2001), http://www.w3.org/TR/wsdl

  45. Web Services Description Language (WSDL) Version 2.0 Part 2: Predefined Extensions (W3C Working Draft) (August. 2004), http://www.w3.org/TR/2004/WD-wsdl20-extensions-20040803/

  46. Web Services Modeling Ontology (WSMO). Home page, at http://www.wsmo.org/

Download references

Author information

Authors and Affiliations

  1. Bell Labs Research, Lucent Technologies, 600 Mountain Avenue, Murray Hill, NJ, 07974, USA

    Richard Hull

Authors
  1. Richard Hull
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. INRIA-LIAMA Institute of Automation, Beijing, China

    Stéphane Grumbach

  2. Computer Science and Engineering Department, San Diego, University of California, 92093-0404, La Jolla, CA, USA

    Liying Sui

  3. UC San Diego, USA

    Victor Vianu

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hull, R. (2005). Towards a Unified Model for Web Services Composition. In: Grumbach, S., Sui, L., Vianu, V. (eds) Advances in Computer Science – ASIAN 2005. Data Management on the Web. ASIAN 2005. Lecture Notes in Computer Science, vol 3818. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596370_1

Download citation

  • DOI: https://doi.org/10.1007/11596370_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30767-9

  • Online ISBN: 978-3-540-32249-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation