translates a business processes expressed in BPEL (Business Process
Execution Language for Web Services) into an oWFN (open Workflow Net)
fully-automatically translates an oWFN model into an abstract BPEL process
a tool designed to check behavioral correctness of a service and to analyze
the interaction of services in service oriented architectures, for instance.
- last changes: