《邏輯Petri網演化推理機制研究及其在服務組合中的套用》是依託山東科技大學，由杜玉越擔任項目負責人的面上項目。
基本介紹
- 中文名：邏輯Petri網演化推理機制研究及其在服務組合中的套用
- 項目類別：面上項目
- 項目負責人：杜玉越
- 依託單位：山東科技大學
項目摘要,結題摘要,
項目摘要
隨著Web服務數量增加，服務查找與綁定難度加大，服務發現效率及服務組合的動態性和自適應性急需提高。本項目把一組功能相似的服務映射為虛擬層的一個服務簇，構建一種基於服務簇的服務組合模式，研究邏輯Petri網的演化推理機制，並將其套用於基於服務簇的服務組合建模與分析。基於邏輯Petri網對服務簇進行建模，構建服務簇網元。研究邏輯Petri網的運算性質，給出邏輯Petri網的運算運算元及其運算條件，構建邏輯Petri網運算規則。研究邏輯Petri網之間的連結模式和動態連結規則，以及邏輯表達式推理與網進程演化推理相結合的融合推理技術。運用上述理論成果研究基於服務簇的服務組合、服務綁定、組合最佳化、動態性和自適應性等問題。最後，以電子商務為套用背景開發驗證分析工具，例證邏輯Petri網的演化推理機制在服務組合建模分析中的有效性和實用性。
結題摘要
隨著 Web 服務數量增加，服務查找與綁定難度加大，服務發現效率及服務組合的自適應性急需提高。本項目把一組功能相似的服務映射為虛擬層的一個服務簇，構建一種基於服務簇的服務組合模式，研究邏輯 Petri 網的演化推理機制，並將其套用於基於服務簇的服務組合建模與分析。本項目的主要研究內容及成果如下：1.邏輯Petri網推理分析技術研究方面（1）基於向量分析方法構建了一種邏輯Petri網的狀態方程，提出了一種邏輯Petri網可達性分析技術；（2）深入研究了組合邏輯時間工作流網的健壯性繼承關係，提出了一種基於組合邏輯時間工作流網的靜態結構判定健壯性繼承的方法；（3）基於邏輯Petri網的邏輯表達式推理，給出了邏輯網元的組合運算方法和匹配模式；（4）提出了一種邏輯Petri網的向量匹配方法，降低了邏輯Petri網的性質分析複雜度；（5）研究了直接分析邏輯Petri網動態性質的分析技術，提出了一種基於標識可達圖的邏輯Petri網的分析方法；（6）研究了邏輯Petri網的邏輯輸出變遷的值的不確定性，定義了顏色邏輯Petri網，在顏色邏輯Petri網中可以表示邏輯輸出變遷的不確定值，提出了一種向量匹配方法來判定變遷的使能條件，分析顏色邏輯Petri網。2.邏輯Petri網在服務組合中的套用研究方面（1）深入研究並提出了一種基於服務簇進行服務組合的方法；（2）提出了一種基於服務網路徑進行服務互動組合的健壯性判定方法，並設計了相關算法；（3）提出了一種基於服務簇網元模型的Web服務發現方法；（4）研究了服務簇的粒度問題，提出了一種服務簇的三維粒度劃分方法，包括結構粒度、數量粒度和質量粒度等三個方面；（5）基於關係代數、邏輯Petri網和結構代數，提出了一種服務網代數，給出了服務網代數的若干代數運算符的定義，提出了它們的運算規則；（6）深入研究並提出了一種以服務簇為基本單位在抽象層面上基於服務簇進行服務組合的方法。本項目獲山東省科技進步二等獎1項，山東省優秀博士學位論文1篇，山東省高等學校優秀科研成果三等獎2項，申請受理國家發明專利6項，青島市自然科學二等獎1項，山東科技大學優秀博士碩士學位論文3篇；發表學術論文53篇，其中SCI收錄7篇，EI收錄期刊論文28篇，EI收錄會議論文6篇。
