[發明專利]一種基于約束規則的服務恢復方法

有效

• 申請號: 201110349574.6
• 申請日: 2011-11-08
• 公開（公告）號: CN102780753A
• 公開（公告）日: 2012-11-14
• 發明（設計）人: 曹玖新;羅軍舟;楊婧;劉波;東方
• 申請（專利權）人: 東南大學
• 主分類號: H04L29/08
• 分類號: H04L29/08
• 代理公司: 南京經緯專利商標代理有限公司 32200
• 代理人: 許方

1.一種基于約束規則的服務恢復方法，其特征在于：在業務事務中的某個域中的服務s出現異常e，此異常被捕獲后，利用約束規則經過如下步驟制定進行服務恢復：

(1)評估s對應的完成性約束條件(ICCC)，若評估結果為true，則表示此異常可被忽略，業務事務繼續執行，轉到；若評估結果為false轉到(2)；

(2)根據上下文屬性信息以及服務s的異常屬性約束對異常e進行分類，根據分類來確定恢復開始點：重試(轉(3))、替換服務(轉(4))、與用戶交互(轉(5))或補償(轉(6))；

(3)若服務s是原子服務，且對此服務的重試次數RetryTimes小于對此服務所設定的最大重試次數MaxinumRetryTimes，則重新調用服務s；若重試成功，則業務事務繼續執行；否則轉(4)；

(4)若存在服務s的可替代服務集S，則從中選出一個作為替代服務s’；先補償服務s，取消其所造成的影響，再調用服務s’，并將s’從S中移除；若服務s的可替代服務集S為空，則轉(5)。若s’執行成功，則業務事務繼續執行；否則轉(5)；

(5)若服務s被設定為與用戶交互服務，則向用戶提供建議。此建議包括與出現異常的服務s有相似功能屬性和非功能屬性，但已超出用戶在業務事務執行時所提出的可接受范圍的服務。若用戶選擇其中一個服務或者放棄此異常服務，則對更高一級域中關于此域的CCC進行評估。若CCC不滿足，則說明此域需要被補償，域向更高一級域拋出UnatomicException異常，并等待來自更高級域中協調者的補償命令，轉(6)，而后業務事務繼續執行；若CCC滿足則直接轉(5)，且在此過程中通過樂觀的期望策略對ICCC進行評估(默認情況下使用樂觀的期望策略)，而后業務事務繼續執行。若用戶不接受建議，則轉(5)；

(6)收到來自更高級域中協調者的補償命令后，進入到對本域進行補償過程。

2.根據權利要求1所述的一種基于約束規則的服務恢復方法，其特征在于：根據上下文屬性信息以及服務s的異常屬性約束對異常e進行分類；根據分類來確定恢復開始點的具體方法如下：

(1)設為服務s的異常屬性約束集，將恢復開始點StartOfRecovry初始化為空；設異常類型t∈<δa，δb，ρa，ρb，ωa，ωb，μ>，其中的元素按序分別代表網絡設備暫時不可用異常屬性約束、網絡設備永久不可用異常屬性約束、可替代物理異常屬性約束、不可替代物理異常屬性約束、服務限制異常屬性約束、服務描述異常屬性約束和用戶異常屬性約束；對于中分別對應于上面七種異常的的七種異常屬性約束按序將其賦值給表示某一具體異常屬性約束的進行(2)到(12)步驟的操作；

(2)將π初始化為的類型所對應的上下文類型向量，轉(3)；

(3)一個標記為一個謂詞或操作。初始化謂詞棧predicateStack為空，操作數棧operaterStack為空，當前標記curToken為空，評估結果result初始化為true；

(4)獲取下一個標記，賦值給curToken。若curToken不為空則轉(5)，否則轉(9)；

(5)若curToken是謂詞則轉(6)，否則operaterStack將curToken入棧；

(6)若此謂詞為”&&”則轉(7)，否則predicateStack將curToken入棧；

(7)operaterStack出棧，predicateStack棧頂元素賦值給topPredicate。根據π對topPredicate進行評估，若topPredicate不滿足，則predicateStack將”false”入棧；否則predicateStack將curToken入棧；

(8)轉(4)；

(9)若predictStack非空，則轉(10)；

(10)將predicateStack棧頂元素賦值給topPredicate，predicateStack出棧。根據π對topPredicate進行評估，如果topPredicate被滿足，則轉(12)；

(11)將false賦值給result；

(12)異常屬性約束評估結束。如果result為true，則將t賦值為所對應的異常類型，轉(13)，否則轉(1)；

(14)如果t∈{δa，ρa，ωa}，則將StartOfRecovery賦值為RETRY，否則若t∈{ρb，ωa，ωb}，則將StartOfRecovery賦值為REPLACE，否則若t∈{δb，μ}，則將StartOfRecovery賦值為INTERACTORCOMPENSATE。RETRY代表重試、REPLACE代表替代服務、INTERACTORCOMPENSATE代表與用戶交互或補償。