a validating tool of bpel programme

We have hosted the application a validating tool of bpel programme in order to run this application in our online workstations with Wine or directly.

Quick description about a validating tool of bpel programme:

This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.

Audience: Customer Service, Quality Engineers.
User interface: Java Swing.
Programming Language: Standard ML, Java.
Categories: