Proceedings Abstracts of the Twenty-Fourth International Joint Conference on Artificial Intelligence

Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract) / 4143
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti

We analyze the emerging trends from research on multi-agent interaction protocols, on workflows and on business processes. We propose a definition of commitment-based interaction protocols, characterized by the decoupling of the constitutive and the regulative specifications, where the latter is explicitly represented based on constraints among commitments. The 2CL language, for writing regulative specifications, is also presented.