服务计算异常处理关键技术研究

发布时间：2017-04-09 08:04

  本文关键词：服务计算异常处理关键技术研究，，由笔耕文化传播整理发布。

【摘要】：随着面向服务的体系架构SOA和面向服务的计算技术SOC成为国内外软件工程领域研究和实践的热点,围绕服务计算异常处理技术的研究工作得到了国内外学术界和工业界的广泛关注。异常处理技术是提高系统可用性和可靠性的一种重要手段,使系统在部分服务失效时仍然能执行并完成其部分功能。因此,一套完善的服务计算异常处理机制对于提高面向服务的应用系统的可信性至关重要。在服务计算这种新的计算范型下,软件的形态发生了变化,使得对异常的处理更加具有挑战性。如何使用服务计算相关理论和异常处理技术构建可用和可靠的软件系统是具有重要意义和实践价值的研究课题。尽管服务计算异常处理技术的研究取得了不少成果,但是仍面临诸多挑战和亟待解决的问题。本论文围绕这些问题进行研究,主要研究内容如下。1.针对现有服务计算异常形式化描述方法过于繁琐和复杂的问题,提出基于谓词逻辑的对异常处理过程、策略和条件等进行形式化描述的方法,并结合状态转换图和ECA规则对异常处理的过程进行直观和形象地表示,有利于对复杂的异常处理逻辑的理解和实现。作为服务计算异常处理形式化描述的基础,在对服务和异常等概念进行定义的基础上,设计异常处理的基本策略,并使用状态转换图和ECA规则相结合的方法,对这些基本策略进行描述。最后,在案例中应用所设计的异常处理策略进行异常的处理,验证了这些策略在异常恢复过程中是有效的。2.给出一种具有异常处理能力的服务协同计算建模语言CCML-E。对服务协同计算模型的端口、控制流规则、端口绑定规则和流程结构进行扩展,建立异常处理模型CCM-E。设计CCML-E语言中异常类型、异常捕获和处理语句、异常抛出语句等语言要素,使CCML-E具备异常处理的能力。参考Java语言的异常处理机制,对CCML-E的异常处理机制进行设计。采用基于XML的格式对CCML-E进行表示,相对于文本格式,具有易读、格式化等优点,且易于实现对CCML-E程序的解析和执行。3.在对服务计算异常进行深入分析的基础上,以服务不可用异常为例给出服务计算异常的检测和处理方法。建立异常事件通知模型,用于在服务发生变更或业务需求改变时,通知使用该服务的系统,实现对服务动态变更的有效控制。提出基于OCL的服务描述模型OSDL,克服了通用服务描述模型对服务行为约束和非功能属性信息描述的不足。基于服务描述模型OSDL,通过将业务需求规则与服务的功能属性和非功能属性进行匹配完成服务可用性异常的检测,实现对服务不可用异常的预测和避免。设计服务不可用异常处理模型,对不可用的服务进行等价替换,以尽可能小的代价恢复服务流程运行并尽量保留已执行部分的结果。4.利用Java语言实现CCML-E的建模支持环境,为CCML-E语言提供建模支持,设计基于CCML-E语言的异常处理体系结构并将其与建模支持环境进行松耦合集成。在服务协同计算编排中,添加用于实现异常处理逻辑的基本图符和可视化的异常处理结构,在服务可视化建模阶段就可以加入异常处理逻辑的框架,实现异常处理逻辑的可视化展示。对服务协同计算建模支持环境进行了必要的扩展,为CCML-E程序提供包括异常处理逻辑的设计在内的程序开发、异常检测、异常恢复等核心功能的基础软件设施。5.给出一个面向服务应用的异常处理建模案例,采用CCML-E语言描述系统的业务流程,并对服务交互过程中可能产生的异常进行建模,利用CCML-E的异常处理结构实现异常的捕获和处理。利用Java开发环境和DOM4J解析器实现基于XML格式的CCML-E代码的解析和执行。通过对执行结果进行分析,验证CCML-E的异常处理机制的可行性和有效性,实现异常的有效捕获和处理。本论文对服务计算异常处理关键技术进行研究,为解决服务计算异常处理所面临的问题提供了参考,对提高面向服务应用的可用性和可信性具有重要意义。
【关键词】：服务计算 异常处理 形式化描述 异常检测 服务不可用异常
【学位授予单位】：大连海事大学
【学位级别】：博士
【学位授予年份】：2015
【分类号】：TP311.52
【目录】：

• 创新点摘要5-6
• 摘要6-8
• Abstract8-14
• 第1章 绪论14-33
• 1.1 研究背景及意义14-16
• 1.2 国内外研究现状16-29
• 1.2.1 服务计算与服务计算异常研究16-21
• 1.2.2 服务计算异常捕获和检测方法研究21-22
• 1.2.3 服务计算异常处理方法研究22-28
• 1.2.4 研究基础28-29
• 1.3 主要研究内容29-31
• 1.4 论文组织与结构31-32
• 1.5 本章小结32-33
• 第2章 服务计算异常处理策略及其形式化描述33-44
• 2.1 服务计算异常定义34-37
• 2.2 服务计算异常处理策略及其形式化描述37-39
• 2.3 异常处理策略在旅程规划复合服务中的应用39-43
• 2.3.1 旅程规划复合服务实例39-40
• 2.3.2 使用异常处理动作处理异常40-43
• 2.4 本章小结43-44
• 第3章 具有异常处理能力的服务协同计算建模语言CCML-E44-57
• 3.1 服务计算建模工具或语言的异常处理44-46
• 3.2 服务协同计算异常处理模型CCM-E46-50
• 3.2.1 异常数据传送端口48
• 3.2.2 用于异常处理的服务交互规则48-49
• 3.2.3 异常处理器结构设计49-50
• 3.3 具有异常处理能力的服务协同计算建模语言CCML-E50-56
• 3.3.1 异常数据类型50-51
• 3.3.2 异常抛出操作51-52
• 3.3.3 异常捕获和处理操作52-53
• 3.3.4 异常处理器的CCML-E描述53-56
• 3.4 本章小结56-57
• 第4章 服务计算异常检测与处理方法57-78
• 4.1 服务计算异常分析57-59
• 4.2 服务计算异常预测与处理方法框架59-60
• 4.3 服务不可用异常事件通知模型60-66
• 4.3.1 异常事件发布与订阅60-65
• 4.3.2 异常事件管理65-66
• 4.4 服务不可用异常的检测66-74
• 4.4.1 基于OCL的服务描述语言66-69
• 4.4.2 功能匹配检测69-71
• 4.4.3 非功能匹配检测71-73
• 4.4.4 服务重新选取73-74
• 4.5 服务不可用异常处理模型74-77
• 4.5.1 服务不可用异常处理方法74
• 4.5.2 不可用服务替换模型74-77
• 4.6 本章小结77-78
• 第5章 CCML-E语言的建模支持环境78-88
• 5.1 CCML-E语言建模支持环境的体系结构78-81
• 5.1.1 CCML建模支持环境78-79
• 5.1.2 CCML-E语言建模支持环境79-81
• 5.2 异常处理功能在CCML-E建模支持环境中的实现81-84
• 5.2.1 图形编辑界面的实现81-82
• 5.2.2 异常处理逻辑的实现82-84
• 5.3 基于Agent的异常处理系统84-87
• 5.3.1 基于Agent的异常处理系统体系结构84-86
• 5.3.2 Agent之间的通信86-87
• 5.3.3 基于Agent的异常处理过程87
• 5.4 本章小结87-88
• 第6章 案例研究-旅游行程规划和预订系统中的异常处理88-105
• 6.1 旅程规划和预订系统案例说明88-91
• 6.2 旅程规划和预订系统的CCML-E描述91-95
• 6.3 旅程规划和预订系统的异常处理逻辑95-100
• 6.4 旅程规划和预订系统的异常捕获示例100-104
• 6.5 本章小结104-105
• 第7章 总结与展望105-108
• 7.1 论文总结105-107
• 7.2 未来研究展望107-108
• 参考文献108-118
• 攻读学位期间发表的论文118-119
• 致谢119-120
• 作者简介120

【参考文献】

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

1 孙瑞志,史美林;工作流异常处理的形式描述[J];计算机研究与发展;2003年03期

2 杨厚群;陈静;;Java异常处理机制的研究[J];计算机科学;2007年03期

3 吴青;应时;贾向阳;;面向服务软件中基于着色Petri网的异常处理模型[J];计算机科学;2011年04期

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

5 胡建强,邹鹏,王怀民,周斌;Web服务描述语言QWSDL和服务匹配模型研究[J];计算机学报;2005年04期

6 尚宗敏;崔立真;王海洋;史玉良;;基于补偿业务生成图的组合服务异常处理方法研究[J];计算机学报;2008年08期

7 单锦辉;徐克俊;王戟;;一种软件故障诊断过程框架[J];计算机学报;2011年02期

8 赵红侠;姜淑娟;牟春雷;;基于多Agent的Web服务异常处理模型[J];计算机应用与软件;2010年01期

9 王权于;吕国斌;应时;周峰;;一种策略驱动的BPEL流程异常处理框架[J];计算机科学;2015年01期

10 王延翔;杨金民;;基于分层分类的J2EE应用系统异常处理方法[J];计算机应用研究;2015年03期

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

1 张秀国;基于过程网络的服务协同计算模型研究[D];大连海事大学;2006年

2 邓水光;Web服务自动组合与形式化验证的研究[D];浙江大学;2007年

3 尚宗敏;智能流程异常处理的若干关键技术研究[D];山东大学;2009年

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

5 赵楷;语义编程语言SPL中的异常处理机制研究[D];武汉大学;2011年

  本文关键词：服务计算异常处理关键技术研究，由笔耕文化传播整理发布。

本文编号：294788