Petri網可重寫理論及在服務組合中的套用

《Petri網可重寫理論及在服務組合中的套用》是依託山東科技大學，由龐善臣擔任項目負責人的面上項目。

基本介紹

• 中文名：Petri網可重寫理論及在服務組合中的套用
• 項目類別：面上項目
• 項目負責人：龐善臣
• 依託單位：山東科技大學

項目摘要

Petri網建模在解決服務組合問題時遇到較大困難,組合後的模型描述無法繼承原有模型的活性、有界、公平、可逆等屬性，也無法繼承原有分析過程.作為Petri網理論和套用研究的重要內容,本項目提出研究Petri網可重寫理論是解決服務組合、重構的一個重要建模理論及分析方法。項目將集中研究Petri網可重寫理論及分析方法,重點研究可重寫Petri網的結構特點及分類,以建立Petri網可重寫規則,深入研究重寫後Petri網的性質(活性、有界性、公平性、可逆性、進程、語言等)保持及繼承等基本問題,設計快速、動態的Petri網可重寫生成器算法,實現Petri網快速、動態、自動重寫,進一步研究可重寫Petri網的系統建模能力,以及在緩解狀態空間爆炸、降低分析複雜度等方面的優勢,最後將理論研究成果套用在服務組合（可重構軟體系統）的建模分析中,建立面向服務架構（SOA）系統可重構的形式化建模和分析方法.

結題摘要

本項目自實施以來，課題組成員按照項目計畫任務書的有關要求，在廣泛查閱和檢索國內外最新研究成果的基礎上，根據國際最新的服務計算和Petri網研究進展，開展了Petri網可重寫理論的相關研究，重點進行了Petri網可重寫理論及分析方法研究。建立了可重寫Petri網的結構特點及分類體系和相應類型的Petri網可重寫規則,深入研究了重寫後Petri網的性質(活性、有界性、公平性、可逆性、進程、語言等)保持及繼承等基本問題。建立了基於可重寫Petri網的服務組合、重構的理論及分析方法。設計了快速、動態的Petri網可重寫生成器算法,實現Petri網快速、動態、自動重寫。進一步研究了可重寫Petri網的系統建模能力,以及在緩解狀態空間爆炸、降低分析複雜度等方面的優勢, Petri網的動態的服務組合模型及性質、動態工作流的QoS隨機評價分析方法、複雜軟體系統公平性驗證方法、基於工作流的資源建模、雲計算中的資源動態最佳化配置等方面的內容。項目的研究為豐富和發展了Petri網的行為理論，為系統的行為表達、分析和性質驗證提供了新的理論基礎。 項目實施以來，共發表論文11篇，其中SCI檢索3篇，EI檢索8篇。培養碩士研究生8人，先後開展了同美國伊利諾伊大學、美國維吉尼亞聯邦大學、清華大學、北京大學、同濟大學等學術交流，邀請了姚建銓院士、澳門大學校長趙偉教授、同濟大學蔣昌俊教授領銜的科研團隊以及清華大學林闖教授等訪問了山東科技大學，並進行了學術交流。舉辦了2012年中國計算機學會Petri網專業委員會會議。 項目實施以來，經費支出在預算範圍內得到有效合理使用。