a validating tool of BPEL programme download

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 >

License

GNU General Public License version 2.0 (GPLv2)

Follow a validating tool of BPEL programme

a validating tool of BPEL programme Web Site

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

Similar Business Software

TrustInSoft Analyzer

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers...

See Software
3SL Cradle

Manage needs, epics, user stories, features and the product backlog through a series of sprints, each using your choice of requirements management, model based systems engineering (MBSE) and test management with your preferred level of change tracking, configuration management and formal change...

See Software
Bridge

Bridge is a Learning (LMS) & Employee Development (performance management and skills) platform that uniquely combines learning management, career & skill development, and performance management – all in one easy to use solution. With Bridge, you can consolidate your learning tech stack...

See Software

Report inappropriate content