A semantic approach for designing commitment protocols

  • Authors:
  • Ashok U. Mallya;Munindar P. Singh

  • Affiliations:
  • Department of Computer Science, North Carolina State University, Raleigh, NC;Department of Computer Science, North Carolina State University, Raleigh, NC

  • Venue:
  • AC'04 Proceedings of the 2004 international conference on Agent Communication
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

Protocols enable unambiguous and smooth interactions among agents, and commitments among agents are a powerful means of developing protocols. Commitments allow flexible execution of protocols and help agents reason about protocols and plan their actions accordingly, while at the same time providing a basis for compliance checking. Multiagent systems that employ commitment-based interaction can conveniently and effectively model business interactions because the autonomy and heterogeneity of agents mirrors real-world businesses. Such modeling, however, requires multiagent systems to host a rich variety of interaction protocols that can capture the needs of different applications. We show how a commitment-based semantics for protocols provides a basis for refining and aggregating protocols. We propose an approach for designing commitment protocols wherein traditional software engineering notions such as refinement and aggregation are extended to apply to protocols. We present an algebra of protocols that can be used to compose protocols by refining and merging existing ones, and does this at a level of abstraction high enough to be useful for real-world applications.