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

Other Useful Business Software

Simple, Secure Domain Registration

Get your domain at wholesale price. Cloudflare offers simple, secure registration with no markups, plus free DNS, CDN, and SSL integration.

Register or renew your domain and pay only what we pay. No markups, hidden fees, or surprise add-ons. Choose from over 400 TLDs (.com, .ai, .dev). Every domain is integrated with Cloudflare's industry-leading DNS, CDN, and free SSL to make your site faster and more secure. Simple, secure, at-cost domain registration.

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

Java, Standard ML

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
Google Cloud BigQuery

BigQuery is a serverless, multicloud data warehouse that simplifies the process of working with all types of data so you can focus on getting valuable business insights quickly. At the core of Google’s data cloud, BigQuery allows you to simplify data integration, cost effectively and securely...

See Software
Twilio Messaging

Twilio's Messaging API is a powerful tool that enables businesses to integrate messaging capabilities into their applications seamlessly. It offers a stable RESTful API that allows developers to send and receive SMS, MMS, and WhatsApp messages globally. With Twilio's Messaging API, businesses...

See Software
Plaid

Plaid is a global fintech infrastructure platform that enables businesses and consumers to securely connect to financial data and services. Through APIs that connect to more than 12,000 financial institutions across 20+ countries, Plaid operates the world’s largest open banking data network. By...

See Software
Ninox

Ninox is your solution for organizing and managing complex data in a structured and efficient way. With its highly flexible user interface, you can analyze, process, and evaluate any type of data. Additionally, the Ninox API enables seamless integration with services like Google for enhanced...

See Software
Guru

Guru is the AI Source of Truth for your company. It’s an AI knowledge platform that connects everything your teams know—across chats, docs, and apps—into one trusted layer that delivers cited, permission-aware answers everywhere you work. Guru automatically connects to tools like Slack,...

See Software