BPEL2oWFN
translates a business processes expressed in BPEL (Business Process
Execution Language for Web Services) into an oWFN (open Workflow Net)
oWFN2BPEL
fully-automatically translates an oWFN model into an abstract BPEL process
Fiona
a tool designed to check behavioral correctness of a service and to analyze
the interaction of services in service oriented architectures, for instance.
Tools4BPEL Tutorial
a tutorial showing the features of BPEL2oWFN, Fiona and Tools4BPEL GUI
