服務(wù)協(xié)同式自治VO開(kāi)發(fā)方法和技術(shù)研究.pdf

1、在開(kāi)放異構(gòu)且資源服務(wù)化的因特網(wǎng)上，如何快速構(gòu)建安全穩(wěn)健的服務(wù)協(xié)同虛擬組織(VO)是一個(gè)充滿挑戰(zhàn)的研究熱點(diǎn)。它不僅要解決服務(wù)的發(fā)現(xiàn)匹配、協(xié)商組裝和協(xié)同機(jī)制等的設(shè)計(jì)開(kāi)發(fā)問(wèn)題，而且要研究在服務(wù)自治條件下，服務(wù)協(xié)同VO組建、運(yùn)行過(guò)程的穩(wěn)健安全等管理問(wèn)題。由于這些問(wèn)題的錯(cuò)綜復(fù)雜性，需要有系統(tǒng)化的理論技術(shù)指導(dǎo)，才能開(kāi)發(fā)出高性能服務(wù)協(xié)同式自治VO系統(tǒng)。 論文以服務(wù)協(xié)同式自治VO系統(tǒng)開(kāi)發(fā)為研究對(duì)象，從其理論技術(shù)架構(gòu)、工程開(kāi)發(fā)和分析驗(yàn)證方法、關(guān)鍵

2、支撐技術(shù)實(shí)現(xiàn)三個(gè)層面進(jìn)行了研究，提出了新型服務(wù)協(xié)同式自治VO系統(tǒng)開(kāi)發(fā)的一個(gè)綜合技術(shù)框架MM2SC。主要研究?jī)?nèi)容和結(jié)果如下： 首先，分析了幾種典型復(fù)雜系統(tǒng)開(kāi)發(fā)的理論技術(shù)架構(gòu)，針對(duì)它們?cè)跇?gòu)建新型服務(wù)協(xié)同式自治VO時(shí)存在的不足，提出了一種新的理論技術(shù)架構(gòu)MM2SC。從四個(gè)層次：宏觀調(diào)控層、微觀行為管理層、宏-微連接層和服務(wù)層，通過(guò)六個(gè)模型：宏觀調(diào)控E-機(jī)構(gòu)模型，宏-微連接模型，微觀策略驅(qū)動(dòng)行為管理模型，自組織模型，規(guī)范契約遵從檢查模型

3、和自適應(yīng)演化模型，來(lái)系統(tǒng)地指導(dǎo)新型服務(wù)協(xié)同式自治VO的架構(gòu)設(shè)計(jì). 接著，針對(duì)宏觀調(diào)控層E-機(jī)構(gòu)規(guī)約開(kāi)發(fā)中存在的困難，提出了E-機(jī)構(gòu)規(guī)約開(kāi)發(fā)的工程化方法ESD。該方法建立了E-機(jī)構(gòu)規(guī)約的概念關(guān)系結(jié)構(gòu)、開(kāi)發(fā)視圖模型和過(guò)程模型等，可以有效指導(dǎo)工程人員導(dǎo)引出合理的領(lǐng)域宏觀調(diào)控E-機(jī)構(gòu)規(guī)約. 其次，針對(duì)E-機(jī)構(gòu)規(guī)約分析驗(yàn)證問(wèn)題，設(shè)計(jì)了E-機(jī)構(gòu)規(guī)約的行為操作語(yǔ)義模型，給出了規(guī)范公式的可滿足性語(yǔ)義定義；在此基礎(chǔ)上，提出使用道義擴(kuò)展的引

4、用Petri網(wǎng)(DPN)和時(shí)態(tài)邏輯(DTL)來(lái)形式化分析和驗(yàn)證E-機(jī)構(gòu)行為規(guī)范的方法。 然后，在宏-微連接支撐技術(shù)實(shí)現(xiàn)方面，分析了基于本體的領(lǐng)域概念分類(lèi)和相似性度量理論，提出了基于適用情景模式的服務(wù)信息描述、匹配技術(shù)和算法；探討了協(xié)商系統(tǒng)的一般性原理，設(shè)計(jì)了基于協(xié)商的VO組建原型試驗(yàn)環(huán)境的基本框架；研究了規(guī)范agent的基本技術(shù)，實(shí)現(xiàn)了一個(gè)簡(jiǎn)化的規(guī)范遵從、策略驅(qū)動(dòng)的微觀行為管理自治元素。 最后，論文以一個(gè)具體的實(shí)例開(kāi)發(fā)分