摘要： 描述了Web 服务业务流程执行语言( BPEL4WS 或 BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性。在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进行建模的算法。然后结合具体实例阐述了利用该算法建模的详细过程,并对所生成的Petri网模型进行了完整性(soundness)验证。

关键词: Petri网, BPEL4WS, WebService, 验证, 完整性

Abstract: The paper presents the modeling method of BPEL4WS (business process execution language for Web Services) based on Petri nets describes the basic structure of business flow using the Petri nets. After the analysis of the structured activities and error handling in business processe defined by BPEL4WS, it gives a modeling algorithm using the Petri nets refinement. Then by a sample, it explains the detailed modeling course usin the algorithm and validates the soundness property of the outcome model.

中图分类号: 

• TP393