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

摘要：

面向Web服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务.基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程到有色赋时Petri网模型的转换方法.在转换过程中考虑了BPEL活动的执行方式和执行环境,如时间、环境属性等,给出了更为精确的模型,为更好地使用工具和现有方法验证和测试Web组合服务奠定了基础.并给出了这种转换方法的应用实例.

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

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2011-01-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：152-155