论文部分内容阅读
为了保证Web服务组合执行获得正确一致的结果，用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范（Web services transaction，WS—TX），提出了一种由业务流程执行语（business process execution language，BPEL）自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法，阐述了如何由BPEL描述的业务流程建立服务协调事务模型，进一步给出了自动生成该协调模型的算法描述，并通过具体实例说明了该方