Home > Research > Publications & Outputs > Choice, interoperability, and conformance in in...
View graph of relations

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

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

  • M. Baldoni
  • C. Baroglio
  • A.K. Chopra
  • N. Desai
  • V. Patti
  • Munindar Singh


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.