《Web服務組合模型與算法》是依託東南大學，由王紅兵擔任項目負責人的面上項目。
（1）提出Web服務組合的語義Petri網模型，為驗證Web服務組合的流程正確性和語義一致性奠定基礎。（2）改進Web服務組合的流程正確性驗證算法。以語義Petri網為基礎，對服務組合流程正確性驗證進行改進，並給出相應的算法。（3）提出Web服務...
（1）提出一種擴展的層次的有色Petri網（稱為EH-CPN）對組合服務的行為進行建模，並在此基礎上生成用於集成測試的測試用例； （2） 提出了一種BPEL控制流圖（稱為XBFG），針對WEB服務的各種演化情況，實現了對組合服務回歸測試的測試...
通過改進WS-CDT，在結合常用的Web容錯策略和容錯服務連結，提出面向容錯Web服務組合的關係樹模型FTWS-CDT。在實現容錯基本服務可靠性模型、容錯服務連結可靠性模型、Web服務組合運行剖面模型的基礎上，提出了一個容錯Web服務組合的可靠性模型...
(3)為提高Web服務組合投入產出效率，面向不確定服務需求進行多樣性Web服務組合設計；定義Web服務組合方案適應性評價與估計方法；建立多目標Web服務組合最佳化模型、並設計新穎的多目標進化求解算法。(4)採用MA技術建立描述服務需求、套用環境及...
Web服務組合的套用推廣，其關鍵技術是要能夠實現Web服務的高效的、自動化的組合過程。本項目提出了以時間自動機為計算框架的Web服務組合模型。在此框架下，設計了一種具有形式化特徵的基於時間自動機的組合服務模型，提供了模型構建算法，並...
研究內容包括：（1）針對用戶需求中的行為約束和Web服務內部執行過程中的動態行為信息，研究有效的模型構建方法。(2)面向行為約束研究基於鬆弛匹配的Web服務發現方法，進而研究行為意識的語義Web服務組合方法。（3）為了提高組合服務執行行為的...
為此，我們設計了一種服務選擇模型：1）服務選擇問題中博弈環境的建立；2）服務請求者與提供者的收益計算模型；3）策略模型，也就是他們的收益關注點和行為策略。 二）設計面向服務組合的激勵機制。在服務選擇模型中，並不是簡單的只是...
對於Web服務的模型檢測，我們提出了將多智慧型體系統的謂詞抽象驗證套用於web服務組合抽象驗證與精化的方法。其中採用的驗證平台是我們的MCTK。這一方法可將包含眾多數據的web服務的狀態空間規約到可接受的程度，大大提高驗證效率。
《動態web服務組合關鍵技術與性能分析》是一本清華大學出版社在2011年出版的圖書，作者是 何炎祥，吳釗 內容簡介 本書從概念建模、基於服務質量的服務選擇、設計階段的仿真模擬、運行階段的性能分析和性能最佳化等方面，對web服務組合的關鍵...
⑥提出兼顧公平性的服務QoS綜合評分模型，運用改進的遺傳算法在候選服務中選擇符合用戶需求和情境的最優服務。⑦基於Petri網自適應進行Web服務調整，克服了Web服務失效問題。⑧在上述工作的基礎上，設計並實現了一個自適應Web服務組合原型系統...
3．3 基於Pi演算的多服務行為建模及驗證 3．4 多服務同步互動行為的兼容性驗證 第4章 組合服務運行期間的故障診斷 4．1 研究背景 4．2 國內外研究現狀 4．3 Web服務的分散式診斷理論 4．4 基於完備BPN模型的擇優診斷方法 4．5 ...
首先，在複雜決策問題的形式概念分析基礎上，研究網路環境下多領域套用的服務發現、組織與複合建模方法，提出一種面向模型組合求解過程的服務感知模型，實現基於模型重構邏輯解析和轉換的模型組合求解策略和參數匹配算法；其次，重點探討可重構...
模型；（2）提出了基於遺傳算法的資源預分配算法RPGA與基於多屬性QoS綜合評估方法的負載均衡策略，提高了可程式網路的資源利用率與服務質量，實驗驗證了上述方法的有效性和實用性；（3）提出了一整套多粒度服務部署、服務發現與服務組合算法...
2．4Web服務的描述語言 2．4．1WSDL 2．4．2OWLS與WSML 2．5服務質量 2．5．1簡單服務的QoS計算 2．5．2組合服務的QoS計算模型 2．5．3QoS的套用場景 2．6人件服務 2．6．1定義 2．6．2特性 2．6．3描述方式 2．6...
在講述服務組合時，引入了動作時序邏輯（TLA）的概念，提出了用TLA形式化描述、組合及驗證Web服務的思想，並對Web服務描述語言（WSDL）進行了動態擴展，給出了從WSDL到TLA規範的轉換算法和具體的實現，並使用TLA的模型檢驗器TLC對組合服務...
8.3可行Web服務選擇 8.3.1可行Web服務選擇的基礎算法 8.3.2隨機優勢測試算法 8.4實驗分析 8.4.1實驗設定 8.4.2算法有效性 8.4.3算法運行時間和可擴展性 8.4.4剪枝效率 8.5小結 第9章基於整數規劃的組合服務選擇 第10章...
為解決集中式服務發現結構存在的性能瓶頸問題，提出一種能自適應地調整領域劃分、分配系統資源的分散式web 服務發現體系結構。在協同過程控制方面，從服務替換的角度考慮服務恢復，基於備份路徑查找算法和局部誘導算法提出保證組合服務端到端的...
但由於缺乏全面的描述、動態特徵強、選擇算法的複雜性等，準確獲得需要的合格服務成為瓶頸，為解決該問題，本研究包括：（1）基於Web服務事實標準，建立一個擴展性強、柔性好的Web服務描述模型，既包含其功能屬性，也包含服務質量等非功能...
主要包括：（1）提出了基於語義預推理和圖存儲數據結構的語義服務快速發現及合成算法； （2）提出了基於反序漸進約束違背刪除策略和疊代bargaining策略建立最佳化合成執行路徑的方法；（3）提出了滿足鬆散原子性和QoS端對端約束的最佳化服務組合...
第3章 SOA基礎和Web服務契約 16 3.1 基本的SOA術語 17 3.1.1 面向服務計算 17 3.1.2 面向服務 17 3.1.3 面向服務架構 18 3.1.4 服務 19 3.1.5 服務模型 20 3.1.6 服務組合 20 3.1.7 服務庫存 ...
