本文關(guān)鍵詞：基于CPN的BPEL活動(dòng)協(xié)同授權(quán)一致性檢測(cè)機(jī)制研究

  更多相關(guān)文章： BPEL 組合Web服務(wù) 活動(dòng) 協(xié)同授權(quán) CPN 一致性檢測(cè)

【摘要】：BPEL訪問(wèn)控制機(jī)制是Web服務(wù)安全組合研究的重要內(nèi)容,如何維護(hù)活動(dòng)協(xié)同授權(quán)的一致性是其中的難點(diǎn)。通過(guò)擴(kuò)展的CPN(有色Petri網(wǎng))對(duì)BPEL活動(dòng)協(xié)同授權(quán)執(zhí)行的動(dòng)態(tài)行為語(yǔ)義進(jìn)行建模,利用可覆蓋樹(shù)方法分析協(xié)同授權(quán)模型狀態(tài)變遷發(fā)生的序列,實(shí)現(xiàn)活動(dòng)協(xié)同授權(quán)約束一致性的動(dòng)態(tài)檢測(cè),為組合Web服務(wù)中業(yè)務(wù)流程協(xié)同授權(quán)約束設(shè)計(jì)的一致性提供合理的理論基礎(chǔ)。最后,通過(guò)實(shí)例說(shuō)明了檢測(cè)機(jī)制的有效性。
【作者單位】： 華中師范大學(xué)教育信息技術(shù)學(xué)院;青少年網(wǎng)絡(luò)心理與行為教育部重點(diǎn)實(shí)驗(yàn)室;
【關(guān)鍵詞】： BPEL 組合Web服務(wù) 活動(dòng) 協(xié)同授權(quán) CPN 一致性檢測(cè)
【基金】：華中師范大學(xué)中央高�；究蒲袠I(yè)務(wù)費(fèi)項(xiàng)目(CCNU13A05053) 教育部人文社科項(xiàng)目(11YJA880163) 湖北省教育規(guī)劃課題(2011B039) 武漢市科技計(jì)劃項(xiàng)目(2014060101010030) 國(guó)家“十二五”科技支撐計(jì)劃課題(2012BAD35B02)資助
【分類(lèi)號(hào)】：TP393.08
【正文快照】： 1引言業(yè)務(wù)流程執(zhí)行語(yǔ)言BPEL(Business Process ExecutionLanguage)提供了Web服務(wù)組合的標(biāo)準(zhǔn)模型[1],它以流程的方式定義了Web服務(wù)的協(xié)同方式。BPEL活動(dòng)之間具有分工性、依賴性和交互性的特點(diǎn),其調(diào)用比一個(gè)單獨(dú)Web服務(wù)調(diào)用需要更多的安全需求,需遵循動(dòng)態(tài)授權(quán)、最小權(quán)限原則和職

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前2條

1 唐佳俊;黃志球;王進(jìn);;一種Web服務(wù)組合的可信評(píng)估方法[J];計(jì)算機(jī)科學(xué);2013年02期

2 宋巍;唐金輝;張功萱;馬曉星;;WS-BPEL服務(wù)可替換性分析[J];中國(guó)科學(xué):信息科學(xué);2012年03期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 方冉;陳乃金;;基于S3C44B0X處理器觸摸屏接口的設(shè)計(jì)與測(cè)試[J];安徽工程科技學(xué)院學(xué)報(bào)(自然科學(xué)版);2010年02期

2 代秀娟;章昭輝;王敏生;楊娟;潘冬生;汪小寒;;旅游信息服務(wù)組合的Petri網(wǎng)建模及其實(shí)現(xiàn)[J];安徽師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年04期

3 金瑩;丁峰;;廣義隨機(jī)Petri網(wǎng)在工作流建模中的應(yīng)用研究[J];安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2010年01期

4 常宏達(dá);孫文輝;于雙元;丁丁;;Web服務(wù)組合形式理論分析與研究[J];兵工自動(dòng)化;2009年05期

5 熊杰;劉湘?zhèn)?周?chē)?guó)輝;;基于MC的電子對(duì)抗情報(bào)系統(tǒng)ESCPN模型性能分析[J];兵工自動(dòng)化;2010年08期

6 喻平;曹繼平;宋建社;章濤;;改進(jìn)的模糊Petri網(wǎng)算法及其在故障診斷中的應(yīng)用[J];兵工自動(dòng)化;2011年06期

7 王海燕;王紅軍;卓奕君;;基于Petri網(wǎng)的底盤(pán)總裝線人員配置優(yōu)化研究[J];北京信息科技大學(xué)學(xué)報(bào)(自然科學(xué)版);2009年04期

8 方可;馬萍;楊明;;仿真可信度評(píng)估中的AHP超越權(quán)重[J];北京航空航天大學(xué)學(xué)報(bào);2011年05期

9 左春榮;張志萍;;基于Petri網(wǎng)的第三方物流配送系統(tǒng)的建模研究[J];商業(yè)研究;2008年04期

10 謝富平;;基于Petri網(wǎng)的工作流系統(tǒng)不確定性時(shí)間信息的計(jì)算[J];江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年01期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 劉長(zhǎng)有;張莉;;基于著色Petri網(wǎng)的一類(lèi)航班推出沖突建模與仿真[A];第二十九屆中國(guó)控制會(huì)議論文集[C];2010年

2 岳昊;李文杰;陳寶興;;Petri網(wǎng)系統(tǒng)本原有效受控可重復(fù)向量分析[A];中國(guó)自動(dòng)化學(xué)會(huì)控制理論專(zhuān)業(yè)委員會(huì)B卷[C];2011年

3 阿孜古麗;劉建明;劉潔卉;;基于Petri網(wǎng)的業(yè)務(wù)流程評(píng)估[A];著力提高高等教育質(zhì)量，努力增強(qiáng)高校創(chuàng)新與服務(wù)能力——北京市高等教育學(xué)會(huì)2007年學(xué)術(shù)年會(huì)論文集（下冊(cè)）[C];2008年

4 王夙娟;馬炳先;曲守寧;;OWL-S服務(wù)的Petri網(wǎng)自動(dòng)建模方法研究[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國(guó)邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

5 張繼軍;董衛(wèi);;基于Petri網(wǎng)的構(gòu)件組裝運(yùn)算及其性質(zhì)[A];2006年全國(guó)開(kāi)放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集（三）[C];2006年

6 呂莉芳;李承家;薛瑜;;時(shí)延離散Petri網(wǎng)的形式分析[A];第九屆中國(guó)不確定系統(tǒng)年會(huì)、第五屆中國(guó)智能計(jì)算大會(huì)、第十三屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2011年

7 薛瑜;李承家;呂莉芳;;模糊Petri網(wǎng)與連續(xù)Petri網(wǎng)的關(guān)系[A];第九屆中國(guó)不確定系統(tǒng)年會(huì)、第五屆中國(guó)智能計(jì)算大會(huì)、第十三屆中國(guó)青年信息與管理學(xué)者大會(huì)論文集[C];2011年

8 陳挺;張育平;;基于Petri網(wǎng)的軟件過(guò)程建模技術(shù)的研究[A];2008通信理論與技術(shù)新進(jìn)展——第十三屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2008年

9 張雷;;一種計(jì)算機(jī)取證的時(shí)間Petri網(wǎng)推理方法[A];2008'中國(guó)信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（二）[C];2008年

10 何曉升;余春艷;陳鳳欽;;信號(hào)燈適應(yīng)性控制的DSPN建模[A];2009系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2009年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

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

2 宋巍;Web服務(wù)組合動(dòng)態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

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

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

5 楊鵬;基于廣義隨機(jī)Petri網(wǎng)理論的SIP的研究[D];蘭州理工大學(xué);2009年

6 吳鏑;面向RP領(lǐng)域的Web服務(wù)自主組建方法研究與應(yīng)用[D];上海大學(xué);2011年

7 李憲華;服務(wù)機(jī)器人雙臂協(xié)作技術(shù)研究及實(shí)現(xiàn)[D];上海大學(xué);2011年

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

9 劉昌平;可信計(jì)算環(huán)境安全技術(shù)研究[D];電子科技大學(xué);2011年

10 吳限德;快速響應(yīng)小衛(wèi)星測(cè)試?yán)碚撆c方法研究[D];哈爾濱工業(yè)大學(xué);2010年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 劉炎培;基于擴(kuò)展OOPN業(yè)務(wù)流程建模及異常處理模型研究[D];南昌航空大學(xué);2010年

2 劉洋;可逆邏輯門(mén)與可逆邏輯電路的Petri網(wǎng)建模與分析[D];山東科技大學(xué);2010年

3 楊磊;基于面向?qū)ο驪etri網(wǎng)的企業(yè)間工作流建模研究[D];山東科技大學(xué);2010年

4 李蕾;有色Petri網(wǎng)的動(dòng)態(tài)性質(zhì)判定及其在組裝生產(chǎn)線中的應(yīng)用[D];山東科技大學(xué);2010年

5 孫海春;C_net到可編譯表達(dá)式的映射方法[D];山東科技大學(xué);2010年

6 周月明;保險(xiǎn)索賠系統(tǒng)的協(xié)同容錯(cuò)層次模型研究[D];山東科技大學(xué);2010年

7 王廷剛;Petri網(wǎng)表征語(yǔ)言和可達(dá)性分析[D];山東科技大學(xué);2010年

8 呂楠;基于層次顏色Petri網(wǎng)的協(xié)同工作流的建模與分析[D];山東科技大學(xué);2010年

9 肖露娟;Web服務(wù)組合性能分析[D];浙江理工大學(xué);2010年

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

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

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 呂建;馬曉星;陶先平;徐鋒;胡昊;;網(wǎng)構(gòu)軟件的研究與進(jìn)展[J];中國(guó)科學(xué)E輯:信息科學(xué);2006年10期

2 肖文;張自力;李偉華;;基于QoS的可信Web服務(wù)組合研究[J];計(jì)算機(jī)科學(xué);2011年06期

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

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

5 李喜彤;范玉順;;Web服務(wù)流程相容性和相似性分析[J];計(jì)算機(jī)學(xué)報(bào);2009年12期

6 郎波;劉旭東;王懷民;謝冰;毛曉光;;一種軟件可信分級(jí)模型[J];計(jì)算機(jī)科學(xué)與探索;2010年03期

7 洪宏;黃志球;沈國(guó)華;錢(qián)巨;劉春勇;;支持軟件可信評(píng)估的框架及其應(yīng)用研究[J];計(jì)算機(jī)科學(xué)與探索;2011年02期

8 沈國(guó)華;黃志球;錢(qián)巨;徐擁軍;郝進(jìn);趙文耘;彭鑫;;軟件可信評(píng)估模型及其工具實(shí)現(xiàn)[J];計(jì)算機(jī)科學(xué)與探索;2011年06期

9 孟琳琳;趙偉男;孫海龍;劉旭東;;Web服務(wù)可信證據(jù)收集與評(píng)估機(jī)制研究[J];計(jì)算機(jī)科學(xué)與探索;2011年07期

10 胡昊;殷琴;呂建;;虛擬計(jì)算環(huán)境中服務(wù)行為與質(zhì)量的一致性[J];軟件學(xué)報(bào);2007年08期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 王建雨;田錫天;耿俊浩;;基于結(jié)構(gòu)元的BPMN—BPEL映射方法[J];機(jī)械制造;2010年09期

2 呂鳴劍;孟東升;;基于WS-BPEL的業(yè)務(wù)流程設(shè)計(jì)研究[J];計(jì)算機(jī)與數(shù)字工程;2009年11期

3 洪曉霞;方潔;江丕俊;;基于Petri網(wǎng)業(yè)務(wù)流程建模及到BPEL4WS的轉(zhuǎn)換[J];計(jì)算機(jī)技術(shù)與發(fā)展;2011年02期

4 李德生,王海洋;一種將業(yè)務(wù)規(guī)則與BPEL有效集成的方法[J];計(jì)算機(jī)應(yīng)用;2005年11期

5 耿佳彬;;一種基于BPEL的網(wǎng)格工作流引擎[J];微計(jì)算機(jī)信息;2008年33期

6 莫裕清;;用兩階段提交協(xié)議保證WEB服務(wù)的事務(wù)[J];中國(guó)科技信息;2006年09期

7 張永勝;徐麗麗;齊峰;王強(qiáng);;基于三層組織模型的一種Web服務(wù)組合策略[J];計(jì)算機(jī)工程與應(yīng)用;2008年22期

8 張子胤;;一種支持Web Services動(dòng)態(tài)組合的網(wǎng)絡(luò)結(jié)構(gòu)[J];廣東通信技術(shù);2008年11期

9 王玉英;陳平;;基于賦時(shí)有色Petri網(wǎng)的Web組合服務(wù)建模[J];計(jì)算機(jī)科學(xué);2010年10期

10 賈向陽(yáng);應(yīng)時(shí);張韜;余曉峰;;一個(gè)支持業(yè)務(wù)過(guò)程動(dòng)態(tài)演化的可反射框架[J];計(jì)算機(jī)工程;2006年10期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前3條

1 張功源;李必信;邱棟;吉順慧;;一種基于并發(fā)的BPEL控制流模型的分析及驗(yàn)證[A];第六屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2010年

2 何濤;繆淮扣;錢(qián)忠勝;;基于π-演算的web服務(wù)流的分析與建模(英文)[A];全國(guó)語(yǔ)域web與本體能研討會(huì)論文集[C];2006年

3 陳步橋;徐濤;;一種基于BPEL加入語(yǔ)義的動(dòng)態(tài)服務(wù)組合框架[A];中國(guó)通信學(xué)會(huì)第六屆學(xué)術(shù)年會(huì)論文集（上）[C];2009年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前4條

1 吳江霞;Web組合服務(wù)QoS屬性預(yù)測(cè)方法研究[D];北京郵電大學(xué);2008年

2 鄧娜;BPEL流程生命周期中若干關(guān)鍵問(wèn)題研究[D];北京郵電大學(xué);2011年

3 楊學(xué)紅;BPEL流程的故障模式及其靜態(tài)分析技術(shù)的研究[D];北京郵電大學(xué);2011年

4 張曼;面向服務(wù)的業(yè)務(wù)流程建模與驗(yàn)證研究[D];西安電子科技大學(xué);2012年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 錢(qián)忠山;基于BPEL的醫(yī)療信息交換系統(tǒng)[D];哈爾濱工業(yè)大學(xué);2011年

2 黃宇;基于BPEL的服務(wù)組合動(dòng)態(tài)優(yōu)化機(jī)制研究[D];重慶大學(xué);2012年

3 宮丙寅;基于BPEL的多學(xué)科優(yōu)化流程建模與調(diào)度技術(shù)研究[D];南京理工大學(xué);2012年

4 周如民;BPEL引擎及動(dòng)態(tài)恢復(fù)機(jī)制的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2009年

5 鄧敏;基于BPEL的服務(wù)生成系統(tǒng)的研究與實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

6 吳彥;基于BPEL的服務(wù)構(gòu)件組合執(zhí)行引擎研究與實(shí)現(xiàn)[D];大連海事大學(xué);2011年

7 汪正舟;基于行為屬性和依賴關(guān)系的BPEL相似度度量研究[D];南京理工大學(xué);2013年

8 王秀武;基于隨機(jī)Petri網(wǎng)的BPEL服務(wù)組合分析方法的研究[D];重慶大學(xué);2011年

9 劉春杰;基于BPEL的動(dòng)態(tài)Web服務(wù)組合的自適應(yīng)研究[D];山東科技大學(xué);2011年

10 穆林;基于BPEL的Web服務(wù)組合技術(shù)研究與實(shí)現(xiàn)論[D];河海大學(xué);2006年

，

本文編號(hào)：888036