基于模块化可达图的服务组合验证及BPEL代码生成

摘要：

为了解决基于中介器服务组合方法的状态爆炸和不能自动生成BPEL(business process execution language)的问题,提出了一种基于Petri网模块化可达图的服务组合验证方法.服务组合的Petri网模型通过中介变迁进行模型分割,分别对各个部分构建可达图,再对模块化可达图进行服务组合可行性分析.采用模块化可达图可以大量节省空间开销,有效避免空间爆炸问题.在验证服务组合可行的情况下提出了基于ECA规则形式的BPEL过程代码自动生成方法,也就是将服务组合Petri网模型的中介变迁以及每个服务对外接口的调用或操作都映射生成为ECA规则形式的BPEL代码段.通过对一个电子商务实例进行分析,说明了所提出方法的有效性.

关键词：中介器、服务组合、验证、模块化可达图、ECA规则

所属期刊栏目：21

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

资助基金：the National Natural Science Foundation of China under Grant No.60674080;the National High-Tech Research and Development Plan of China under Grant Nos.2006AA04Z151, 2006AA04Z166 国家高技术研究发展计划863

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

页数：共10页

页码：1810-1819