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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.