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.
Release Date:
2006-12-13
Topics:
License:
Operating System:
Translations:
Intended Audience:
User Interface:
Programming Language:
Registered:
2006-12-12
Ratings and Reviews
Be the first to post a text review of a validating tool of BPEL programme. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
Anonymous committed patchset 1 of module CVSROOT to the a validating tool of BPEL programme CVS repository, changing 11 files -
webjetchecker1.0 webjetCheck1.0_src.zip file released: webjetCheck1.0_src.zip
-
File released: /webjetchecker1.0/webjetCheck1.0_src.zip/webjetCheck1.0_src.zip
-
Project Information Updated
timothy_ly registered the a validating tool of BPEL programme project -
Forum thread added
Anonymous created the Welcome to Help forum thread -
Forum thread added
Anonymous created the Welcome to Open Discussion forum thread -
Forum thread added
Anonymous created the Welcome to Developers forum thread
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
-
Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
a validating tool of BPEL programme Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
