文件名称:a validating tool of BPEL programme-开源
文件大小:11.1MB
文件格式:ZIP
更新时间:2024-06-02 12:23:00
开源软件
该项目为基于Pi-calculus以及BPEL和pi-calculus之间的转换的Web服务组合进行形式验证提供了一种工具。 该工具集成了两种形式的验证技术,可以自动验证。
文件名称:a validating tool of BPEL programme-开源
文件大小:11.1MB
文件格式:ZIP
更新时间:2024-06-02 12:23:00
开源软件
该项目为基于Pi-calculus以及BPEL和pi-calculus之间的转换的Web服务组合进行形式验证提供了一种工具。 该工具集成了两种形式的验证技术,可以自动验证。