收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种基于NuSMV模型检测的服务组合编制方法

孙杰  蒋静  郭晓华  潘娜娜  
【摘要】:给出了基于模型检测服务组合方法,该方法形式化定义Web服务以及服务组合模型,使用计算树逻辑描述服务组合模型交互的控制流程,使用符号模型检测工具NuSMV自动检测服务组合模型的总体目标与服务交互的正确性。并通过一个具体案例验证了该服务组合编制方法的正确性和可行性,成功生成一个服务编制器。该方法可以有效缓解服务组合过程中状态爆炸问题,从而降低企业的开发成本及风险。

知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 成睿星;杨放春;苏森;;基于多重服务范例适应性调整的服务组合[J];软件学报;2008年11期
12 高云全;;一种动态的Web服务组合及其实现[J];科技广场;2008年10期
13 张立敏;高春鸣;蔡美玲;;Web服务组合运行时的容错处理[J];计算机工程与应用;2008年03期
14 汤萍萍;王红兵;;基于强化学习的Web服务组合[J];计算机技术与发展;2008年03期
15 钟读杭;齐治昌;徐锡山;;基于冗余的Web服务组合可靠性优化方法[J];计算机工程;2008年04期
16 陈香兰;李曦;龚育昌;;服务组合中一种静态基础服务部署研究[J];小型微型计算机系统;2008年04期
17 冯兴智;姚学斌;吴泉源;贾焰;周斌;;一种动态服务组合中的相容性模型[J];计算机研究与发展;2008年S1期
18 陈香兰;李曦;龚育昌;;服务组合中一种服务组合路径优化方法研究[J];小型微型计算机系统;2008年09期
19 邹方;高春鸣;;Web服务组合运行中的容错架构[J];计算机工程;2008年18期
20 龚小勇;朱庆生;武春岭;李林;;支持服务质量全局最优和动态重计划的Web服务组合[J];计算机集成制造系统;2008年10期
中国重要会议论文全文数据库 前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];决策科学与评价——中国系统工程学会决策科学专业委员会第八届学术年会论文集[C];2009年
9 徐其兴;余镇危;;一种基于移动Agent的服务组合模型[A];2006年全国开放式分布与并行计算学术会议论文集(二)[C];2006年
10 徐明迪;赵恒;张焕国;;面向可靠性的动态Web服务组合选择策略研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
中国博士学位论文全文数据库 前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年
中国重要报纸全文数据库 前5条
1 本报记者 张茜 通讯员 孟庆超;打好服务组合拳助力民企大发展[N];莱芜日报;2014年
2 记者 俞永均 通讯员 方平原 王芬;外经贸部门打出金融服务组合拳[N];宁波日报;2012年
3 高智 本报记者 王彤;许昌保险业:亮出服务组合拳[N];中国保险报;2014年
4 沈建苗 编译;利用现有服务构建SOA应用[N];计算机世界;2006年
5 记者 萧雨林 通讯员 张兴汉 郭毕;打好服务组合拳 提质增效站排头[N];襄阳日报;2014年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978