This tool checks the equivalence of BPEL processes and/or BPEL4Chor choreographies
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool