web服务组合行为一致性的形式化描述和分析

？web服务编排和web服务编制从全局和局部分别定义了web服务组合的全局交互行为和每个参与者的局部行为,为了保证web服务组合实现的正确性，web服务组合的全局交互行为和每个参与者的局部行为必须是一致的。首先利用进程代数给出了对web服务组合的全局交互行为、局部行为以及二者之间的映射关系的形式化描述，在此基础上分别通过分析全局会话变迁和局部进程变迁的关系和进程互相似理论给出了web服务组合全局交互行为和局部行为的一致性的两个形式化判定准则。同时通过案例说明了如何形式化地检测web服务组合的全局交互行为和局部行为之间的一致性。结果显示提出的web服务组合一致性形式化定义和检测方法能检测组合行为的一致性，从而能有效地保证web服务组合的正确性。