This software has been developed by Matteo Baldoni, Elisa Marengo, and Federico Capuzzimati, in collaboration with Cristina Baroglio and Viviana Patti.
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.
The tool features also a plug-in Eclipse that allows the specification of protocols in a graphical format and allows the visualization and exploration of the resulting labelled graph.
A zip archive containing all the code and the plugin can be downloaded from this link (a video showing how to install it can be downloaded here). A zip archive containing all the examples described in the example section can be downloaded from this link