基于Petri网的Web服务BPEL4WS建模与分析  

Modeling and Analysis of BPEL4WS Based on Petri Nets

作　　者：孙健[1] 陶晓峰[1] 

机构地区：[1]同济大学计算机科学与工程系,上海200092

出　　处：《计算机工程》2004年第22期14-16,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(2001AA413020)

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

关 键 词：PETRI网 WEB 建模方法 BPEL4WS 工作流网 

分 类 号：TP183[自动化与计算机技术—控制理论与控制工程]