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
Fully managed relational database service for MySQL, PostgreSQL, and SQL Server Icon
Fully managed relational database service for MySQL, PostgreSQL, and SQL Server

Focus on your application, and leave the database to us

Cloud SQL manages your databases so you don't have to, so your business can run without disruption. It automates all your backups, replication, patches, encryption, and storage capacity increases to give your applications the reliability, scalability, and security they need.
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