Skip to main content

Conversation-Based Specification and Composition of Agent Services

  • Conference paper
Cooperative Information Agents X (CIA 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4149))

Included in the following conference series:

  • 564 Accesses

Abstract

There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves then also be used as components in other contexts. However it is challenging to realise this idea, without essentially programming the composition using some process language such as BPEL4WS or OWL-S process descriptions. This paper presents a mechanism for specifying the external interface to composite and component services, and then deriving an appropriate internal model to realise a functioning composition. We present a conversation specification language for defining interaction protocols and investigate the issue of synchronous and asynchronous communication between the composite service and the component services. The algorithm presented computes a valid orchestration of components, given the interface specification of the desired composite service, interface specifications of available components, and some mapping rules between parameters to deal with ontological issues.

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

Access this chapter

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. Berardi, D.: Automatic Service Composition: Models, Techniques and Tools. PhD thesis, Università di Roma, La Sapienza (2005)

    Google Scholar 

  2. Berardi, D., Calvanese, D., Giacomo, G.D., 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 

  3. Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 30(2), 323–342 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  4. Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW 2003: Proceedings of the 12th international conference on World Wide Web, pp. 403–410. ACM Press, New York (2003)

    Google Scholar 

  5. Business Process Execution Language for Web Services (February 2005), http://www-128.ibm.com/developerworks/library/specification/ws-bpel/

  6. Business Process Modeling Language (March 2001), http://www.bpmi.org/bpml-spec.htm

  7. Gerede, C.E., Hull, R., Ibarra, O.H., Su, J.: Automated composition of e-services: lookaheads. In: ICSOC 2004: Proceedings of the 2nd international conference on Service oriented computing, pp. 252–262. ACM Press, New York (2004)

    Chapter  Google Scholar 

  8. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: PODS 2003: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 1–14. ACM Press, New York (2003)

    Chapter  Google Scholar 

  9. Lu, S.: The Semantic Correctness of Transactions and Workflows. PhD thesis, Computer Science Dept., State University of New York at Stony Brook, USA (2002)

    Google Scholar 

  10. Mecella, M., Pernici, B.: Building flexible and cooperative applications based on e-services (2002)

    Google Scholar 

  11. Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002: Proceedings of the 11th international conference on World Wide Web, pp. 77–88. ACM Press, New York (2002)

    Chapter  Google Scholar 

  12. OWL-S 1.1 Release (November 2004), http://www.daml.org/services/owl-s/1.1/

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

    MATH  Google Scholar 

  14. Saleh, K.: Synthesis of communications protocols: an annotated bibliography. SIGCOMM Comput. Commun. Rev. 26(5), 40–59 (1996)

    Article  Google Scholar 

  15. Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: HTN planning for web service composition using SHOP2. Journal of Web Semantics 1(4), 377–396 (2004)

    Google Scholar 

  16. The Foundation for Intelligent Physical Agents. http://www.fipa.org/

  17. 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 

  18. van der Aalst, W.M.P., Basten, T., Verbeek, H.M.W., Verkoulen, P.A.C., Voorhoeve, M.: Adaptive workflow-on the interplay between flexibility and support. In: International Conference on Enterprise Information Systems, pp. 353–360 (1999)

    Google Scholar 

  19. Web Service Choreography Interface (August 2002), http://www.w3.org/TR/wsci/

  20. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292–333 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vo, Q.B., Padgham, L. (2006). Conversation-Based Specification and Composition of Agent Services. In: Klusch, M., Rovatsos, M., Payne, T.R. (eds) Cooperative Information Agents X. CIA 2006. Lecture Notes in Computer Science(), vol 4149. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11839354_13

Download citation

  • DOI: https://doi.org/10.1007/11839354_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-38569-1

  • Online ISBN: 978-3-540-38570-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics