会议论文《一种基于并发的BPEL控制流模型的分析及验证》发表于第六届中国测试学术会议，探讨了BPEL语言中并发控制流的建模与验证方法。该文提出了一种改进的控制流模型，能够更准确地描述和分析BPEL流程中的并发行为，提升了服务组合的正确性与可靠性。研究通过形式化方法对模型进行验证，为复杂业务流程的测试与优化提供了理论支持。
文档为pdf格式，0.39MB，总共6页。
举报
