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

nel_h2
Gen AI apps are built with MongoDB Atlas Icon
Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
Start Free
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

Java, Standard ML

Related Categories

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

Registered

2006-12-12
Report inappropriate content