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

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

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

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

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