---
title: "Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)"
authors:
  - "Matteo Baldoni"
  - "Cristina Baroglio"
  - "Elisa Marengo"
  - "Viviana Patti"
doi: ""
url: "https://ijcai.org/proceedings/2015/584"
pdf: "https://ijcai.org/proceedings/2015/0584.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "4143-4146"
track: "Journal Track"
keywords:
---

# Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)

Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, pages 4143-4146.

## Abstract

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.