wagnerse / bpel-equivalence

This tool checks the equivalence of BPEL processes and/or BPEL4Chor choreographies

bpel-equivalence

This tool evaluates the equivalence of BPEL processes with interval algebra and point algebra.

Use of the BPEL2AllenInterval Transformation

To start the tool run BpelAllenNetworkConsole.java with a complete path to the *.bpel file and a complete path to the destination of a resulting csv file.

Logging

After a complete run a log file as txt and html is created.