a validating tool of BPEL programme-开源 时间:2021-05-13 18:36:20 【文件属性】: 文件名称:a validating tool of BPEL programme-开源 文件大小:11.1MB 文件格式:ZIP 更新时间:2021-05-13 18:36:20 开源软件 该项目为基于Pi-calculus以及BPEL和pi-calculus之间的转换的Web服务组合进行形式验证提供了一种工具。 该工具集成了两种形式的验证技术,可以自动验证。 立即下载