本文主要通過對虛擬企業(yè)的結(jié)盟、構(gòu)建和運作過程的深入研究，提出了面向過程建模的虛擬企業(yè)本體論，并在該本體論基礎(chǔ)上，以邏輯情景演算形式化地描述了虛擬企業(yè)在結(jié)盟過程中逐步精化的過程模型，并建立了相應(yīng)的虛擬企業(yè)分層遞解組織模型。本文采用agent技術(shù)來支持虛擬企業(yè)合作伙伴對任務(wù)的分擔(dān)、合作和協(xié)商，分層遞解地構(gòu)建了基于agent聯(lián)邦的合作伙伴動態(tài)結(jié)盟，并以邏輯情景的演算過程作為虛擬企業(yè)工作流運作過程，構(gòu)建了支持虛擬企業(yè)的工作流管理系統(tǒng)，實現(xiàn)了虛擬企業(yè)的運作。 本文提出的虛擬企業(yè)本體論是面向虛擬企業(yè)過程建模的本體論，用以形式化地描述虛擬企業(yè)的過程模型，其中，虛擬企業(yè)本體論包括其構(gòu)成要素、要素間的約束關(guān)系以及相關(guān)信息，并以分類體系對這些核心術(shù)語進(jìn)行定義，具有很強的穩(wěn)定性和可重用性。由于虛擬企業(yè)是為響應(yīng)市場需求而動態(tài)構(gòu)建的，在建立合作聯(lián)盟過程中，又因合作伙伴的不同而導(dǎo)致對所承擔(dān)任務(wù)的分解、分擔(dān)過程不同，這都將導(dǎo)致虛擬企業(yè)過程模型的動態(tài)變化。為了準(zhǔn)確地描述虛擬企業(yè)這種動態(tài)的、復(fù)雜的建模過程，我們對情景演算這種形式化邏輯框架進(jìn)行擴展，提出了邏輯情景演算，并以邏輯情景演算來描述虛擬企業(yè)的運作過程。在這... 

【文章來源】：浙江大學(xué)浙江省 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：156 頁

【學(xué)位級別】：博士

【文章目錄】：
第一章 緒論
    1.1 虛擬企業(yè)簡介
        1.1.1 虛擬企業(yè)的概念
        1.1.2 虛擬企業(yè)的合作形式
        1.1.3 虛擬企業(yè)的發(fā)展
    1.2 企業(yè)建模簡介
        1.2.1 企業(yè)建模的發(fā)展過程
        1.2.2 企業(yè)建模的需求
        1.2.3 企業(yè)建模的評價
    1.3 企業(yè)本體論簡介
    1.4 虛擬企業(yè)過程建模的關(guān)鍵技術(shù)
        1.4.1 虛擬企業(yè)建模過程
        1.4.2 虛擬企業(yè)過程建模的關(guān)鍵技術(shù)
    1.5 虛擬企業(yè)的構(gòu)建和管理
        1.5.1 軟件agent技術(shù)
        1.5.2 虛擬企業(yè)的構(gòu)建和管理
        1.5.3 虛擬企業(yè)工作流管理系統(tǒng)
    1.6 論文的研究工作和論文的組織
第二章 形式化的虛擬企業(yè)本體論
    2.1 企業(yè)本體論
        2.1.1 企業(yè)本體論的角色
        2.1.2 企業(yè)本體論中術(shù)語的選擇和定義
        2.1.3 元本體論
        2.1.4 虛擬企業(yè)本體論中的主要術(shù)語
    2.2 基于邏輯情景演算的形式化表示方法
        2.2.1 情景演算簡介
        2.2.2 虛擬企業(yè)建模需求
        2.2.3 邏輯情景演算
        2.2.4 邏輯情景演算中的基本公理
        2.2.5 邏輯情景演算中的動作時序
        2.2.6 邏輯情景演算中的狀態(tài)公理
    2.3 形式化的虛擬企業(yè)本體論
        2.3.1 元本體論的關(guān)系
        2.3.2 虛擬企業(yè)本體論的形式化語言
第三章 基于邏輯情景演算的虛擬企業(yè)過程建模
    3.1 虛擬企業(yè)過程建模
        3.1.1 虛擬企業(yè)過程模型描述
        3.1.2 虛擬企業(yè)過程模型中的約束關(guān)系
        3.1.3 過程模型的形式化描述
    3.2 虛擬企業(yè)組織模型
        3.2.1 伙伴選擇
        3.2.2 組織模型
    3.3 基于邏輯情景演算的虛擬企業(yè)構(gòu)建過程
第四章 基于Agent聯(lián)邦的虛擬企業(yè)構(gòu)建
    4.1 Agent和Agent聯(lián)邦
        4.1.1 Agent模型
        4.1.2 多agent系統(tǒng)
        4.1.3 Agent聯(lián)邦
    4.2 Agent構(gòu)建
        4.2.1 技能模型
        4.2.2 聯(lián)合意向
        4.2.3 過程分解與分擔(dān)
        4.2.4 Agent模型
    4.3 基于Agent聯(lián)邦的虛擬企業(yè)構(gòu)建
        4.3.1 虛擬企業(yè)的構(gòu)建過程
        4.3.2 Agent聯(lián)邦的配置
第五章 虛擬企業(yè)的合作與協(xié)商
    5.1 虛擬企業(yè)的合作
        5.1.1 虛擬企業(yè)合作的表示
        5.1.2 虛擬企業(yè)合作中的agent模型
        5.1.3 Agent聯(lián)邦中合作的實現(xiàn)
        5.1.4 Agent聯(lián)邦中通信的實現(xiàn)
    5.2 虛擬企業(yè)的協(xié)商
        5.2.1 虛擬企業(yè)聯(lián)盟的協(xié)商
        5.2.2 合作過程中的協(xié)商
第六章 支持虛擬企業(yè)的工作流管理系統(tǒng)
    6.1 虛擬企業(yè)工作流管理系統(tǒng)實現(xiàn)過程
        6.1.1 虛擬企業(yè)工作流管理系統(tǒng)特點
        6.1.2 工作流實現(xiàn)技術(shù)
        6.1.3 虛擬企業(yè)工作流管理系統(tǒng)實現(xiàn)過程
    6.2 虛擬企業(yè)工作流過程模型
    6.3 虛擬企業(yè)工作流管理系統(tǒng)
        6.3.1 虛擬企業(yè)工作流管理系統(tǒng)的支持工具
        6.3.2 多agent工作流管理系統(tǒng)
第七章 虛擬企業(yè)實例研究
    7.1 虛擬企業(yè)實例分析
        7.1.1 虛擬企業(yè)實例介紹
        7.1.2 虛擬企業(yè)實例過程建模
        7.1.3 虛擬企業(yè)實例工作流管理系統(tǒng)的構(gòu)建
    7.2 虛擬企業(yè)實例模擬運行與分析
結(jié)論和展望
參考文獻(xiàn)
攻讀博士學(xué)位期間撰寫的論文
致謝


【參考文獻(xiàn)】：
期刊論文
[1]管理過程控制系統(tǒng):工作流思想的一種新的應(yīng)用模式[J]. 任午令,何偉,楊勇勤,何志均.  計算機研究與發(fā)展. 2001(03)
[2]基于關(guān)系結(jié)構(gòu)的輕量級工作流引擎[J]. 何清法,李國杰,焦麗梅,劉力力.  計算機研究與發(fā)展. 2001(02)
[3]基于Web技術(shù)的工作流管理系統(tǒng)的研究[J]. 梁浩,吳啟迪,施俊浩.  計算機科學(xué). 2001(02)
[4]動態(tài)聯(lián)盟環(huán)境下的聯(lián)盟單元信息系統(tǒng)研究[J]. 陶丹,范玉順,吳澄,許青松.  計算機科學(xué). 2001(02)
[5]基于對象和實例互操作行為模型的工作流研究[J]. 竇萬春,李東波,張世琪.  計算機學(xué)報. 2001(02)
[6]一種結(jié)合效用的Agent思維狀態(tài)模型[J]. 徐晉暉,石純一.  軟件學(xué)報. 2000(11)
[7]實現(xiàn)虛擬企業(yè)的需求分析[J]. 李凌豐,譚建榮,張三元.  計算機輔助設(shè)計與圖形學(xué)學(xué)報. 2000(11)
[8]虛擬企業(yè)合作伙伴評價體系及優(yōu)化決策[J]. 鄭文軍,張旭梅,劉飛,張宗益,黃河.  計算機集成制造系統(tǒng)-CIMS. 2000(05)
[9]A-ADL:一種多智能體系統(tǒng)體系結(jié)構(gòu)描述語言[J]. 馬俊濤,傅韶勇,劉積仁.  軟件學(xué)報. 2000(10)
[10]敏捷制造系統(tǒng)集成框架研究[J]. 萬麟瑞,徐峰.  計算機工程與應(yīng)用. 2000(10)



本文編號：3237705