以Artifact為中心的業(yè)務流程時序協(xié)調和失敗恢復研究.pdf

1、以Artifact為中心的業(yè)務流程時序協(xié)調和失敗恢復研究ResearchonTemporalCoordinationandFailureRecoveryof導ArtifactcentricBusinessProcesses師：張亮教授指導小組成員：顧寧教授汪衛(wèi)教授朱揚勇教授以ARTIFACT為中心的業(yè)務流程時序協(xié)調和失敗恢復研究時序一致性驗證和運行時動態(tài)時序一致性驗證方法。在驗證過程中，該方法僅對流程合理的(條件相容的)分支組合進行時序

2、一致性驗證，排除了不合理的路徑，提高了時序一致性驗證的精確度和時序協(xié)調的成功率。實驗結果表明，本文提出的時序一致性管理方法能夠正確而高效地解決以artifact為中心的業(yè)務協(xié)作時序一致性管理問題。2提出了一種上下文感知的以artifact為中心的業(yè)務流程事務模型，該模型支持條件替代服務及交互異常時合作伙伴間經濟補償規(guī)則的定義，在此模型的基礎上，提出了一種結合經濟補償和條件替代的向前恢復機制，對不同的異常類別采用不同的恢復機制，以盡可能地

3、實現(xiàn)異常的向前恢復，同時，在流程的向后恢復過程中，考慮合作伙伴間的級聯(lián)經濟補償，從而降低其它參與者的經濟損失。3針對相關業(yè)務場景中相互交織的業(yè)務流程，提出了一種盡力而為的失敗恢復方法MaxlnsTx，即，當失敗發(fā)生時，能夠既對失敗流程及其依賴流程進行恢復處理，從而保持數據一致性，又讓盡可能多的流程能夠保持正常運行。該方法包含：(1)一種以artifact為中心的相關業(yè)務場景事務模型，能夠支持artifactN關聯(lián)和基數關系的顯式定義，支

4、持實例級的復雜關聯(lián)并區(qū)分實例間依賴的基數關系，并放松了事務的原子屬性，允許只是被部分影響的artifact被部分地修正：和(2)一種有效的失敗恢復機制，可以解決失敗流程的恢復對其依賴流程的影響，該方法通過區(qū)分三種流程間的重疊程度(即無重疊、部分重疊和完全重疊)并設計相應的恢復策略，即，只恢復重疊部分，從而避免了不必要的恢復。實驗證明，我們的方法是可行而有效的。關鍵詞：以artifact為中心的業(yè)務流程，時序一致性，業(yè)務流程事務模型，事務