Interaction Protocols and Capabilities: A Preliminary Report

  • Matteo Baldoni
  • Cristina Baroglio
  • Alberto Martelli
  • Viviana Patti
  • Claudio Schifanella
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4187)


A typical problem of the research area on Service-Oriented Architectures is the composition of a set of existing services with the aim of executing a complex task. The selection and composition of the services are based on a description of the services themselves and can exploit an abstract description of their interactions. Interaction protocols (or choreographies) capture the interaction as a whole, defining the rules that entities should respect in order to guarantee the interoperability; they do not refer to specific services but they specify the roles and the communication among the roles. Policies (behavioral interfaces in web service terminology), instead, focus on communication from the point of view of the individual services. In this paper we present a preliminary study aimed to allow the use of public choreography specifications for generating executable interaction policies for peers that would like to take part in an interaction. Usually the specifications capture only the interactive behavior of the system as a whole. We propose to enrich the choreography by a set of requirements of capabilities that the parties should exhibit, where by the term “capability” we mean the skill of doing something or of making some condition become true. Such capabilities have the twofold aim of connecting the interactive behavior to be shown by the role-player to its internal state and of making the policy executable. A possible extension of WS-CDL with capability requirements is proposed.


Multiagent System Interactive Behavior Execution Trace Business Process Execution Language Interaction Protocol 
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.
    Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. In: Proc. of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003. ENTCS, vol. 85(2). Elsevier, Amsterdam (2003)Google Scholar
  2. 2.
    Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI Model with Cooperativity. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 109–134. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Baldoni, M., Baroglio, C., Martelli, A., Patti: Verification of protocol conformance and agent interoperability. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS, vol. 3900, pp. 265–283. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for customizing web service selection and composition. J. of Logic and Algebraic Programming, special issue on WS and Formal Methods (to appear, 2006)Google Scholar
  5. 5.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: a first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 257–271. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Baldoni, M., Boella, G., van der Torre, L.: Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS, vol. 3862, pp. 57–75. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Baldoni, M., Boella, G., van der Torre, L.: powerjava: Ontologically Founded Roles in Object Oriented Programming Languages. In: Proc. of 21st SAC 2006, Special Track on Object-Oriented Programming Languages and Systems. ACM, New York (2006)Google Scholar
  8. 8.
    Bozzo, L., Mascardi, V., Ancona, D., Busetta, P.: CooWS: Adaptive BDI agents meet service-oriented computing. In: Proc. of the Int. Conference on WWW/Internet, pp. 205–209 (2005)Google Scholar
  9. 9.
    Busetta, P., Howden, N., Ronquist, R., Hodgson, A.: Structuring BDI agents in functional clusters. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol. 1757. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  10. 10.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: a synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Dignum, F.P.M. (ed.) ACL 2003. LNCS, vol. 2922, pp. 212–230. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Foundation for Intelligent Physical Agents,
  13. 13.
    Guerin, F., Pitt, J.: Verification and Compliance Testing. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS, vol. 2650, pp. 98–112. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  14. 14.
    Huget, M.P., Koning, J.L.: Interaction Protocol Engineering. In: Huget, M.-P. (ed.) Communication in Multiagent Systems. LNCS, vol. 2650, pp. 179–193. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  15. 15.
  16. 16.
    Keller, U., Laraand, R., Polleres, A., Toma, I., Kifer, M., Fensel, D.: D5.1 v0.1 wsmo web service discovery. Technical report, WSML deliverable (2004)Google Scholar
  17. 17.
    Mamdani, A., Pitt, J.: Communication protocols in multi-agent systems: A development method and reference architecture. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 160–177. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  18. 18.
    Martelli, M., Mascardi, V.: From UML diagrams to Jess rules: Integrating OO and rule-based languages to specify, implement and execute agents. In: Proc. of the 8th APPIA-GULP-PRODE Joint Conf. on Declarative Programming (AGP 2003), pp. 275–286 (2003)Google Scholar
  19. 19.
    Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)MATHGoogle Scholar
  20. 20.
    OASIS. Business process execution language for web servicesGoogle Scholar
  21. 21.
    Odell, J.H., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Agent-Oriented Software Engineering, pp. 121–140. Springer, Heidelberg (2001), CrossRefGoogle Scholar
  22. 22.
    Padgham, L., Lambrix, P.: Agent capabilities: Extending BDI theory. In: AAAI/IAAI, pp. 68–73 (2000)Google Scholar
  23. 23.
    Padmanabhan, V., Governatori, G., Sattar, A.: Actions made explicit in BDI. In: Stumptner, M., Corbett, D.R., Brooks, M. (eds.) Canadian AI 2001. LNCS, vol. 2256, pp. 390–401. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  24. 24.
    Paolucci, M., Kawmura, T., Payne, T., Sycara, K.: Semantic matching of web services capabilities. In: First International Semantic Web Conference (2002)Google Scholar
  25. 25.
    Pistore, M., Spalazzi, L., Traverso, P.: A minimalist approach to semantic annotations for web processes compositions. In: ESWC, pp. 620–634 (2006)Google Scholar
  26. 26.
    Tocchio, A., Costantini, S.: Learning by knowledge exchange in logical agents. In: Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Pitagora Editrice Bologna (November 2005)Google Scholar
  27. 27.
    van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life after BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 35–50. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  28. 28.
    Wooldridge, M., Parsons, S.: Issues in the design of negotiation protocols for logic-based agent communication languages. In: Dignum, F.P.M., Cortés, U. (eds.) AMEC 2000. LNCS, vol. 2003, p. 70. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  29. 29.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Matteo Baldoni
    • 1
  • Cristina Baroglio
    • 1
  • Alberto Martelli
    • 1
  • Viviana Patti
    • 1
  • Claudio Schifanella
    • 1
  1. 1.Dipartimento di InformaticaUniversità degli Studi di TorinoTorinoItaly

Personalised recommendations