主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2020年专刊出版计划 微信服务介绍 最新一期:2019年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
杜彦华,范玉顺,李喜彤.基于模块化可达图的服务组合验证及BPEL代码生成.软件学报,2010,21(8):1810-1819
基于模块化可达图的服务组合验证及BPEL代码生成
Verifying Service Composition Based on Modular Reachability Graph and Generating BPEL Codes
投稿时间:2008-10-08  修订日期:2009-03-31
DOI:
中文关键词:  中介器  服务组合  验证  模块化可达图  ECA规则
英文关键词:mediator  service composition  verification  modular reachability graph  ECA rule
基金项目:Supported by 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))
作者单位
杜彦华 北京科技大学 机械工程学院,北京 100083 
范玉顺 清华大学 自动化系,北京 100084 
李喜彤 清华大学 自动化系,北京 100084 
摘要点击次数: 4108
全文下载次数: 3826
中文摘要:
      为了解决基于中介器服务组合方法的状态爆炸和不能自动生成BPEL(business process execution language)的问题,提出了一种基于Petri网模块化可达图的服务组合验证方法.服务组合的Petri网模型通过中介变迁进行模型分割,分别对各个部分构建可达图,再对模块化可达图进行服务组合可行性分析.采用模块化可达图可以大量节省空间开销,有效避免空间爆炸问题.在验证服务组合可行的情况下提出了基于ECA规则形式的BPEL过程代码自动生成方法,也就是将服务组合Petri网模型的中介变迁以及每个服务对外接口的调用或操作都映射生成为ECA规则形式的BPEL代码段.通过对一个电子商务实例进行分析,说明了所提出方法的有效性.
英文摘要:
      To address state space explosion and the inability to automatically generate the BPEL (business process execution language) codes of the existing methods of composing services based on mediators, this paper presents an approach to verify the Petri net models of service composition by modular reachability graphs. In this approach, the Petri net models of service composition are divided into sub-models in a modular way, and verify the feasibility of composition by analyzing the state spaces of individual sub-models, without unfolding to the ordinary state space. Using this modular technique can avoid the state space explosion. After verification of the feasibility, the paper proposes a method of automatically generating the BPEL codes of the whole composite service from the Petri net models of composition. The main idea is to generate the BEPL codes from the fused transitions between the sub-models based on ECA rules. Finally, an application of the methods is illustrated though a case study in an e-business enterprise.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利