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.

Project Activity

See All Activity >

Categories

XML, UML

License

GNU General Public License version 2.0 (GPLv2)

Follow a validating tool of BPEL programme

a validating tool of BPEL programme Web Site

Other Useful Business Software
Optimize your workforce. Icon
Optimize your workforce.

Avilar serves clients in the private, government and non-profit sectors, with 50 to 250,00 learners and administrative users.

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!

Additional Project Details

Operating Systems

Windows

Languages

Chinese (Simplified)

Intended Audience

Customer Service, Quality Engineers

User Interface

Java Swing

Programming Language

Standard ML, Java

Related Categories

Standard ML XML Software, Standard ML UML Tool, Java XML Software, Java UML Tool

Registered

2006-12-12