• Media type: E-Article
  • Title: Constitutive and regulative specifications of commitment protocols : A decoupled approach : A decoupled approach
  • Contributor: Baldoni, Matteo; Baroglio, Cristina; Marengo, Elisa; Patti, Viviana
  • imprint: Association for Computing Machinery (ACM), 2013
  • Published in: ACM Transactions on Intelligent Systems and Technology
  • Language: English
  • DOI: 10.1145/2438653.2438657
  • ISSN: 2157-6904; 2157-6912
  • Keywords: Artificial Intelligence ; Theoretical Computer Science
  • Origination:
  • Footnote:
  • Description: <jats:p> Interaction protocols play a fundamental role in multiagent systems. In this work, after analyzing the trends that are emerging not only from research on multiagent interaction protocols but also from neighboring fields, like research on workflows and business processes, we propose a novel definition of commitment-based interaction protocols, that is characterized by the decoupling of the <jats:italic>constitutive</jats:italic> and the <jats:italic>regulative</jats:italic> specifications and that explicitly foresees a representation of the latter based on constraints among commitments. A clear distinction between the two representations has many advantages, mainly residing in a greater openness of multiagent systems, and an easier reuse of protocols and of action definitions. A language, named 2CL, for writing regulative specifications is also given together with a designer-oriented graphical notation. </jats:p>