本文關鍵詞：服務計算異常處理關鍵技術研究，，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著面向服務的體系架構SOA和面向服務的計算技術SOC成為國內(nèi)外軟件工程領域研究和實踐的熱點,圍繞服務計算異常處理技術的研究工作得到了國內(nèi)外學術界和工業(yè)界的廣泛關注。異常處理技術是提高系統(tǒng)可用性和可靠性的一種重要手段,使系統(tǒng)在部分服務失效時仍然能執(zhí)行并完成其部分功能。因此,一套完善的服務計算異常處理機制對于提高面向服務的應用系統(tǒng)的可信性至關重要。在服務計算這種新的計算范型下,軟件的形態(tài)發(fā)生了變化,使得對異常的處理更加具有挑戰(zhàn)性。如何使用服務計算相關理論和異常處理技術構建可用和可靠的軟件系統(tǒng)是具有重要意義和實踐價值的研究課題。盡管服務計算異常處理技術的研究取得了不少成果,但是仍面臨諸多挑戰(zhàn)和亟待解決的問題。本論文圍繞這些問題進行研究,主要研究內(nèi)容如下。1.針對現(xiàn)有服務計算異常形式化描述方法過于繁瑣和復雜的問題,提出基于謂詞邏輯的對異常處理過程、策略和條件等進行形式化描述的方法,并結合狀態(tài)轉換圖和ECA規(guī)則對異常處理的過程進行直觀和形象地表示,有利于對復雜的異常處理邏輯的理解和實現(xiàn)。作為服務計算異常處理形式化描述的基礎,在對服務和異常等概念進行定義的基礎上,設計異常處理的基本策略,并使用狀態(tài)轉換圖和ECA規(guī)則相結合的方法,對這些基本策略進行描述。最后,在案例中應用所設計的異常處理策略進行異常的處理,驗證了這些策略在異�；謴瓦^程中是有效的。2.給出一種具有異常處理能力的服務協(xié)同計算建模語言CCML-E。對服務協(xié)同計算模型的端口、控制流規(guī)則、端口綁定規(guī)則和流程結構進行擴展,建立異常處理模型CCM-E。設計CCML-E語言中異常類型、異常捕獲和處理語句、異常拋出語句等語言要素,使CCML-E具備異常處理的能力。參考Java語言的異常處理機制,對CCML-E的異常處理機制進行設計。采用基于XML的格式對CCML-E進行表示,相對于文本格式,具有易讀、格式化等優(yōu)點,且易于實現(xiàn)對CCML-E程序的解析和執(zhí)行。3.在對服務計算異常進行深入分析的基礎上,以服務不可用異常為例給出服務計算異常的檢測和處理方法。建立異常事件通知模型,用于在服務發(fā)生變更或業(yè)務需求改變時,通知使用該服務的系統(tǒng),實現(xiàn)對服務動態(tài)變更的有效控制。提出基于OCL的服務描述模型OSDL,克服了通用服務描述模型對服務行為約束和非功能屬性信息描述的不足。基于服務描述模型OSDL,通過將業(yè)務需求規(guī)則與服務的功能屬性和非功能屬性進行匹配完成服務可用性異常的檢測,實現(xiàn)對服務不可用異常的預測和避免。設計服務不可用異常處理模型,對不可用的服務進行等價替換,以盡可能小的代價恢復服務流程運行并盡量保留已執(zhí)行部分的結果。4.利用Java語言實現(xiàn)CCML-E的建模支持環(huán)境,為CCML-E語言提供建模支持,設計基于CCML-E語言的異常處理體系結構并將其與建模支持環(huán)境進行松耦合集成。在服務協(xié)同計算編排中,添加用于實現(xiàn)異常處理邏輯的基本圖符和可視化的異常處理結構,在服務可視化建模階段就可以加入異常處理邏輯的框架,實現(xiàn)異常處理邏輯的可視化展示。對服務協(xié)同計算建模支持環(huán)境進行了必要的擴展,為CCML-E程序提供包括異常處理邏輯的設計在內(nèi)的程序開發(fā)、異常檢測、異�；謴偷群诵墓δ艿幕A軟件設施。5.給出一個面向服務應用的異常處理建模案例,采用CCML-E語言描述系統(tǒng)的業(yè)務流程,并對服務交互過程中可能產(chǎn)生的異常進行建模,利用CCML-E的異常處理結構實現(xiàn)異常的捕獲和處理。利用Java開發(fā)環(huán)境和DOM4J解析器實現(xiàn)基于XML格式的CCML-E代碼的解析和執(zhí)行。通過對執(zhí)行結果進行分析,驗證CCML-E的異常處理機制的可行性和有效性,實現(xiàn)異常的有效捕獲和處理。本論文對服務計算異常處理關鍵技術進行研究,為解決服務計算異常處理所面臨的問題提供了參考,對提高面向服務應用的可用性和可信性具有重要意義。
【關鍵詞】：服務計算 異常處理 形式化描述 異常檢測 服務不可用異常
【學位授予單位】：大連海事大學
【學位級別】：博士
【學位授予年份】：2015
【分類號】：TP311.52
【目錄】：

• 創(chuàng)新點摘要5-6
• 摘要6-8
• Abstract8-14
• 第1章 緒論14-33
• 1.1 研究背景及意義14-16
• 1.2 國內(nèi)外研究現(xiàn)狀16-29
• 1.2.1 服務計算與服務計算異常研究16-21
• 1.2.2 服務計算異常捕獲和檢測方法研究21-22
• 1.2.3 服務計算異常處理方法研究22-28
• 1.2.4 研究基礎28-29
• 1.3 主要研究內(nèi)容29-31
• 1.4 論文組織與結構31-32
• 1.5 本章小結32-33
• 第2章 服務計算異常處理策略及其形式化描述33-44
• 2.1 服務計算異常定義34-37
• 2.2 服務計算異常處理策略及其形式化描述37-39
• 2.3 異常處理策略在旅程規(guī)劃復合服務中的應用39-43
• 2.3.1 旅程規(guī)劃復合服務實例39-40
• 2.3.2 使用異常處理動作處理異常40-43
• 2.4 本章小結43-44
• 第3章 具有異常處理能力的服務協(xié)同計算建模語言CCML-E44-57
• 3.1 服務計算建模工具或語言的異常處理44-46
• 3.2 服務協(xié)同計算異常處理模型CCM-E46-50
• 3.2.1 異常數(shù)據(jù)傳送端口48
• 3.2.2 用于異常處理的服務交互規(guī)則48-49
• 3.2.3 異常處理器結構設計49-50
• 3.3 具有異常處理能力的服務協(xié)同計算建模語言CCML-E50-56
• 3.3.1 異常數(shù)據(jù)類型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 異常事件發(fā)布與訂閱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語言的建模支持環(huán)境78-88
• 5.1 CCML-E語言建模支持環(huán)境的體系結構78-81
• 5.1.1 CCML建模支持環(huán)境78-79
• 5.1.2 CCML-E語言建模支持環(huán)境79-81
• 5.2 異常處理功能在CCML-E建模支持環(huán)境中的實現(xiàn)81-84
• 5.2.1 圖形編輯界面的實現(xiàn)81-82
• 5.2.2 異常處理邏輯的實現(xiàn)82-84
• 5.3 基于Agent的異常處理系統(tǒng)84-87
• 5.3.1 基于Agent的異常處理系統(tǒng)體系結構84-86
• 5.3.2 Agent之間的通信86-87
• 5.3.3 基于Agent的異常處理過程87
• 5.4 本章小結87-88
• 第6章 案例研究-旅游行程規(guī)劃和預訂系統(tǒng)中的異常處理88-105
• 6.1 旅程規(guī)劃和預訂系統(tǒng)案例說明88-91
• 6.2 旅程規(guī)劃和預訂系統(tǒng)的CCML-E描述91-95
• 6.3 旅程規(guī)劃和預訂系統(tǒng)的異常處理邏輯95-100
• 6.4 旅程規(guī)劃和預訂系統(tǒng)的異常捕獲示例100-104
• 6.5 本章小結104-105
• 第7章 總結與展望105-108
• 7.1 論文總結105-107
• 7.2 未來研究展望107-108
• 參考文獻108-118
• 攻讀學位期間發(fā)表的論文118-119
• 致謝119-120
• 作者簡介120

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 孫瑞志,史美林;工作流異常處理的形式描述[J];計算機研究與發(fā)展;2003年03期

2 楊厚群;陳靜;;Java異常處理機制的研究[J];計算機科學;2007年03期

3 吳青;應時;賈向陽;;面向服務軟件中基于著色Petri網(wǎng)的異常處理模型[J];計算機科學;2011年04期

4 鄧水光;黃龍濤;尹建偉;李瑩;吳健;;Web服務組合技術框架及其研究進展[J];計算機集成制造系統(tǒng);2011年02期

5 胡建強,鄒鵬,王懷民,周斌;Web服務描述語言QWSDL和服務匹配模型研究[J];計算機學報;2005年04期

6 尚宗敏;崔立真;王海洋;史玉良;;基于補償業(yè)務生成圖的組合服務異常處理方法研究[J];計算機學報;2008年08期

7 單錦輝;徐克俊;王戟;;一種軟件故障診斷過程框架[J];計算機學報;2011年02期

8 趙紅俠;姜淑娟;牟春雷;;基于多Agent的Web服務異常處理模型[J];計算機應用與軟件;2010年01期

9 王權于;呂國斌;應時;周峰;;一種策略驅動的BPEL流程異常處理框架[J];計算機科學;2015年01期

10 王延翔;楊金民;;基于分層分類的J2EE應用系統(tǒng)異常處理方法[J];計算機應用研究;2015年03期

中國博士學位論文全文數(shù)據(jù)庫 前5條

1 張秀國;基于過程網(wǎng)絡的服務協(xié)同計算模型研究[D];大連海事大學;2006年

2 鄧水光;Web服務自動組合與形式化驗證的研究[D];浙江大學;2007年

3 尚宗敏;智能流程異常處理的若干關鍵技術研究[D];山東大學;2009年

4 周濤;基于策略的服務組合關鍵技術研究及應用[D];浙江大學;2012年

5 趙楷;語義編程語言SPL中的異常處理機制研究[D];武漢大學;2011年

  本文關鍵詞：服務計算異常處理關鍵技術研究，由筆耕文化傳播整理發(fā)布。

本文編號：294788