本論文首先提出一個系統內部協約協助器, 幫助使用者驗證一個分散式系統子系統內部訊息之間的關係, 以確定當某些事件發生時這個子系統仍可正常地運作。文中以一個正規的辦公室模式: 辦公室程序模式(office procedure Model, OPM) 為例說明該協助器所用之技術與用途, 亦建立一個連接矩陣(Connection Matirix)以資料結構方式表示出OPM 圖形。其後提出一個將OPM 圖剖析成若干訊息群以降低其複雜度的方法, 又為每一個訊息群建立一個變遷表以導出最小項正規形之表示式, 使用者可逐一檢視這些表示式, 以驗證系統之內部協約。

通常一個辦公室系統圖都不是可以執行的模式, 要想模擬系統之功能俾檢查其執行時之語意, 我們須將此系統圖轉換成可以執行的目標模式, 規則庫為本研究選定的目標模式。轉換工作以經驗法則方式為之, 之後, 該辦公室系統將被視為一個規則庫系統而不再是一個二維圖形。此時, 我們再提出一個以自動機理論、圖形理論、人工智慧技術為基礎, 以規則為著眼點的系統檢視辦法。依此辦法我們可以演算法的方式檢視一個系統的完整性與一致性問題。一個規則庫系統在本辦法中將表示成一個有限狀態圖, 經由此圖, 系統內部的錯誤和不正常現象可以被清楚地表示出來, 系統維護因而就變得簡單了。文中亦將探討這些錯誤和不正常現象之特性, 用以定位這些缺失的演算法亦將於文中提出與討論。最後提議這些演算法之執行順序, 以有系統地從事內部檢視工作。

none