Abstract
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.
This research has partially been funded by the European Commission and by the Swiss Federal Office for Education and Science within the 6th Framework Programme project REWERSE number 506779 (cf. http://rewerse.net), and it has also been supported by MIUR PRIN 2005 “Specification and verification of agent interaction protocols” national project.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Dignum, F.P.M. (ed.) ACL 2003. LNCS, vol. 2922, pp. 212–230. Springer, Heidelberg (2004)
Foundation for Intelligent Physical Agents, http://www.fipa.org
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)
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)
Jade, http://jade.cselt.it/
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)
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)
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)
Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)
OASIS. Business process execution language for web services
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), http://www.fipa.org/docs/input/f-in-00077/
Padgham, L., Lambrix, P.: Agent capabilities: Extending BDI theory. In: AAAI/IAAI, pp. 68–73 (2000)
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)
Paolucci, M., Kawmura, T., Payne, T., Sycara, K.: Semantic matching of web services capabilities. In: First International Semantic Web Conference (2002)
Pistore, M., Spalazzi, L., Traverso, P.: A minimalist approach to semantic annotations for web processes compositions. In: ESWC, pp. 620–634 (2006)
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)
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)
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)
WS-CDL, http://www.w3.org/tr/ws-cdl-10/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C. (2006). Interaction Protocols and Capabilities: A Preliminary Report. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds) Principles and Practice of Semantic Web Reasoning. PPSWR 2006. Lecture Notes in Computer Science, vol 4187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853107_5
Download citation
DOI: https://doi.org/10.1007/11853107_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39586-7
Online ISBN: 978-3-540-39587-4
eBook Packages: Computer ScienceComputer Science (R0)