Web服务流程的结构范式及其判定算法
发布时间:2018-01-10 16:30
本文关键词:Web服务流程的结构范式及其判定算法 出处:《计算机学报》2015年01期 论文类型:期刊论文
更多相关文章: Web服务 结构范式 逻辑Petri网 服务网 健壮性
【摘要】:服务组合是一种利用已有Web服务构建新的增值服务的有效方法,然而当前缺乏对组合产生的服务流程进行结构健壮性层次划分和判定的准则.针对上述问题,提出Web服务流程结构范式,从路径的可达性和结构冗余性两个角度将结构范式划分为四个层次.基于逻辑Petri网建模服务流程为服务网,将服务流程结构范式的判定转化为对服务网组成结构的分析.在服务网的基础上构建控制流网,从而将服务流程中的控制流和数据流进行分离.定义了控制流网语言,并提出一种通过约简求解控制流网语言的方法.通过对控制流网语言中字符序列组成结构特征的分析,获取服务网的结构性质,完成对服务流程结构范式层次的判定.给出了服务流程结构范式的定义、判定定理以及算法,并通过实例验证了文中方法对流程结构范式进行判定的可行性和有效性.
[Abstract]:Service composition is an effective way to construct new value-added services by using the existing Web services, but the lack of the combination of service flow structure hierarchy and robustness criteria. Aiming at these problems, put forward the Web service flow structure paradigm, from the path of accessibility and redundancy structure of the two perspectives of structure paradigm divided into four levels. The logical Petri net modeling service flow based on service network, the service flow structure paradigm judgment into the structure analysis of the service network. Construction control net based on service network, which will control the flow and data of service process flow separation. The definition of control net language. And put forward a method to control the net language through the reduction of solution. Through the analysis of structure characteristics of character control net language sequence, structure and properties of network access services, Determine the service process structure paradigm level. Definition of the service flow structure paradigm, theorems and algorithms, and proves the method to determine the feasibility and effectiveness of the process structure paradigm.
【作者单位】: 青岛科技大学信息科学技术学院;山东科技大学信息科学与工程学院;
【基金】:国家“九七三”重点基础研究发展规划项目基金(2010CB328101) 国家自然科学基金(61170078,61273180) 教育部高等学校博士学科点专项科研基金(20113718110004) 山东省自然基金项目(ZR2012FL17) 青岛市科技计划基础研究项目(13-1-4-116-jch) 山东科技大学科研创新团队支持计划项目(2011KYTD102)资助~~
【分类号】:TP393.09
【正文快照】: 1引言随着云计算、物联网以及移动互联网等新一代信息技术的成熟与应用的普及,软件开发和交付模式呈现出明显的服务化特征.作为一种成熟的服务计算实现模式,Web服务是SOA模式软件开发的首选.Web服务在网络化软件的构建中存在两种使用方式:原子Web服务调用和组合Web服务流程.通
【参考文献】
相关期刊论文 前6条
1 李喜彤;范玉顺;;Web服务流程相容性和相似性分析[J];计算机学报;2009年12期
2 林闯;万剑雄;向旭东;孟坤;王元卓;;计算机系统与计算机网络中的动态优化:模型、求解与应用[J];计算机学报;2012年07期
3 宋巍;唐金辉;张功萱;马晓星;;WS-BPEL服务可替换性分析[J];中国科学:信息科学;2012年03期
4 雷丽晖;段振华;;一种基于扩展有限自动机验证组合Web服务的方法[J];软件学报;2007年12期
5 邓水光;李莹;吴健;邝砾;吴朝晖;;Web服务行为兼容性的判定与计算[J];软件学报;2007年12期
6 门鹏;段振华;;广义随机Petri网下的组合Web服务建模与评价[J];西安交通大学学报;2008年08期
【共引文献】
相关期刊论文 前10条
1 金f,
本文编号:1405963
本文链接:https://www.wllwen.com/guanlilunwen/ydhl/1405963.html