Baldoni
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.
international joint conference, regulative specification, twenty-fourth international joint conference, (2 more...)
Feb-8-2022, 12:41:47 GMT
- Technology: