| Web服务流程的结构范式及其判定算法 |
| |
| 引用本文： | 胡强,杜军威,杜玉越. Web服务流程的结构范式及其判定算法[J]. 计算机学报, 2015, 38(1) |
| |
| 作者姓名： | 胡强 杜军威 杜玉越 |
| |
| 作者单位： | 1. 青岛科技大学信息科学技术学院 山东青岛266061
2. 山东科技大学信息科学与工程学院 山东青岛266590 |
| |
| 基金项目： | 国家“九七三”重点基础研究发展规划项目基金，国家自然科学基金，教育部高等学校博士学科点专项科研基金，山东省自然基金项目，青岛市科技计划基础研究项目，山东科技大学科研创新团队支持计划项目，the National Basic Research Program of China under Grant No.2010CB328101，the National Natural Science Foundation of China under Grant Nos.61170078;61273180，the Doctoral Program of Higher Education of the Specialized Research Fund of China under Grant No.20113718110004，the Natural Science Foundation of Shandong Province under Grant No.ZR2012FL17，the Scientic and Technological Program of Qingdao under Grant No.13-1-4-116-jch |
| |
| 摘 要： | 服务组合是一种利用已有Web服务构建新的增值服务的有效方法,然而当前缺乏对组合产生的服务流程进行结构健壮性层次划分和判定的准则.针对上述问题,提出Web服务流程结构范式,从路径的可达性和结构冗余性两个角度将结构范式划分为四个层次.基于逻辑Petri网建模服务流程为服务网,将服务流程结构范式的判定转化为对服务网组成结构的分析.在服务网的基础上构建控制流网,从而将服务流程中的控制流和数据流进行分离.定义了控制流网语言,并提出一种通过约简求解控制流网语言的方法.通过对控制流网语言中字符序列组成结构特征的分析,获取服务网的结构性质,完成对服务流程结构范式层次的判定.给出了服务流程结构范式的定义、判定定理以及算法,并通过实例验证了文中方法对流程结构范式进行判定的可行性和有效性.
|
| 关 键 词： | Web服务 结构范式 逻辑Petri网 服务网 健壮性 |
The Structure Normal Form of Web Service Processes and Its Testing Algorithm |
| |
| HU Qiang,DU Jun-Wei,DU Yu-Yue. The Structure Normal Form of Web Service Processes and Its Testing Algorithm[J]. Chinese Journal of Computers, 2015, 38(1) |
| |
| Authors: | HU Qiang DU Jun-Wei DU Yu-Yue |
| |
| Abstract: | |
| |
| Keywords: | Web service structure normal form logic Petri net service net soundness |
| 本文献已被 万方数据 等数据库收录！ |
