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