多Web服务组合兼容性的自动化验证

发布时间：2018-01-09 09:26

  本文关键词：多Web服务组合兼容性的自动化验证　出处：《计算机工程与应用》2016年07期 　论文类型：期刊论文

  更多相关文章： Pi演算 Web服务组合 行为兼容性 Web服务行为 自动化验证

【摘要】：Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论的基础上,给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法,通过将多Web服务组合自动转化为Pi演算中的组合进程,实现多Web服务组合的自动化验证。
[Abstract]:The purpose of Web service composition is to realize complex functions that can not be satisfied by a single service, and it is necessary to ensure the correctness of composition to realize service increment. Therefore, the correctness verification after composition is an important research direction of Web service composition. It describes the composition of multiple Web services from the aspect of Web services interaction behavior. Based on the theory of behavior compatibility, an automatic verification algorithm for multi-#en0# service composition behavior compatibility based on Pi calculus is presented. The composition of multiple Web services is automatically transformed into a composition process in Pi calculus to realize the automatic verification of the composition of multiple Web services.
【作者单位】： 渤海大学信息科学与技术学院;哈尔滨工业大学航天学院;
【分类号】：TP393.09
【正文快照】： 1引言同,但对于Web服务组合验证而言,其验证能力基本相Web服务组合是指由各个小粒度的Web服务相互当[3]。基于进程代数的方法由于采用了进程表达式描述之间通信和协作来实现大粒度的服务功能[1]。它包含了系统,其表达能力强而且形式更为简洁,加之进程代数Web服务发现、Web服务

【相似文献】

相关期刊论文 前10条

1 王晓玲,郭志懋,周傲英;Web服务组合的基于文法的消息处理[J];计算机学报;2005年04期

2 王勇;张煜;尹瑞;;Web服务组合中商业事务处理的研究[J];小型微型计算机系统;2006年01期

3 郭玉彬;杜玉越;奚建清;;Web服务组合的有色网模型及运算性质[J];计算机学报;2006年07期

4 刘必欣;周斌;贾焰;;Web服务组合支撑平台StarService Flow的研究与实现[J];计算机工程与科学;2006年12期

5 陈红;;基于参考网的Web服务组合模型[J];计算机应用;2006年12期

6 单保华;韩燕波;李厚福;胡海涛;;一种验证业务级服务组合可执行能力的方法[J];计算机科学;2006年03期

7 廖志军;高春鸣;;基于π演算的异构Web服务组合的互操作[J];中国科技信息;2007年06期

8 周宇;张鹏程;李必信;;一种Web服务组合的数学模型[J];东南大学学报(自然科学版);2007年04期

9 王国法;孙晓亭;王昆;;Web服务组合中的服务选择研究[J];计算机与信息技术;2007年06期

10 成睿星;杨放春;苏森;;基于多重服务范例适应性调整的服务组合[J];软件学报;2008年11期

相关会议论文 前10条

1 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集（研究报告篇）[C];2006年

2 吴亮;袁兆山;;基于模糊Petri网的语义Web服务组合[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

3 赵慧杰;;Web服务的组合计划与优化[A];2007年中国智能自动化会议论文集[C];2007年

4 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年

5 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年

6 付晓东;邹平;;基于元流程的Web服务组合例外处理模型[A];第二十六届中国控制会议论文集[C];2007年

7 江琦;奚宏生;殷保群;;网络新媒体服务系统事件驱动的动态服务组合[A];第二十九届中国控制会议论文集[C];2010年

8 徐明迪;赵恒;张焕国;;面向可靠性的动态Web服务组合选择策略研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

9 周献中;吴奎;萧毅鸿;;基于蚁群算法的Web服务自动组合[A];决策科学与评价——中国系统工程学会决策科学专业委员会第八届学术年会论文集[C];2009年

10 崔倩;申利民;;基于QoS的Web服务组合优化策略[A];全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）[C];2008年

，

本文编号：1400862