遷移工作流系統(tǒng)中的工作流域組織與遷移實例調度研究.pdf

1、山東大學博士學位論文遷移工作流系統(tǒng)中的工作流域組織與遷移實例調度研究姓名：楊公平申請學位級別：博士專業(yè)：計算機軟件與理論指導教師：曾廣周20070405山東大學博士學位論文遷移工作流模型是一個并行計算模型，它既允許同一個業(yè)務流程中的多個遷移實例并行執(zhí)行，也允許一個企業(yè)或機構同時參與多個業(yè)務流程，不同的業(yè)務流程由隸屬關系不同的遷移實例集合并行完成。這樣，在某個時間段，就可能會有多個遷移實例到達同一個工作位置，并由此導致多個遷移實例對同一工

2、作位置服務資源的競爭。無序競爭影響工作位置主機的穩(wěn)定性，嚴重情況下可能導致遷移實例夭折，甚至整個遷移工作流系統(tǒng)失敗。因此，遷移工作流模型研究所要解決的另一個關鍵問題是如何使工作位置對多遷移實例的服務有序和高效。本文把工作位置為遷移實例提供有序和高效服務的措施稱作工作位置上的遷移實例調度機制。本文在國家自然科學基金項目的資助下，以曾廣周教授提出的遷移工作流系統(tǒng)框架為基礎，吸收其他領域的研究成果，在對工作流域組織模式分類的基礎上，重點研究了

3、工作流域組織模式的實現方法和工作位置上的遷移實例調度機制等問題，并在原型系統(tǒng)上對研究成果進行了驗證。本文的主要工作包括：1工作流域靜態(tài)組織模式的實現方法研究。工作流域靜態(tài)組織模式的實現可以抽象為一個借助結盟的工作流任務分配問題。工作流聯盟一旦形成，就不僅可以確定允許遷移實例登陸的工作位置集合，而且可以基于業(yè)務流程邏輯和聯盟成員提供的工作流服務為遷移實例制訂旅行圖。本文重點研究了一類基于能力置信度結盟的任務分配方法，其中，能力置信度指工作

4、流組織者相信加盟者勝任工作流服務的程度。如果一個企業(yè)或機構相信自己有能力為業(yè)務流程的執(zhí)行提供一項或多項服務，那么它就可以競爭工作流域中的某個角色。如果工作流組織者相信某個競爭者能夠最佳勝任某項任務的工作流服務，那么該競爭者就會成為工作流域的一個成員。研究假定所有企業(yè)或機構都是理性的，競爭是合作型的。文中第2章給出了服務能力置信度的定義及其計算方法，設計了基于服務能力置信度的任務分配算法，并結合協(xié)同產品商務應用進行了驗證研究。2工作流域動