BPEL过程一致性度量

作者：张学伟; 邢建春; 宋巍; 王洪达; 韩德帅

来源：哈尔滨工程大学学报（英文版）, 2015, 36(06): 814-820.

• BPEL过程
• 活动约束图
• 事件日志
• 一致性度量

服务组合和云计算作为面向服务体系结构下资源集成和应用互联的有效手段,使得描述Web服务的BPEL过程产生了众多变种。针对变种整合和变种之间差异检测的问题,研究BPEL过程一致性就很有意义。然而,现有的方法要么仅提供一个"是/否"的定性回答,要么是从控制流层面数量化地度量一致性,导致度量结果不符合用户的预期评判。因此,采用活动间的行为约束作为度量基础,以事件日志中活动的发生概率为权重,一种数值化地度量BPEL过程行为一致性的方法被提出,并且实现了计算一致性的软件工具。通过对6组BPEL过程进行分析,验证了该方法的可行性和有效性,且度量结果符合用户的预期。

• 单位
  解放军理工大学; 南京理工大学