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

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

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

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

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