本文關(guān)鍵詞：一種業(yè)務(wù)過(guò)程協(xié)同建模的方法研究，由筆耕文化傳播整理發(fā)布。

【摘要】：業(yè)務(wù)流程管理是計(jì)算機(jī)科學(xué)和管理科學(xué)的交叉研究領(lǐng)域。協(xié)同商務(wù)環(huán)境下業(yè)務(wù)流程管理的關(guān)注焦點(diǎn)從組織內(nèi)業(yè)務(wù)流程逐步轉(zhuǎn)移到組織間業(yè)務(wù)流程。針對(duì)協(xié)同商務(wù)環(huán)境下實(shí)施業(yè)務(wù)流程管理中有盟主管理模式下的業(yè)務(wù)過(guò)程協(xié)同所具有的個(gè)性化特征及現(xiàn)有建模工作存在的不足,從計(jì)算機(jī)科學(xué)的視角,在“軟件體系結(jié)構(gòu)”和“參與組織”兩個(gè)層面對(duì)該模式下的業(yè)務(wù)過(guò)程協(xié)同建模進(jìn)行探索性的研究與分析。其主要工作和貢獻(xiàn)包括如下三點(diǎn)： 第一、提出了“代理端+盟主端”業(yè)務(wù)過(guò)程協(xié)同模型。該模型分為兩層,自頂向下分別是軟件體系結(jié)構(gòu)層和組織層。其中：軟件體系結(jié)構(gòu)層中共有三種類型的參與者,分別是盟主、代理及參與組織。它們及它們之間的關(guān)系分別用構(gòu)件和連接件進(jìn)行描述,用于從軟件體系結(jié)構(gòu)的層次來(lái)描述業(yè)務(wù)過(guò)程協(xié)同；對(duì)于軟件體系結(jié)構(gòu)層中的每一個(gè)參與組織在組織層都存在一個(gè)對(duì)應(yīng)的業(yè)務(wù)過(guò)程模型,業(yè)務(wù)過(guò)程模型之間通過(guò)協(xié)同范圍內(nèi)唯一的語(yǔ)義標(biāo)識(shí)進(jìn)行通信,用于從組織的層次來(lái)描述業(yè)務(wù)過(guò)程協(xié)同。該模型既符合有盟主管理模式下業(yè)務(wù)過(guò)程協(xié)同的特征,又能實(shí)現(xiàn)關(guān)注點(diǎn)分離,降低建模和分析的復(fù)雜性�！按矶�+盟主端”業(yè)務(wù)過(guò)程協(xié)同模型是本文后續(xù)工作開(kāi)展的基礎(chǔ)。 第二、針對(duì)于于“代理端十盟主端”業(yè)務(wù)過(guò)程協(xié)同模型軟件體系結(jié)構(gòu)層。首先,為了確定協(xié)同模型體系結(jié)構(gòu)層中的代理及每一個(gè)管理域內(nèi)的參與組織,提出了一種基于模糊聚類的和代理熵的方法,從而可以有效地設(shè)計(jì)出特定應(yīng)用領(lǐng)域內(nèi)的協(xié)同模型；其次,從消息的角度對(duì)協(xié)同模型軟件體系結(jié)構(gòu)層進(jìn)行建模,提出了消息通信模型。與已有的兩種典型協(xié)同模型進(jìn)行定量的對(duì)比與分析,結(jié)果表明：本文所提出的協(xié)同模型能夠在效率(響應(yīng)時(shí)間、吞吐量)和可靠性(失效恢復(fù))間取得有效的平衡；再次,為了能夠指導(dǎo)實(shí)際的業(yè)務(wù)過(guò)程協(xié)同應(yīng)用構(gòu)建,從協(xié)同模型軟件體系結(jié)構(gòu)層中抽象出3個(gè)獨(dú)立的交互模式,分別為組織參與協(xié)同模式、組織協(xié)同通信模式和組織切換模式,來(lái)描述具體的協(xié)同過(guò)程,證明了基于協(xié)同過(guò)程模型構(gòu)建的協(xié)同應(yīng)用能夠持續(xù)穩(wěn)定地運(yùn)行和能夠適應(yīng)由參與組織所引起的變化；最后,為了能夠?qū)趨f(xié)同過(guò)程構(gòu)建的業(yè)務(wù)過(guò)程協(xié)同系統(tǒng)可用性進(jìn)行分析,提出了一種業(yè)務(wù)過(guò)程協(xié)同數(shù)據(jù)恢復(fù)通用模型,進(jìn)而提出了數(shù)據(jù)恢復(fù)策略模型并提出了五種數(shù)據(jù)恢復(fù)策略,它們分別為代理優(yōu)先恢復(fù)策略、最短隊(duì)列代理優(yōu)先恢復(fù)策略、最短隊(duì)列隨機(jī)恢復(fù)策略、最小期望等待時(shí)間代理優(yōu)先恢復(fù)策略及最小期望等待時(shí)間隨機(jī)恢復(fù)策略。實(shí)驗(yàn)結(jié)果表明：相對(duì)于已有的模型,基于該協(xié)同模型構(gòu)建的協(xié)同應(yīng)用能夠持續(xù)、高效地運(yùn)行。 第三、針對(duì)于“代理端+盟主端”業(yè)務(wù)過(guò)程協(xié)同模型組織層。首先,提出了一種結(jié)合Petri網(wǎng)和進(jìn)程代數(shù)建模業(yè)務(wù)過(guò)程協(xié)同的方法,即從結(jié)構(gòu)的角度提出了業(yè)務(wù)過(guò)程模型,從行為(交互行為)的角度提出了業(yè)務(wù)過(guò)程代數(shù),避免了在建模業(yè)務(wù)過(guò)程協(xié)同時(shí)單純地應(yīng)用Petri網(wǎng)或進(jìn)程代數(shù)建模所面臨的問(wèn)題,并提出了業(yè)務(wù)過(guò)程模型代數(shù)語(yǔ)義用于實(shí)現(xiàn)從業(yè)務(wù)過(guò)程模型到業(yè)務(wù)過(guò)程代數(shù)的形式轉(zhuǎn)換。同時(shí),為了反映出業(yè)務(wù)過(guò)程模型所具有的交互行為特征,在業(yè)務(wù)過(guò)程模型代數(shù)語(yǔ)義的基礎(chǔ)上引入抽象操作符,提出了業(yè)務(wù)過(guò)程模型觀察行為代數(shù)語(yǔ)義。這種方式充分地結(jié)合了Petri網(wǎng)和進(jìn)程代數(shù)在建模業(yè)務(wù)過(guò)程時(shí)各自的優(yōu)勢(shì),能夠有效地支持組織層中業(yè)務(wù)過(guò)程的建模并為下一步的驗(yàn)證工作打下了基礎(chǔ)；其次,為了提高協(xié)同模型組織層中業(yè)務(wù)過(guò)程協(xié)同的形式分析效率,從兩個(gè)層次來(lái)進(jìn)行討論。首先,在假定業(yè)務(wù)過(guò)程模型內(nèi)部視圖是自由選擇網(wǎng)的基礎(chǔ)上,將業(yè)務(wù)過(guò)程模型內(nèi)部視圖抽象為四種基本塊并基于異步消息通信的特征分別提出了各自的抽取規(guī)則集,證明了這些規(guī)則能夠確保協(xié)同中接口一致性。相對(duì)于已有的工作,能夠更加有效地實(shí)現(xiàn)對(duì)業(yè)務(wù)過(guò)程協(xié)同的建模和分析；然后,以抽取后的業(yè)務(wù)過(guò)程模型為基礎(chǔ),提出了一種并行構(gòu)建業(yè)務(wù)過(guò)程協(xié)同的方法,相對(duì)于已有的全局模型,減小了組織層內(nèi)業(yè)務(wù)過(guò)程協(xié)同需要驗(yàn)證的狀態(tài)空間規(guī)模,提高模型的分析效率。
【關(guān)鍵詞】：“代理端+盟主端”協(xié)同模型 協(xié)同過(guò)程 協(xié)同可用性 業(yè)務(wù)過(guò)程代數(shù) 抽取規(guī)則 并行建模
【學(xué)位授予單位】：云南大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP311.52
【目錄】：

• 摘要3-5
• Abstract5-8
• 目錄8-11
• 第一章 緒論11-18
• 1.1 研究背景及選題意義11-13
• 1.2 論文研究目標(biāo)13-14
• 1.3 本文的主要貢獻(xiàn)和創(chuàng)新14-15
• 1.4 論文研究目標(biāo)15
• 1.4.1 理論意義15
• 1.4.2 實(shí)際意義15
• 1.5 論文結(jié)構(gòu)安排15-18
• 第二章 業(yè)務(wù)過(guò)程協(xié)同建模綜述18-27
• 2.1 引言18
• 2.2 業(yè)務(wù)過(guò)程協(xié)同建模方法綜述18-22
• 2.2.1 基于過(guò)程的業(yè)務(wù)過(guò)程協(xié)同建模方法18-20
• 2.2.2 基于角色的業(yè)務(wù)過(guò)程協(xié)同建模方法20-22
• 2.3 業(yè)務(wù)過(guò)程協(xié)同形式建模綜述22-24
• 2.3.1 基于Petri網(wǎng)的業(yè)務(wù)過(guò)程協(xié)同建模22-23
• 2.3.2 基于進(jìn)程代數(shù)的業(yè)務(wù)過(guò)程協(xié)同建模23-24
• 2.3.3 基于Petri網(wǎng)和進(jìn)程代數(shù)的業(yè)務(wù)過(guò)程協(xié)同建模24
• 2.4 業(yè)務(wù)過(guò)程協(xié)同形式驗(yàn)證效率綜述24-25
• 2.5 小結(jié)25-27
• 第三章 相關(guān)研究基礎(chǔ)27-34
• 3.1 引言27
• 3.2 業(yè)務(wù)過(guò)程協(xié)同的基本概念27
• 3.3 Petri網(wǎng)及跨組織工作流網(wǎng)27-30
• 3.4 通信系統(tǒng)演算30-31
• 3.5 隨機(jī)回報(bào)網(wǎng)31
• 3.6 通信順序程序31-33
• 3.7 小結(jié)33-34
• 第四章 “代理端+盟主端”業(yè)務(wù)過(guò)程協(xié)同模型34-57
• 4.1 引言34
• 4.2 業(yè)務(wù)過(guò)程協(xié)同模型34-40
• 4.2.1 “代理端+盟主端”業(yè)務(wù)過(guò)程協(xié)同模型34-38
• 4.2.2 “代理端+盟主端”業(yè)務(wù)過(guò)程協(xié)同模型軟件體系結(jié)構(gòu)層定義38-40
• 4.3 協(xié)同模型中軟件體系結(jié)構(gòu)層的確定40-45
• 4.3.1 參與組織模糊聚類41-42
• 4.3.2 基于熵的代理確定及參與組織劃分42-43
• 4.3.3 實(shí)驗(yàn)說(shuō)明43
• 4.3.4 結(jié)果分析43-45
• 4.4 協(xié)同模型軟件體系結(jié)構(gòu)層性能分析45-56
• 4.4.1 消息通信模型45-52
• 4.4.2 性能指標(biāo)52
• 4.4.3 性能仿真及分析52-56
• 4.5 小結(jié)56-57
• 第五章 協(xié)同過(guò)程建模與分析57-75
• 5.1 引言57
• 5.2 協(xié)同過(guò)程的形式化描述57-67
• 5.2.1 組織參與協(xié)同模式的形式化描述58-59
• 5.2.2 組織協(xié)同通信模式的形式化描述59-63
• 5.2.3 組織切換模式的形式化描述63-65
• 5.2.4 基于ECA規(guī)則以模式組合描述的協(xié)同過(guò)程65-67
• 5.3 協(xié)同過(guò)程的形式驗(yàn)證與分析67-74
• 5.3.1 組織參與協(xié)同模式的形式驗(yàn)證68-69
• 5.3.2 組織協(xié)同通信模式的形式驗(yàn)證69-70
• 5.3.3 組織切換模式的形式驗(yàn)證70-74
• 5.4 小結(jié)74-75
• 第六章 協(xié)同可用性建模與分析75-94
• 6.1 引言75-76
• 6.2 數(shù)據(jù)恢復(fù)通用模型76-77
• 6.3 基于數(shù)據(jù)恢復(fù)的協(xié)同可用性建模77-82
• 6.3.1 協(xié)同可用性模型78-80
• 6.3.2 性能指標(biāo)80
• 6.3.3 性能仿真及分析80-82
• 6.4 數(shù)據(jù)恢復(fù)策略建模與分析82-92
• 6.4.1 數(shù)據(jù)恢復(fù)策略模型82-84
• 6.4.2 恢復(fù)策略描述及性能指標(biāo)84-89
• 6.4.3 性能仿真及分析89-92
• 6.5 小結(jié)92-94
• 第七章 基于Petri網(wǎng)和進(jìn)程代數(shù)建模業(yè)務(wù)過(guò)程協(xié)同的方法94-118
• 7.1 引言94-97
• 7.1.1 業(yè)務(wù)過(guò)程協(xié)同建模領(lǐng)域的主要問(wèn)題94-96
• 7.1.2 解決方法96-97
• 7.2 基于Petri網(wǎng)的業(yè)務(wù)過(guò)程模型97-100
• 7.2.1 協(xié)同模型組織層中業(yè)務(wù)過(guò)程協(xié)同97
• 7.2.2 業(yè)務(wù)過(guò)程模型97-100
• 7.3 基于BPPA的業(yè)務(wù)過(guò)程代數(shù)100-117
• 7.3.1 業(yè)務(wù)過(guò)程進(jìn)程代數(shù)100-104
• 7.3.2 業(yè)務(wù)過(guò)程模型的代數(shù)性質(zhì)104-108
• 7.3.3 業(yè)務(wù)過(guò)程模型代數(shù)語(yǔ)義108-111
• 7.3.4 業(yè)務(wù)過(guò)程模型觀察行為代數(shù)語(yǔ)義111-117
• 7.4 小結(jié)117-118
• 第八章 業(yè)務(wù)過(guò)程模型的抽取118-136
• 8.1 引言118-119
• 8.2 從業(yè)務(wù)過(guò)程模型抽取公共過(guò)程119-131
• 8.2.1 基本塊定義119-122
• 8.2.2 抽取規(guī)則122-131
• 8.3 實(shí)驗(yàn)與分析131-135
• 8.3.1 實(shí)驗(yàn)說(shuō)明131-132
• 8.3.2 供應(yīng)鏈網(wǎng)絡(luò)建模132-133
• 8.3.3 模型分析133-135
• 8.4 小結(jié)135-136
• 第九章 業(yè)務(wù)過(guò)程協(xié)同并行建模與分析136-153
• 9.1 引言136-137
• 9.2 業(yè)務(wù)過(guò)程協(xié)同的并行構(gòu)建137-146
• 9.2.1 業(yè)務(wù)過(guò)程模型間依賴性分析137-141
• 9.2.2 協(xié)同業(yè)務(wù)過(guò)程模型構(gòu)建141-146
• 9.3 實(shí)驗(yàn)與分析146-152
• 9.3.1 實(shí)驗(yàn)說(shuō)明146-150
• 9.3.2 模型分析150-152
• 9.4 小結(jié)152-153
• 第十章 總結(jié)與展望153-156
• 10.1 論文工作總結(jié)153-154
• 10.2 不足及未來(lái)工作154-156
• 參考文獻(xiàn)156-163
• 致謝163-

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 張靜;王海洋;崔立真;;基于Pi演算的跨組織工作流建模研究[J];計(jì)算機(jī)研究與發(fā)展;2007年07期

2 鄧水光;黃龍濤;尹建偉;李瑩;吳健;;Web服務(wù)組合技術(shù)框架及其研究進(jìn)展[J];計(jì)算機(jī)集成制造系統(tǒng);2011年02期

3 盧亞輝;明仲;張力;;業(yè)務(wù)過(guò)程協(xié)同模式的研究[J];計(jì)算機(jī)集成制造系統(tǒng);2011年08期

4 單保華;楊冬菊;張利永;楊少華;孫為群;;一種有盟主的服務(wù)虛擬組織模型及其在電子政務(wù)中的應(yīng)用[J];計(jì)算機(jī)學(xué)報(bào);2006年07期

5 孫萍;蔣昌俊;;利用服務(wù)聚類優(yōu)化面向過(guò)程模型的語(yǔ)義Web服務(wù)發(fā)現(xiàn)[J];計(jì)算機(jī)學(xué)報(bào);2008年08期

6 李喜彤;范玉順;;Web服務(wù)流程相容性和相似性分析[J];計(jì)算機(jī)學(xué)報(bào);2009年12期

7 葛季棟;胡海洋;周宇;胡昊;王棟毅;過(guò)曉波;;一種基于不變量的工作流協(xié)同模型分解方法[J];計(jì)算機(jī)學(xué)報(bào);2012年10期

8 曹潔;曾國(guó)蓀;鈕俊;許金超;;云環(huán)境下可用性感知的并行任務(wù)調(diào)度方法[J];計(jì)算機(jī)研究與發(fā)展;2013年07期

9 林闖;蘇文博;孟坤;劉渠;劉衛(wèi)東;;云計(jì)算安全:架構(gòu)、機(jī)制與模型評(píng)價(jià)[J];計(jì)算機(jī)學(xué)報(bào);2013年09期

10 曾慶田;魯法明;劉聰;孟德存;;基于Petri網(wǎng)的跨組織應(yīng)急聯(lián)動(dòng)處置系統(tǒng)建模與分析[J];計(jì)算機(jī)學(xué)報(bào);2013年11期

  本文關(guān)鍵詞：一種業(yè)務(wù)過(guò)程協(xié)同建模的方法研究，，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：423581