收藏本站
《小型微型计算机系统》 2015年11期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于模型检测的面向服务软件异常处理可终止性的验证方法

蒋曹清  肖芳雄  应时  文静  
【摘要】:针对面向服务软件异常处理的可终止性难以验证问题,提出一种基于模型检测的验证方法.该方法首先基于已建立的异常处理模型和形式定义的异常处理可终止性,使用ASK-CTL(Computation Tree Logic)刻画异常处理的可终止性,然后基于本文提出的异常处理可终止性的模型检测算法,可获得异常处理可终止性验证结果.最后,结合实例从可行性和有效性角度对验证方法进行实证和评估,结果表明,本方法能有效验证异常处理的可终止性,且具有较好的性能,为进一步分析异常处理的正确性提供支持.

【参考文献】
中国期刊全文数据库 前2条
1 门鹏;段振华;;基于着色Petri网的BPEL建模与验证[J];西北大学学报(自然科学版);2007年06期
2 蒋曹清;应时;文静;贾向阳;王一兵;;面向服务软件中异常处理的形式化建模方法[J];西安交通大学学报;2013年04期
【共引文献】
中国期刊全文数据库 前10条
1 孙军梅;周娇蓉;;基于SPIN的BPEL4WS建模与验证研究[J];杭州师范大学学报(自然科学版);2010年05期
2 吴青;应时;贾向阳;;面向服务软件中基于着色Petri网的异常处理模型[J];计算机科学;2011年04期
3 王权于;应时;吕国斌;罗俊沣;文静;;一种面向服务流程异常处理的策略描述语言[J];计算机科学;2012年02期
4 刘贤;李建华;李向;陈楠;;基于扩展同步Petri网的BPEL建模[J];计算机工程;2011年02期
5 姜梦稚;;TPN和B方法集成的形式化技术在Web Service中的应用[J];计算机应用与软件;2009年11期
6 蒋曹清;应时;文静;贾向阳;管华;;面向服务软件异常处理过程的可终止性验证[J];计算机科学与探索;2012年03期
7 管华;应时;贾向阳;蒋曹清;王一兵;;一种基于CPN的BPEL异常处理逻辑的开发方法[J];计算机科学;2013年01期
8 王进;黄志球;唐佳俊;陈哲;肖芳雄;;BPEL谓词约束建模及可行路径分析[J];计算机研究与发展;2014年04期
9 谭文安;葛铭珏;;一种基于广义随机Petri网的BPEL建模[J];南京师大学报(自然科学版);2014年01期
10 贺志宏;曾庆凯;;基于SPIN的LTL属性分解方法研究[J];计算机应用与软件;2014年07期
中国博士学位论文全文数据库 前10条
1 刘安;Web服务驱动的业务流程的容错性研究[D];中国科学技术大学;2008年
2 陈军华;基于稳定性的客运专线运行图编制与评价问题研究[D];北京交通大学;2009年
3 梁娟珠;空间信息服务链构建关键技术研究及应用[D];福州大学;2011年
4 贾志淳;Web服务故障的诊断方法研究[D];大连海事大学;2013年
5 柳溪;软件服务业务流程设计的若干问题研究[D];南京大学;2012年
6 张大林;静态缺陷检测优化若干关键技术研究[D];北京邮电大学;2014年
7 赵楷;语义编程语言SPL中的异常处理机制研究[D];武汉大学;2011年
8 朱薏;数据库管理系统安全性形式化分析研究[D];华中科技大学;2014年
9 毕敬;云计算环境下服务资源管理若干关键技术研究[D];东北大学;2011年
10 林文敏;云环境下大数据服务及其关键技术研究[D];南京大学;2015年
中国硕士学位论文全文数据库 前10条
1 马文涛;基于Web Services的工作流系统新模型的研究与实现[D];辽宁工程技术大学;2010年
2 王轶;基于颜色Petri网的BPEL自动生成方法[D];北方工业大学;2011年
3 伍明钰;基于Haskell语言的构件化服务组合技术的研究[D];南京邮电大学;2011年
4 郭鹏宇;面向容灾的业务流程管理与恢复技术研究[D];国防科学技术大学;2010年
5 于鹏伟;基于π-演算的WS-BPEL建模与实现[D];西北大学;2009年
6 王怡;基于π-演算的Web服务组合的建模与验证[D];西北大学;2010年
7 程锋涛;基于MWB的BPEL到π演算自动转换工具的研究与实现[D];西北大学;2010年
8 刘哲;基于扩展有色Petri网的组合Web服务的在线测试[D];中南大学;2013年
9 翟桂媛;基于CPN的服务组合流程中隐私数据分析研究[D];内蒙古大学;2014年
10 葛铭珏;基于广义随机Petri网的BPEL工作流可靠性评估模型及应用[D];南京航空航天大学;2014年
【二级参考文献】
中国期刊全文数据库 前7条
1 刘书雷;唐桂芬;刘云翔;陈荦;景宁;;基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法[J];国防科技大学学报;2007年01期
2 孙瑞志,史美林;工作流异常处理的形式描述[J];计算机研究与发展;2003年03期
3 孙健,陶晓峰;基于Petri网的Web服务BPEL4WS建模与分析[J];计算机工程;2004年22期
4 蒋曹清;应时;文静;贾向阳;管华;;面向服务软件异常处理过程的可终止性验证[J];计算机科学与探索;2012年03期
5 舒斌,殷国富,戈鹏,龙红能;基于知识的敏捷工作流系统建模方法的研究[J];西安交通大学学报;2002年07期
6 张力;赵宗涛;慕晓冬;邵军勇;;一种分析作战指控并发信息流的Petri网模型[J];西北大学学报(自然科学版);2006年01期
7 门鹏;段振华;;基于着色Petri网的BPEL建模与验证[J];西北大学学报(自然科学版);2007年06期
【相似文献】
中国期刊全文数据库 前10条
1 丁月华;应时;贾向阳;王一兵;;一种基于异常分类的面向服务异常处理方法[J];计算机技术与发展;2012年12期
2 蔡国永,王志华;异常处理技术及其编程应用[J];桂林电子工业学院学报;2000年01期
3 吴珍发;VB.NET中的异常处理技术研究[J];莆田学院学报;2004年03期
4 杨仕平,熊光泽,桑楠;实时异常处理技术的探讨[J];计算机工程;2004年21期
5 唐锋;武成岗;张兆庆;杨浩;;二进制翻译应用级异常处理[J];计算机研究与发展;2006年12期
6 张琼露;祝沙沙;张穹建;;VEH(Vectored Exception Handling)[J];信息与电脑(理论版);2010年09期
7 夏开峰;;高职《C#程序设计》教学设计——以“异常处理”为例[J];计算机光盘软件与应用;2013年18期
8 王侠;Java的异常处理和应用[J];辽宁财专学报;2003年05期
9 姜淑娟;徐宝文;;一种异常处理策略的评测方法(英文)[J];Journal of Southeast University(English Edition);2007年04期
10 吴金秀;;Java语言中异常的研究[J];软件导刊;2008年09期
中国重要会议论文全文数据库 前3条
1 王鹏飞;张大方;缪力;;包含异常处理的Java程序切片[A];第三届中国测试学术会议论文集[C];2004年
2 曹维雅;史章峰;;DCS系统维护之我见[A];全国发电厂分散控制系统与厂级监控系统技术研讨会论文集[C];2004年
3 郭广军;羊四清;戴经国;贺文华;;Java异常处理技术及EJB中的应用[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
中国博士学位论文全文数据库 前3条
1 尚宗敏;智能流程异常处理的若干关键技术研究[D];山东大学;2009年
2 李东来;服务资源不确定性问题及其引发的异常处理方法研究[D];中国科学院研究生院(计算技术研究所);2006年
3 唐锋;动态二进制翻译优化研究[D];中国科学院研究生院(计算技术研究所);2006年
中国硕士学位论文全文数据库 前8条
1 刘明涛;BCSEP中异常处理机制的研究与实现[D];东北大学;2008年
2 徐彰杰;基于BPEL的Web服务组合异常处理方法研究与实现[D];西北大学;2010年
3 郎新科;批量生产控制中的配方分析与异常处理[D];河南科技大学;2013年
4 耿耀君;Java程序中异常流的测试与可视化研究[D];西安电子科技大学;2008年
5 郭斌;一种工作流异常处理模型研究[D];华中科技大学;2004年
6 杜淼;智能流程模式下的流程执行及异常处理的研究[D];山东大学;2008年
7 王鹏飞;包含异常处理的Java程序切片研究[D];湖南大学;2005年
8 金义星;管控Agent社交行为的基础结构研究[D];浙江大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026