Acta Scientiarum Naturalium Universitatis Pekinensis

Previous Articles     Next Articles

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

XU Chunxiang1,2, QU Wanling1,2, WANG Hanpin1,2, ZHU Meixia1,2   

  1. 1. Institute of Software, School of Electronics Engineering and Computer Science, Peking University, Beij ing 100871; 2. Key Laboratory of High Confidence Software Technologies, Ministry of Education, Beij ing 100871;
  • Received:2009-02-18 Online:2010-03-20 Published:2010-03-20



  1. 1. 北京大学信息科学技术学院软件研究所,北京 100871; 2. 教育部高可信软件技术重点实验室, 北京100871;

Abstract: 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.

Key words: Web service, dead path elimination, modeling, DPE net

摘要: 提出一种新的模型???DPE 网, 用于描述死路删除语义下的WS-BPEL 流程。DPE 网中引入了颜色集 CTRL 和 STAT 以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模, 从而得到更为直观的模型。基于DPE 网, 不仅描述了WS-BPEL 流程的基本控制流, 包括基本活动和各种结构化活动, 而且描述了WS-BPEL 流程的死路删除语义和较完整的link 语义, 包括join condition 和 transition condition。最后, 通过一个实例说明了使用 DPE 网建模 WS-BPEL 流程, 有助于得到更为准确的分析结果。

关键词: Web服务, 死路删除, 建模, DPE网

CLC Number: