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网