a validating tool of BPEL programme

beta
Add a Review
2 Downloads (This Week)
Last Update:
Download webjetCheck1.0_src.zip
Browse All Files
Windows

Description

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.

a validating tool of BPEL programme Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of a validating tool of BPEL programme!

Additional Project Details

Languages

Chinese (Simplified)

Intended Audience

Customer Service, Quality Engineers

User Interface

Java Swing

Programming Language

Java, Standard ML

Registered

2006-12-12
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.