基于Petri网的BPEL4WS模型的分析  

Analysis of BPEL4WS model based on Petri net

作　　者：赵晓明[1] 谭浩[1] 

机构地区：[1]电子科技大学计算机学院,四川成都610054

出　　处：《成都信息工程学院学报》2006年第4期488-492,共5页Journal of Chengdu University of Information Technology

摘　　要：描述了Web服务业务流程执行语言(BPEL4WS)的Petri网模型,并提出了模型的化简规则,用于验证模型中的死锁和乏同步两种结构冲突。最后结合一个业务过程实例,进行建模和化简。The BPEI4WS model based on Petri net is presented and a set of simplification rules is given to verify two structure conflicts of the model, i.e. deadlock and lack of synchronization. According to these rules a procedure net example is modeled and simplified.

关 键 词：WEB服务业务流程执行语言 PETRI网 工作流 工作流网 化简规则 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]