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

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

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

【參考文獻(xiàn)】

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 宋巍;Web服務(wù)組合動態(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ù)研究及實現(xiàn)[D];上海大學(xué);2011年

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

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

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

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

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

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

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

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

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

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

7 王廷剛;Petri網(wǎng)表征語言和可達(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)圖形建模與分析工具的開發(fā)[D];鄭州大學(xué);2010年

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號：888036