【摘要】：在工作流網(wǎng)、開放網(wǎng)等Petri網(wǎng)模型的基礎上,提出適合描述面向服務系統(tǒng)的Petri網(wǎng)模型—EON(擴展開放網(wǎng)).針對服務的各種組合方式定義了五種EON的組合算子,利用這些組合算子可以從基本EON組合成復雜EON.基于這些組合算子,EON本身可以采用代數(shù)化的構造性方式表達,本文進一步給出EON的結構化操作語義,這種語義是遺忘式的,不依賴于EON的標識,而是用發(fā)生變化的代數(shù)表達式描述EON的運行狀態(tài).
[Abstract]:On the basis of Petri net models such as workflow net and open network, the Petri net model-EON (extended Open Network), which is suitable for describing service oriented system, is proposed. In this paper, five kinds of EON composition operators are defined for various service composition modes, which can be combined from basic EON to complex EON.. Based on the fact that these combinators can be expressed in an algebraic way, this paper further presents the structural operation semantics of EON, which is oblivious and independent of the identification of EON. Instead, the changing algebraic expression is used to describe the running state of EON.
【作者單位】： 北方工業(yè)大學信息工程學院;
【基金】：國家自然科學基金項目(61070030)資助 北京市屬高校學術創(chuàng)新團隊建設項目(PHR201107017)資助
【分類號】：TP393.09

【參考文獻】

相關期刊論文 前3條

1 劉方方;史玉良;張亮;施伯樂;;基于進程代數(shù)的Web服務合成的替換分析[J];計算機學報;2007年11期

2 郝克剛;郭小群;李向寧;;Pi~+演算及其對Petri網(wǎng)的表達[J];計算機學報;2011年02期

3 曹木亮,吳智銘,楊根科;一類新型的模塊化高級Petri網(wǎng)——π-網(wǎng)[J];上海交通大學學報;2004年01期

【共引文獻】

相關期刊論文 前10條

1 王海順,吳鵬;工作流性能評價方法[J];安陽師范學院學報;2005年02期

2 薛景;;衛(wèi)生監(jiān)督管理信息系統(tǒng)工作流建模及分析[J];辦公自動化;2008年14期

3 陳文明;高學東;;寶鋼煉鋼連鑄物流仿真器的建模方法[J];寶鋼技術;2009年05期

4 李軍求,孫逢春,張承寧,張國忠;用CAD技術進行汽車底盤總布置設計方法的研究[J];車輛與動力技術;2004年02期

5 沈鵬;焦利明;楊建立;;基于Petri網(wǎng)的防空旅C4ISR系統(tǒng)決策組織結構[J];兵工自動化;2005年06期

6 吳圣義;呂永健;逯國亮;胡春林;;基于分層著色Petri網(wǎng)的飛機戰(zhàn)傷搶修系統(tǒng)建模[J];兵工自動化;2007年05期

7 馮帆;孫德善;封會娟;索向軍;;基于Petri網(wǎng)的單裝備件需求量模型[J];兵工自動化;2008年07期

8 關成彬;段立;;Petri網(wǎng)在海軍戰(zhàn)役裝備保障指揮中的應用[J];兵工自動化;2008年12期

9 梁旭斌;蘇憲程;王景昌;趙前亮;;模糊petri網(wǎng)理論定量分析空間信息系統(tǒng)傳輸能力[J];兵工自動化;2009年08期

10 楊志華;劉順利;劉己斌;;基于Petri網(wǎng)的防空兵群指揮信息結構建模分析[J];兵工自動化;2012年04期

相關會議論文 前10條

1 趙會群;孫晶;魏瑩;王文文;;服務體系結構的動態(tài)演化方法研究[A];CCF NCSC 2011——第二屆中國計算機學會服務計算學術會議論文集[C];2011年

2 黃勇;胡健生;李晴帆;肖文昌;;模糊Petri網(wǎng)在通信網(wǎng)絡綜合性能評價中的應用[A];第十屆全國信號處理學術年會（CCSP-2001）論文集[C];2001年

3 程冬玲;朱永利;王新穎;;Petri網(wǎng)模型的程序代碼轉換[A];2007北京地區(qū)高校研究生學術交流會通信與信息技術會議論文集（上冊）[C];2008年

4 傅榮;劉超男;;面向對象系統(tǒng)分析與設計中動態(tài)模型的Petri網(wǎng)描述[A];1999中國控制與決策學術年會論文集[C];1999年

5 張峰;傅榮;辜建德;李茂青;;信息系統(tǒng)協(xié)同開發(fā)的Petri網(wǎng)研究[A];1999中國控制與決策學術年會論文集[C];1999年

6 董明峰;王中勝;李敏強;;ERP中動態(tài)企業(yè)模型和建模方法[A];2000中國控制與決策學術年會論文集[C];2000年

7 王宇;王以直;李敏強;;動態(tài)自適應工作流系統(tǒng)的建模研究[A];2000中國控制與決策學術年會論文集[C];2000年

8 王壽光;顏鋼鋒;;Petri網(wǎng)簡化技術在死鎖避免控制器設計中的應用[A];第二十四屆中國控制會議論文集（下冊）[C];2005年

9 唐立軍;王小藝;王建中;;一種擴展隨機有色Petri網(wǎng)及在防空作戰(zhàn)建模中的應用[A];'2008系統(tǒng)仿真技術及其應用學術會議論文集[C];2008年

10 文靜華;李祥;;安全開放系統(tǒng)的Petri網(wǎng)模型[A];2005年全國開放式分布與并行計算學術會議論文集[C];2005年

相關博士學位論文 前10條

1 劉心;基于Petri網(wǎng)的FMS建模及故障診斷方法研究[D];哈爾濱工程大學;2010年

2 徐小峰;面向船舶制造協(xié)同物流網(wǎng)絡的資源優(yōu)化研究[D];哈爾濱工程大學;2009年

3 劉天印;基于系統(tǒng)模擬的高校教師工作壓力研究[D];華中科技大學;2010年

4 張志明;柔性制造系統(tǒng)死鎖預防的Petri網(wǎng)控制器綜合[D];浙江大學;2010年

5 付曉東;Web服務組合服務質量保障關鍵問題研究[D];昆明理工大學;2008年

6 劉思華;電網(wǎng)故障診斷方法的研究[D];山東大學;2010年

7 吳新星;基于語言的軟件可信性度量理論及其應用[D];華東師范大學;2011年

8 朱強;基于對等網(wǎng)絡架構的新型控制系統(tǒng)研究與實現(xiàn)[D];上海大學;2011年

9 陶雪飛;陶瓷企業(yè)低碳制造系統(tǒng)模式及評估與建模方法[D];重慶大學;2010年

10 馬洪;軌道交通樞紐動態(tài)換乘效率及網(wǎng)絡客流研究[D];清華大學;2010年

相關碩士學位論文 前10條

1 釗紅梅;工作流在網(wǎng)絡管理系統(tǒng)中的應用[D];鄭州大學;2010年

2 王佳慧;基于面向對象的隨機Petri網(wǎng)圖形建模與分析工具的開發(fā)[D];鄭州大學;2010年

3 張茜;基于Petri網(wǎng)的網(wǎng)絡脆弱性評估技術研究[D];哈爾濱工程大學;2010年

4 肖良清;基于時間Petri網(wǎng)的并行測試研究[D];長沙理工大學;2010年

5 常顯斌;研發(fā)合作知識創(chuàng)新的資源分配研究[D];中國海洋大學;2010年

6 林潔;SRS-F01柔性制造教學系統(tǒng)的設計[D];蘇州大學;2010年

7 陸潔;動態(tài)模糊Petri網(wǎng)理論及其應用研究[D];蘇州大學;2010年

8 張微;多Agent在供應鏈銷售系統(tǒng)中應用[D];河北工程大學;2010年

9 張祥濤;基于語義Web服務的多層次匹配模型的研究與實現(xiàn)[D];華南理工大學;2010年

10 劉云;數(shù)字家庭無線射頻協(xié)議的形式化分析與研究[D];華東理工大學;2011年

【二級參考文獻】

相關期刊論文 前1條

1 郝克剛;郭小群;;Pi演算對圖靈機的表達[J];計算機工程與科學;2009年10期

【相似文獻】

相關期刊論文 前10條

1 沈桂芳;;基于Petri網(wǎng)的Web服務組合流程的驗證[J];科技信息;2009年08期

2 曹利培;孔娟;劉靜;;Web服務組合形式化驗證方法研究[J];計算機工程與應用;2009年25期

3 宋巍;馬曉星;呂建;;Web服務組合動態(tài)演化的實例可遷移性[J];計算機學報;2009年09期

4 李勇軍;劉敏娟;;基于Pi-演算的服務組合正確性驗證[J];軟件導刊;2009年07期

5 林婧;;基于Petri網(wǎng)和概念格的服務發(fā)現(xiàn)與組合[J];電子商務;2011年07期

6 郭迎九;林闖;尹浩;田立勤;;基于Petri網(wǎng)的數(shù)字媒體分發(fā)協(xié)議的安全性證明[J];電子學報;2009年05期

7 雷麗暉;段振華;;語義標記Petri網(wǎng)的組合Web服務建模與驗證(英文)[J];計算機科學與探索;2009年02期

8 方娟;王志杰;;SOA架構下基于Petri網(wǎng)的Web服務協(xié)商模型[J];微電子學與計算機;2009年08期

9 馬洪江;;一種面向自動推理的語義Web服務發(fā)現(xiàn)方法[J];計算機與數(shù)字工程;2011年04期

10 袁志祥,葉紅;電子商務協(xié)議的建模方法與分析[J];安徽工業(yè)大學學報(自然科學版);2004年03期

相關會議論文 前10條

1 方娟;王志杰;;SOA架構下基于Petri網(wǎng)的Web服務協(xié)商模型[A];2009年全國開放式分布與并行計算機學術會議論文集(上冊)[C];2009年

2 薛靜鋒;曹元大;;Petri網(wǎng)在入侵檢測中的應用[A];第六屆全國計算機應用聯(lián)合學術會議論文集[C];2002年

3 常欣;袁華;逄煥利;胡亮;王U，

本文編號：2224337