BPEL过程一致性度量  

Consistency measurement of BPEL processes

作　　者：张学伟[1] 邢建春[1] 宋巍[2] 王洪达[1] 韩德帅 

机构地区：[1]解放军理工大学国防工程学院,江苏南京210007 [2]南京理工大学计算机科学与工程学院,江苏南京210094

出　　处：《哈尔滨工程大学学报》2015年第6期814-820,共7页Journal of Harbin Engineering University

基　　金：国家自然科学基金资助项目(61202003);国家重点基础研究发展规划资助项目(2015CB352202);武汉大学软件工程国家重点实验室开放基金资助项目(SKLSE2012-09-05)

摘　　要：服务组合和云计算作为面向服务体系结构下资源集成和应用互联的有效手段,使得描述Web服务的BPEL过程产生了众多变种。针对变种整合和变种之间差异检测的问题,研究BPEL过程一致性就很有意义。然而,现有的方法要么仅提供一个"是/否"的定性回答,要么是从控制流层面数量化地度量一致性,导致度量结果不符合用户的预期评判。因此,采用活动间的行为约束作为度量基础,以事件日志中活动的发生概率为权重,一种数值化地度量BPEL过程行为一致性的方法被提出,并且实现了计算一致性的软件工具。通过对6组BPEL过程进行分析,验证了该方法的可行性和有效性,且度量结果符合用户的预期。Service composition and cloud computing as an effective manner for resource integration and application of interconnection make variants of business process execution language（ BPEL） process which describes Web services increase rapidly. The research on the consistency of BPEL processes is significant to integration of variants and detection of differences between variants. However,existing approaches either only resulted in a binary answer or presented the quantitative results at the level of control flow,which resulted in that the measurement results did not conform to the intuition of users. Therefore,this paper proposes a new approach that quantitatively measures behavioral consistency between BPEL processes. It is based on behavioral constraint between activities and the weight of probability of activity occurrence in event logs. A software tool was implemented to automatically calculate consistency degree of BPEL processes. By analyzing consistency of six pairs of BPEL processes,the experimental results verify the feasibility and effectiveness of the proposed approach,and conformity to the intuition of users.

关 键 词：BPEL过程 活动约束图 事件日志 一致性度量 

分 类 号：TP302.1[自动化与计算机技术—计算机系统结构]