【摘要】：在工作流網(wǎng)、開放網(wǎng)等Petri網(wǎng)模型的基礎(chǔ)上,提出適合描述面向服務(wù)系統(tǒng)的Petri網(wǎng)模型—EON(擴(kuò)展開放網(wǎng)).針對(duì)服務(wù)的各種組合方式定義了五種EON的組合算子,利用這些組合算子可以從基本EON組合成復(fù)雜EON.基于這些組合算子,EON本身可以采用代數(shù)化的構(gòu)造性方式表達(dá),本文進(jìn)一步給出EON的結(jié)構(gòu)化操作語(yǔ)義,這種語(yǔ)義是遺忘式的,不依賴于EON的標(biāo)識(shí),而是用發(fā)生變化的代數(shù)表達(dá)式描述EON的運(yùn)行狀態(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è)大學(xué)信息工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金項(xiàng)目(61070030)資助 北京市屬高校學(xué)術(shù)創(chuàng)新團(tuán)隊(duì)建設(shè)項(xiàng)目(PHR201107017)資助
【分類號(hào)】：TP393.09

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

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

2 郝克剛;郭小群;李向?qū)?;Pi~+演算及其對(duì)Petri網(wǎng)的表達(dá)[J];計(jì)算機(jī)學(xué)報(bào);2011年02期

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

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 王海順,吳鵬;工作流性能評(píng)價(jià)方法[J];安陽(yáng)師范學(xué)院學(xué)報(bào);2005年02期

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

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

4 李軍求,孫逢春,張承寧,張國(guó)忠;用CAD技術(shù)進(jìn)行汽車底盤總布置設(shè)計(jì)方法的研究[J];車輛與動(dòng)力技術(shù);2004年02期

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

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

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

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

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

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

相關(guān)會(huì)議論文 前10條

1 趙會(huì)群;孫晶;魏瑩;王文文;;服務(wù)體系結(jié)構(gòu)的動(dòng)態(tài)演化方法研究[A];CCF NCSC 2011——第二屆中國(guó)計(jì)算機(jī)學(xué)會(huì)服務(wù)計(jì)算學(xué)術(shù)會(huì)議論文集[C];2011年

2 黃勇;胡健生;李晴帆;肖文昌;;模糊Petri網(wǎng)在通信網(wǎng)絡(luò)綜合性能評(píng)價(jià)中的應(yīng)用[A];第十屆全國(guó)信號(hào)處理學(xué)術(shù)年會(huì)（CCSP-2001）論文集[C];2001年

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

4 傅榮;劉超男;;面向?qū)ο笙到y(tǒng)分析與設(shè)計(jì)中動(dòng)態(tài)模型的Petri網(wǎng)描述[A];1999中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];1999年

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

6 董明峰;王中勝;李敏強(qiáng);;ERP中動(dòng)態(tài)企業(yè)模型和建模方法[A];2000中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2000年

7 王宇;王以直;李敏強(qiáng);;動(dòng)態(tài)自適應(yīng)工作流系統(tǒng)的建模研究[A];2000中國(guó)控制與決策學(xué)術(shù)年會(huì)論文集[C];2000年

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

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

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

相關(guān)博士學(xué)位論文 前10條

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

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

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

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

5 付曉東;Web服務(wù)組合服務(wù)質(zhì)量保障關(guān)鍵問題研究[D];昆明理工大學(xué);2008年

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

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

8 朱強(qiáng);基于對(duì)等網(wǎng)絡(luò)架構(gòu)的新型控制系統(tǒng)研究與實(shí)現(xiàn)[D];上海大學(xué);2011年

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

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

相關(guān)碩士學(xué)位論文 前10條

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

2 王佳慧;基于面向?qū)ο蟮碾S機(jī)Petri網(wǎng)圖形建模與分析工具的開發(fā)[D];鄭州大學(xué);2010年

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

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

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

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

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

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

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

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

【二級(jí)參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 郝克剛;郭小群;;Pi演算對(duì)圖靈機(jī)的表達(dá)[J];計(jì)算機(jī)工程與科學(xué);2009年10期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

2 曹利培;孔娟;劉靜;;Web服務(wù)組合形式化驗(yàn)證方法研究[J];計(jì)算機(jī)工程與應(yīng)用;2009年25期

3 宋巍;馬曉星;呂建;;Web服務(wù)組合動(dòng)態(tài)演化的實(shí)例可遷移性[J];計(jì)算機(jī)學(xué)報(bào);2009年09期

4 李勇軍;劉敏娟;;基于Pi-演算的服務(wù)組合正確性驗(yàn)證[J];軟件導(dǎo)刊;2009年07期

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

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

7 雷麗暉;段振華;;語(yǔ)義標(biāo)記Petri網(wǎng)的組合Web服務(wù)建模與驗(yàn)證(英文)[J];計(jì)算機(jī)科學(xué)與探索;2009年02期

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

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

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

相關(guān)會(huì)議論文 前10條

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

2 薛靜鋒;曹元大;;Petri網(wǎng)在入侵檢測(cè)中的應(yīng)用[A];第六屆全國(guó)計(jì)算機(jī)應(yīng)用聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2002年

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

本文編號(hào)：2224337