Conversation-Based Specification and Composition of Agent Services

  • Quoc Bao Vo
  • Lin Padgham
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4149)


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.


Internal Model Service Composition Agent Service Component Service Composite Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Berardi, D.: Automatic Service Composition: Models, Techniques and Tools. PhD thesis, Università di Roma, La Sapienza (2005)Google Scholar
  2. 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)CrossRefGoogle Scholar
  3. 3.
    Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 30(2), 323–342 (1983)MATHCrossRefMathSciNetGoogle Scholar
  4. 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. 5.
    Business Process Execution Language for Web Services (February 2005),
  6. 6.
    Business Process Modeling Language (March 2001),
  7. 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)CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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. 10.
    Mecella, M., Pernici, B.: Building flexible and cooperative applications based on e-services (2002)Google Scholar
  11. 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)CrossRefGoogle Scholar
  12. 12.
    OWL-S 1.1 Release (November 2004),
  13. 13.
    Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)MATHGoogle Scholar
  14. 14.
    Saleh, K.: Synthesis of communications protocols: an annotated bibliography. SIGCOMM Comput. Commun. Rev. 26(5), 40–59 (1996)CrossRefGoogle Scholar
  15. 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. 16.
    The Foundation for Intelligent Physical Agents.
  17. 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)CrossRefGoogle Scholar
  18. 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. 19.
    Web Service Choreography Interface (August 2002),
  20. 20.
    Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292–333 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Quoc Bao Vo
    • 1
  • Lin Padgham
    • 1
  1. 1.School of Computer Science and Information TechnologyRMIT UniversityAustralia

Personalised recommendations