Protocol engineering for web services conversations

Paurobally, S. and Jennings, N.R. 2005. Protocol engineering for web services conversations. Engineering Applications of Artificial Intelligence. 18 (2), pp. 237-254.

TitleProtocol engineering for web services conversations
AuthorsPaurobally, S. and Jennings, N.R.
Abstract

Although web services aim to bring about seamless and effective communication in a wide variety of Internet applications, the interactions between them are currently limited to simple request–response exchanges. However, in the longer term we believe this is unsustainable. In particular, we believe that more complex protocols for web service conversations are necessary if the participants are to tailor their needs and offers to the prevailing context and they are to coordinate multiple services in open and realistic environments. To this end, this paper combines and extends two recent web service languages, WS-Conversation Language (WSCL) and WS-Agreement, in order to obtain a method for engineering protocols of sufficient expressiveness for the next generation of flexible and autonomous services. Specifically, we propose that the protocols include speech-acts as the individual messages and we show how to model such speech-acts as WS-Agreement schemas, which can, in turn, be imported into the specification of the protocols in WSCL. To demonstrate our approach, we express a standard contracting protocol in the extended WSCL/WS-Agreement languages. Furthermore, we use statechart notation as a visual counterpart to help developers write clients that flexibly interact with a service and to help users to better understand how to interact with a service. Finally, we show that the translation between statecharts and WSCL/WS-Agreement protocols is straightforward.

JournalEngineering Applications of Artificial Intelligence
Journal citation18 (2), pp. 237-254
ISSN0952-1976
YearMar 2005
Digital Object Identifier (DOI)doi:10.1016/j.engappai.2004.12.005
Publication dates
PublishedMar 2005

Related outputs

Safety and liveness of component-oriented protocols: a feasibility study
Paurobally, S., Bolotov, A. and Getov, Vladimir 2010. Safety and liveness of component-oriented protocols: a feasibility study. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Trust negotiation and service level agreements
Paurobally, S. 2009. Trust negotiation and service level agreements. in: Gerndt, H.M., Rana, O.F., von Laszewski, G. and Ziegler, W. (ed.) Service Level Agreements in Grids Germany Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

Joint conversation specification and compliance
Paurobally, S. and Wooldridge, M. 2008. Joint conversation specification and compliance. in: Baldoni, M., Son, T.C., van Riemsdijk, M.B. and Winikoff, M. (ed.) Declarative agent languages and technologies V: 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 ; revised selected and invited papers Berlin Springer.

An auctioning protocol for Facilitating VOs
Paurobally, S. 2008. An auctioning protocol for Facilitating VOs. in: Proceedings of the Eleventh International Conference on Integrated Design and Process Technology (IDPT), June 1-6, 2008 in Taichung, Taiwan SDPS.

Implementation of ontology for intelligent hospital ward
Kataria, P., Juric, R., Paurobally, S. and Madani, K. 2008. Implementation of ontology for intelligent hospital ward. in: Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 41), Hawaii, Big Island, US, January 7 - 10, 2008 IEEE . pp. 253-262

Synchronization protocols for reliable communication in fully distributed agent systems
Dunn-Davies, H., Cunningham, J. and Paurobally, S. 2008. Synchronization protocols for reliable communication in fully distributed agent systems. in: AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems International Foundation for Autonomous Agents and Multiagent Systems.

A framework for web service negotiation
Paurobally, S., Tamma, V. and Wooldridge, M. 2007. A framework for web service negotiation. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 2 (4), p. Article No. 14.

Negotiation for authorisation in virtual organisation
Paurobally, S. 2007. Negotiation for authorisation in virtual organisation. in: Etalle, S. and Marsh, S. (ed.) Trust management: proceedings of IFIPTM 2007, Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada New York, NY, USA Springer.

Web service negotiation in an insurance grid
Paurobally, S., van Aart, C., Tamma, V., Wooldridge, M. and Van Hapert, P. 2007. Web service negotiation in an insurance grid. in: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, Hawaii, May 14 - 18, 2007 New York, NY, USA ACM. pp. Article No. 275

Joint conversation specification and compliance
Paurobally, S. and Wooldridge, M. 2007. Joint conversation specification and compliance. in: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, Hawaii, May 14 - 18, 2007 New York, NY, USA ACM. pp. Article No. 30

Towards service-oriented ontology-based coordination
Moyaux, T., Smith, B.L., Paurobally, S., Tamma, V. and Wooldridge, M. 2006. Towards service-oriented ontology-based coordination. in: Proceedings of the International Conference on Web Services (ICWS 2006) Los Alamitos, USA IEEE . pp. 265-274

Developing agent Web service agreements
Paurobally, S. and Jennings, N.R. 2005. Developing agent Web service agreements. in: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence Los Alamitos, USA IEEE . pp. 464-470

A formal framework for agent interaction semantics
Paurobally, S., Cunningham, J. and Jennings, N.R. 2005. A formal framework for agent interaction semantics. in: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, Utrecht University, the Netherlands, July 25-29, 2005 New York, USA ACM. pp. 91-98

Automating negotiation for m-services
Paurobally, S., Turner, P.J. and Jennings, N.R. 2003. Automating negotiation for m-services. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans. 33 (6), pp. 709-724.

Ensuring consistency in the joint beliefs of interacting agents
Paurobally, S., Cunningham, J. and Jennings, N.R. 2003. Ensuring consistency in the joint beliefs of interacting agents. in: Rosenschein, J.S. (ed.) AAMAS03: proceedings of the second international joint conference on Autonomous agents and multiagent systems: July 14-18, 2003, Melbourne, Australia New York, USA ACM. pp. 662-669

Permalink - https://westminsterresearch.westminster.ac.uk/item/92q16/protocol-engineering-for-web-services-conversations


Share this
Tweet
Email