windows9download

You Here : Home > Linux

a validating tool of BPEL programme beta

OS Support:

32-bit MS Windows (NT/2000/XP)


Publisher

Old version

Update:

July 29 2011

Download:

a validating tool of BPEL programme beta


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.


Related Downloads


Software Tags

A Validating Tool Of Bpel Programme

Size : 11.6 MB

Next/Pre