可廢止邏輯於工作流程管理系統的高階同步控制

Abstract

隨著近年網路服務觀念的普及，越來越多人開始研究網路服務的技術。網路服務也是分散式程式的一種，使兩個（或以上）跨行程或跨機器的應用程式要能進行溝通。由於網路服務的行程通常都要花費較長時間，所以現行網路服務的交易機制大多採用釋放隔離的特性（Isolation Relaxation Policy），這樣的確解決了執行時間過長的問題，但破壞資料的完整性卻造成資料不一致的問題。於是分散式網路應用程式如Workflow Management System便需要並行控制的機制來同步（Synchronization）網路服務中並行的流程系統，使它們正確地執行結束。像銀行存提款這樣操作複雜的範例，它的並行控制往往也是相當複雜且不易處理，本論文即針對這一點，我們使用不同於以往的邏輯判斷系統：可廢止邏輯（Defeasible Logic），可廢止邏輯是一個非單調推理的方法，它可以很容易的從現有條件直接推論出結果。我們設計出一套網路服務架構利用可廢止邏輯的特性，用來達成網路服務的同步，並設法解決資料不一致的問題。