In practical contexts where protocols model business interactions (e.g. trading, banking), designers need tools allowing them to analyse the impact on the possible interactions of regulations, preferences, conventions and the like. This work faces the issue of how to equip commitment protocols with formal and practical instruments aimed at supporting such an analysis by identifying the possible risks of violation and, thus, enabling the definition of operational strategies aimed at reducing risks of violation. Specifically, we present an operational semantics for the commitment protocol language 2CL as well as a tool for visualizing as a graph the possible interactions, labelling the states of the interaction so as to highlight legal situations and violations.

A Generalized Commitment Machine for 2CL Protocols and its Implementation

BALDONI, Matteo;BAROGLIO, Cristina;CAPUZZIMATI, FEDERICO;MARENGO, ELISA;PATTI, Viviana
2012-01-01

Abstract

In practical contexts where protocols model business interactions (e.g. trading, banking), designers need tools allowing them to analyse the impact on the possible interactions of regulations, preferences, conventions and the like. This work faces the issue of how to equip commitment protocols with formal and practical instruments aimed at supporting such an analysis by identifying the possible risks of violation and, thus, enabling the definition of operational strategies aimed at reducing risks of violation. Specifically, we present an operational semantics for the commitment protocol language 2CL as well as a tool for visualizing as a graph the possible interactions, labelling the states of the interaction so as to highlight legal situations and violations.
2012
International Workshop on Declarative Agent Languages and Technologies, DALT 2012
Valencia, Spain
June 4, 2012
Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2012
IFAAMAS
18
34
http://www.di.unito.it/~baldoni/DALT-2012/
Commitment-based Interaction Protocols; Constraints among Commitments; Commitment Machine; Risks of Violation
M. Baldoni; C. Baroglio; F. Capuzzimati; E. Marengo; V. Patti
File in questo prodotto:
File Dimensione Formato  
2012_BBCMP_DALT.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 1.57 MB
Formato Adobe PDF
1.57 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/117061
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact