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

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

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

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

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