死路删除语义下的WS-BPEL流程的建模  

Modeling WS-BPEL Process under the Dead-Path-Elimination

作　　者：徐春香[1,2] 屈婉玲[1,2] 王捍贫[1,2] 朱梅霞[1,2] 

机构地区：[1]北京大学信息科学技术学院软件研究所,北京100871 [2]教育部高可信软件技术重点实验室,北京100871

出　　处：《北京大学学报（自然科学版）》2010年第2期162-170,共9页Acta Scientiarum Naturalium Universitatis Pekinensis

基　　金：国家重点基础研究发展计划项目(2009CB320701);国家自然科学基金(60873061)资助

摘　　要：提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPEL流程的基本控制流,包括基本活动和各种结构化活动,而且描述了WS-BPEL流程的死路删除语义和较完整的link语义,包括join condition和transition condition。最后,通过一个实例说明了使用DPE网建模WS-BPEL流程,有助于得到更为准确的分析结果。A new model named DPE net is advanced for describing the WS-BPEL process under the dead-path-elimination semantics. Color sets CTRL and STAT are introduced to represent the states of activities and status of links within activity flow. This can reduce the scale of the model,thus a more intuitive model can be got. DPE net models for various control structures of WS-BPEL are given, which describe not only basic control flow, including basic activities and structured activities, but also dead path elimination semantics and relatively complete link semantics, including join conditions and transition conditions. Finally,a case study shows that modeling WS-BPEL process with DPE net will help get more accurate analysis results.

关 键 词：WEB服务 死路删除 建模 DPE网 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]