基于有色Petri网的BPEL中flow活动建模  

Models of BPEL's flow activity based on color Petri nets

作　　者：王玉英[1,2] 陈平[2] 

机构地区：[1]西安建筑科技大学理学院,西安710055 [2]西安电子科技大学软件工程研究所,西安710071

出　　处：《计算机应用研究》2011年第2期632-635,共4页Application Research of Computers

基　　金：国家"十一五"国防预研基金资助项目( 513060601)

摘　　要：面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。BPEL is often used to describe the composition of Web services,but it is lack of sound formal semantic.Web ser-vices are prone errors.Flow activity is very complicated in BPEL,but it plays an important role in describing Web services.Based on color Petri net,proposed transitions from flow activity to color Petri net models,while considered BPEL activities execute ways and environments.These models are more exacter and can be used to verify and test Web services.

关 键 词：组合服务 BPEL 流程活动 模型 CPN 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]