Choice, interoperability, and conformance in interaction protocols and service choreographies

  • Authors:

  • Matteo Baldoni;Cristina Baroglio;Amit K. Chopra;Nirmit Desai;Viviana Patti;Munindar P. Singh

  • Affiliations:

  • Università degli Studi di Torino, Torino, Italy;Università degli Studi di Torino, Torino, Italy;North Carolina State Univ., Raleigh, NC;IBM India Research Labs, Bangalore, India;Università degli Studi di Torino, Torino, Italy;North Carolina State Univ., Raleigh, NC

  • Venue:
  • Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer business services and collaborate in interesting business service engagements. We formalize notions of interoperability and conformance, which appropriately support agent heterogeneity and autonomy. With respect to autonomy, our approach considers the choices that each agent has, and how their choices are coordinated so that at any time one agent leads and its counterpart follows, but with initiative fluidly shifting among the participants. With respect to heterogeneity, we characterize the variations in the agents' designs, and show how an agent may conform to a specification or substitute for another agent. Our approach addresses a challenging problem with multi-party interactions that existing approaches cannot solve. Further, we introduce a set of edit operations by which to modify an agent design so as to ensure its conformance with others.