The tool is an extension of Winikoff et al.'s enhanced commitment machine, which allows exploring all the possible executions of a business protocol, showing all the violations. The implementation is done in tuProlog and the software interprets a 2CL business protocol specification by means of a parser written in Java.

2CL Tools

BALDONI, Matteo;MARENGO, ELISA;CAPUZZIMATI, FEDERICO
2012

Abstract

The tool is an extension of Winikoff et al.'s enhanced commitment machine, which allows exploring all the possible executions of a business protocol, showing all the violations. The implementation is done in tuProlog and the software interprets a 2CL business protocol specification by means of a parser written in Java.
0.7
Università degli Studi di Torino
http://di.unito.it/2cl
M. Baldoni; E. Marengo; F. Capuzzimati
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/2318/94028
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact