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

• 作者: 李喜彤 杜彦华 范玉顺
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 中介器 服务组合 验证 模块化可达图 ECA规则
• 年，卷（期）: 2010,（8）
• 页码范围: 1810-1819
• 分类号: TP311
• 字数: 5691字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03618

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范玉顺	清华大学自动化系	188	7334	46.0	81.0
2	杜彦华	北京科技大学机械工程学院	19	157	7.0	12.0
3	李喜彤	清华大学自动化系	4	92	4.0	4.0