基于邏輯情景演算的虛擬企業(yè)過程建模研究.pdf

1、浙江大學(xué)博士學(xué)位論文基于邏輯情景演算的虛擬企業(yè)過程建模研究姓名：劉志申請學(xué)位級別：博士專業(yè)：計算機應(yīng)用指導(dǎo)教師：高濟;何志均2001.10.1浙江大學(xué)博士學(xué)位論文過軟什a g e n t 中的活動模型來實現(xiàn)虛擬企業(yè)中的各種任務(wù)、活動。在虛擬企業(yè)的運作過程中，我們著重討論了臺作伙伴間的合作和協(xié)商問題。其中，虛擬企業(yè)的合作是基于虛擬企業(yè)過程模型進行的，通過任務(wù)、活動問各種約束關(guān)系的滿足和實現(xiàn)，觸發(fā)、執(zhí)行了邏輯’隋景的演算過程，實現(xiàn)了合作伙伴

2、間的合作，即將適當(dāng)?shù)男畔⒃谶m當(dāng)?shù)臅r間傳送給適當(dāng)?shù)娜?。虛擬企業(yè)的協(xié)商則主要針對兩種情況：一種是虛擬企業(yè)結(jié)盟過程的西商，一種是虛擬企業(yè)運作過程中異常情況的處理。結(jié)盟時的協(xié)商是通過合同網(wǎng)協(xié)議，選擇臺作伙伴來承擔(dān)相應(yīng)的任務(wù)、活動：異常情況處理則是對合作異常情況的處理。我們通過提供協(xié)商協(xié)議來促進協(xié)商通信。為了支持虛擬企業(yè)的運作，我們提出了基于a g e n t 聯(lián)邦的虛擬企業(yè)工作流管理系統(tǒng)，該工作流管理系統(tǒng)是建立在分層遞解的虛擬企業(yè)過程模型和組織

3、模型之上的，并以邏輯情景的連續(xù)演算過程作為工作流實例過程，通過可嵌套的a g e n t 聯(lián)邦來實現(xiàn)工作流過程的分層遞解管理。虛擬企業(yè)作為未來市場經(jīng)濟環(huán)境下～種重要的企業(yè)組織模式，如何快速有效地構(gòu)建、支持虛擬企業(yè)運作是我們所面臨的重要問題，本文的研究即針對這一問題進行了有益的探索，在理論和實踐中邁出了有意義的一步。廠百一／【關(guān)鍵詞】虛擬企業(yè)／邏輯情景演∥虛擬企業(yè)本體∥過程建蠢_ 任務(wù)、活動，約束，狀態(tài)，聯(lián)合意向，合作，協(xié)商一藿一， l-