一种时序约束下的Web服务组合兼容性的定量验证方法

发布时间：2017-08-31 11:29

  本文关键词：一种时序约束下的Web服务组合兼容性的定量验证方法

  更多相关文章： 服务组合 时序约束 定量时序兼容性 正态分布

【摘要】：为了增强服务组合的Qo S特性,迫切需要在流程设计层面验证时序约束兼容性。针对工作流中常见的纯顺序、并发与选择结构,估算了其概率分布,进而提出了一种基于概率的、定量检验服务组合的时序兼容性的方法。通过案例分析与性能测试验证了其有效性。
【作者单位】： 桂林理工大学信息科学与工程学院;
【关键词】： 服务组合 时序约束 定量时序兼容性 正态分布
【基金】：国家自然科学基金项目(51365010) 广西自然科学基金项目(2014GXNSFBA118269) 广西教育厅科研项目(201106LX251)
【分类号】：TP393.09
【正文快照】： 作为一种基于现有互联网协议与公开标准的自包含、自描述、模块化的应用,Web服务成为设计复杂商务应用的主要技术之一,而服务组合是研究服务技术的关键之一。为了增强服务组合的正确性及Qo S特性,在流程设计层面的时间约束下的兼容性验证与错误检测正受到越来越多的关注。当前

【参考文献】

中国期刊全文数据库 前1条

1 徐红霞;杜彦华;董绍华;;时序约束下Web服务组合的兼容性及修正研究[J];计算机集成制造系统;2012年11期

【共引文献】

中国期刊全文数据库 前2条

1 马昌威;马洪江;;基于接口自动机的混合Web服务组合方法[J];计算机应用;2014年06期

2 梁合兰;杜彦华;李苏剑;;基于协同进化的松弛时序约束多服务流程优化[J];计算机集成制造系统;2015年08期

中国博士学位论文全文数据库 前1条

1 陈学海;基于语义网关的离散制造执行系统可重构体系与关键技术研究[D];重庆大学;2014年

【二级参考文献】

中国期刊全文数据库 前4条

1 王志坚;程永上;徐经纬;;Web服务组合语义一致性验证研究[J];计算机集成制造系统;2009年01期

2 邓水光;黄龙涛;尹建伟;李莹;吴健;;Web服务组合技术框架及其研究进展[J];计算机集成制造系统;2011年02期

3 张松年;庄雷;杜娟;;时间自动机可达性分析算法的改进[J];计算机工程与科学;2007年10期

4 杜彦华;范玉顺;李喜彤;;基于模块化可达图的服务组合验证及BPEL代码生成[J];软件学报;2010年08期

【相似文献】

中国期刊全文数据库 前10条

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

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

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

4 蒋运承;汤庸;;服务组合的质量估计模型[J];小型微型计算机系统;2006年08期

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

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

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

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

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

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

中国重要会议论文全文数据库 前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 徐其兴;余镇危;;一种基于移动Agent的服务组合模型[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

中国重要报纸全文数据库 前5条

1 本报记者 张茜 通讯员 孟庆超;打好服务组合拳助力民企大发展[N];莱芜日报;2014年

2 记者 俞永均 通讯员 方平原 王芬;外经贸部门打出金融服务组合拳[N];宁波日报;2012年

3 高智 本报记者 王彤;许昌保险业:亮出服务组合拳[N];中国保险报;2014年

4 沈建苗 编译;利用现有服务构建SOA应用[N];计算机世界;2006年

5 记者 萧雨林 通讯员 张兴汉 郭毕;打好服务组合拳 提质增效站排头[N];襄阳日报;2014年

中国博士学位论文全文数据库 前10条

1 冯名正;Web服务组合关键技术研究[D];东南大学;2006年

2 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

3 周涛;基于策略的服务组合关键技术研究及应用[D];浙江大学;2012年

4 吴钟;面向多边协同的Web服务组合市场决策与优化管理研究[D];武汉理工大学;2013年

5 胡佳;语义Web服务自动组合及验证的研究[D];天津大学;2010年

6 马小宁;铁路信息共享的Web服务组合关键技术研究[D];北京交通大学;2010年

7 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年

8 刘莉平;动态Web服务组合关键技术研究[D];中南大学;2011年

9 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年

10 张杨;语义Web服务组合的可信性度量研究[D];重庆大学;2011年

中国硕士学位论文全文数据库 前10条

1 刘磊;Web服务组合的性质检验与实现[D];电子科技大学;2009年

2 史斌;对等模式下个性化Web服务组合和匹配算法研究[D];山东大学;2009年

3 陈阳;Web服务组合模型及相关技术的研究[D];哈尔滨工程大学;2008年

4 周真建;语义Web服务组合的挖掘[D];南昌大学;2009年

5 魏守贤;动态服务组合在社区服务平台中的研究与应用[D];浙江工商大学;2011年

6 朱嘉鲁;基于移动Agent的Web服务组合[D];中国科学院研究生院（成都计算机应用研究所）;2006年

7 褚娟;Web服务组合的全局约束分析[D];山东大学;2007年

8 宋驰;基于用户偏好的启发式Web服务组合的研究与实现[D];北京邮电大学;2008年

9 张健;普适环境下一种分布式可靠服务组合机制研究[D];上海交通大学;2010年

10 余洋;Web服务组合的调解技术研究与应用[D];解放军信息工程大学;2011年

，

本文编号：765337