基于赋时有色Petri网的Web组合服务建模  

Models of Web Services Composition Based on Timed Color Petri Nets

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

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

出　　处：《计算机科学》2010年第10期152-155,共4页Computer Science

基　　金：国家十一五国防预研项目(513060601);校基础研究基金(A12035)资助

摘　　要：面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程到有色赋时Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如时间、环境属性等,给出了更为精确的模型,为更好地使用工具和现有方法验证和测试Web组合服务奠定了基础。并给出了这种转换方法的应用实例。BPEL is often used to describe the composition of Web Services,but it is lack of sound formal semantic.Web services were prone errors.Based on Timed Color Petri Net,transitions from Web Services which was described using BPEL to Timed Color Petri Net models were proposed,while BPEL activities execute ways and environments were considered.The models we get are more exacter and can be used to verify and test Web Service.An instance of this transition were given.

关 键 词：组合服务 BPEL 模型 流程验证 

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