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.
License
GNU General Public License version 2.0 (GPLv2)Follow a validating tool of BPEL programme
Other Useful Business Software
To win in today’s business environment, you need the right people, with the right skills, in the right jobs, at the right time. Avilar, the Competency Company, helps astute organizations optimize their workforce for success. Avilar’s competency and eLearning tools provide flexible workforce analytics solutions that work.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of a validating tool of BPEL programme!