以Artifact為中心的業(yè)務(wù)流程時(shí)序協(xié)調(diào)和失敗恢復(fù)研究.pdf

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

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

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

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