工作流管理系統(tǒng)中事務模型的研究與應用.pdf

1、工作流技術是近年來發(fā)展最為迅速的幾項新技術之一。它是實現(xiàn)企業(yè)業(yè)務自動化的核心技術，也為協(xié)調(diào)復雜業(yè)務過程活動提供了有效的方法。工作流管理系統(tǒng)是開發(fā)和執(zhí)行工作流的工具和平臺，主要應用于實現(xiàn)業(yè)務流程自動化和基于層面的企業(yè)應用集成。 為了在工作流管理系統(tǒng)運行過程中保證數(shù)據(jù)的一致性、正確性和可靠性，必須使工作流管理系統(tǒng)具有事務處理的能力。因此，工作流管理系統(tǒng)中的事務處理逐漸成為近年來研究的熱點之一。為了更好地描述工作流的事務特性和解決工作

2、流的事務處理問題，人們提出了許多高級事務模型，包括嵌套事務模型、分支/匯合事務模型、Sagas模型、柔性事務模型、ACTA等。此外，還出現(xiàn)了專門針對工作流的事務模型Contracts和事務工作流。 Sagas模型是由普林斯頓大學的H.Garcia-M0lina等人提出用于解決長事務問題的一種模型。由于這種模型允許事務在全部提交之前釋放某些占用資源，大大提高了資源的利用率，并且也加強了系統(tǒng)的事務處理能力而受到廣泛關注。 本

3、文對Sagas模型做了詳細分析，指出在按照Sagas模型定義的流程執(zhí)行時存在著三個缺陷，第一是當任意一個子事務出現(xiàn)異常時，就需要撤銷全部己提交的事務；第二是當長事務完成補償事務后會退出，而不是選擇更有效的執(zhí)行手段；第三是該模型只支持所有子事務的補償子事務都存在的情況。針對這三個缺陷，在Sagas模型中增加一致點的概念來保存盡可能多的已完成任務，增加失敗處理模式使模型在發(fā)生異常后能夠更智能化地自動恢復，同時引入補償服務的概念解決了補償子事