Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

A Generalized Commitment Machine for 2CL Protocols and Its Implementation

Capitolo di libro
Data di Pubblicazione:
2013
Abstract:
This work proposes an operational semantics for the commitment protocol language 2CL. This semantics relies on an extension of Singh’s Generalized Commitment Machine, that we named 2CL-Generalized Commitment Machines. The 2CL-Generalized Commitment Machine was implemented in Prolog by extending Winikoff, Liu and Harland’s implementation. The implementation is equipped with a graphical tool that allows the analyst to explore all the possible executions, showing both commitment and constraint violations, and thus helping the analyst as well as the protocol designer to identify the risks the interaction could encounter. The implementation is part of an Eclipse plug-in which supports 2CL-protocol design and analysis.
Tipologia CRIS:
02A-Contributo in volume
Keywords:
Commitment protocols; Constraints among commitments; Commitment machine; Commitment machine implementation
Elenco autori:
Matteo Baldoni; Cristina Baroglio; Federico Capuzzimati; Elisa Marengo; Viviana Patti
Autori di Ateneo:
BALDONI Matteo
BAROGLIO Cristina
MARENGO Elisa
PATTI Viviana
Link alla scheda completa:
https://iris.unito.it/handle/2318/145573
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/145573/165094/2013_DALTPostProc_4aperto.pdf
Titolo del libro:
Declarative Agent Languages and Technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://www.di.unito.it/~baldoni/DALT-2012/
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0