本文關(guān)鍵詞：Web服務(wù)降級替換的一致性問題及量化研究

  更多相關(guān)文章： 進程演算(CCS) Web服務(wù) 降級替換 量化

【摘要】：在開放的網(wǎng)絡(luò)環(huán)境下,軟件系統(tǒng)的可信性受到了更大的挑戰(zhàn),軟件系統(tǒng)的降級替換是提高其可信性的方法之一�；谶M程代數(shù)研究了Web服務(wù)的降級替換問題。在原有進程代數(shù)的基礎(chǔ)上,添加了超時處理算子和延時處理算子,給出了Web服務(wù)降級替換一致性條件,從而保證了合成Web服務(wù)中降級替換的正確性。進一步地,從量化角度對Web服務(wù)的降級替換進行了研究。
【作者單位】： 上海電子信息職業(yè)技術(shù)學(xué)院計算機應(yīng)用系;華東師范大學(xué)教育部軟硬件協(xié)同設(shè)計技術(shù)與應(yīng)用工程研究中心;
【關(guān)鍵詞】： 進程演算(CCS) Web服務(wù) 降級替換 量化
【分類號】：TP393.09
【正文快照】： 到稿日期:2014-03-31返修日期:2014-06-161引言當前,隨著網(wǎng)絡(luò)技術(shù)的發(fā)展,以Web服務(wù)為計算實體的網(wǎng)絡(luò)軟件系統(tǒng)已經(jīng)成為主流,這類系統(tǒng)行為往往依賴于網(wǎng)絡(luò)環(huán)境下的通信交互。而網(wǎng)絡(luò)環(huán)境的開放性和不確定性,使得分析網(wǎng)絡(luò)軟件的行為變得更加具有挑戰(zhàn)性,同時也對網(wǎng)絡(luò)軟件可信性提出

【參考文獻】

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

1 史玉良;王海洋;張亮;施伯樂;;Web服務(wù)合成的相容性與替換性分析[J];計算機研究與發(fā)展;2007年11期

2 劉瑩;張一川;張斌;張明衛(wèi);朱志良;;基于行為效果的服務(wù)可替換性分析[J];計算機研究與發(fā)展;2010年08期

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

4 郭峰;魏光;;基于Petri網(wǎng)的Web服務(wù)描述及其可替換性分析[J];計算機集成制造系統(tǒng);2013年06期

5 宋仲凱;張曉容;殷昱煜;;QoS驅(qū)動的服務(wù)動態(tài)替換方法[J];計算機應(yīng)用與軟件;2012年01期

6 劉克;單志廣;王戟;何積豐;張兆田;秦玉文;;“可信軟件基礎(chǔ)研究”重大研究計劃綜述[J];中國科學(xué)基金;2008年03期

【共引文獻】

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

1 袁霖;王懷民;尹剛;史殿習(xí);米海波;;基于角色的軟件可信評估技術(shù)[J];北京工業(yè)大學(xué)學(xué)報;2010年05期

2 李震;劉斌;陸民燕;殷永峰;;基于擴展Petri網(wǎng)的除冰軟件安全需求建模和驗證[J];北京航空航天大學(xué)學(xué)報;2012年01期

3 石劍飛;閆懷志;秦瑋;王文同;;Component-Based Software Trustworthiness Fuzzy Analytic Hierarchy Process Model[J];Journal of Beijing Institute of Technology;2010年02期

4 符寧;周興社;詹濤;;基于受約束半環(huán)的服務(wù)可信性質(zhì)評價方法[J];電子學(xué)報;2011年04期

5 張廣泉;戎玫;王f;;時間感知Web服務(wù)交互行為建模與失配檢測方法研究[J];電子學(xué)報;2011年11期

6 張慧穎;李波;曹希真;;針對航天測控實時軟件的二級AHP-Fuzzy可信性評估模型[J];飛行器測控學(xué)報;2010年04期

7 戎強強;李方;余濤;;面向軟件可信優(yōu)化的失信因素分析方法[J];阜陽師范學(xué)院學(xué)報(自然科學(xué)版);2011年03期

8 羅新星;朱名勛;陳曉紅;;可信軟件中非功能需求FO-QSIG沖突權(quán)衡模型[J];系統(tǒng)工程;2010年02期

9 顧衛(wèi)江;;基于可信軟件的測試研究[J];計算機光盤軟件與應(yīng)用;2013年13期

10 謝文軍;付曉;于振華;韓林;;信息物理融合系統(tǒng)軟件可信性演化動力學(xué)建模[J];電訊技術(shù);2014年02期

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

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

2 周獻中;李檬;朱穎穎;占濟舟;趙佳寶;;基于系統(tǒng)思想的軟件可信性內(nèi)涵與特征分析[A];經(jīng)濟全球化與系統(tǒng)工程——中國系統(tǒng)工程學(xué)會第16屆學(xué)術(shù)年會論文集[C];2010年

3 周獻中;李檬;占濟舟;朱穎穎;趙佳寶;;研究軟件可信性的新視角:失信因子[A];經(jīng)濟全球化與系統(tǒng)工程——中國系統(tǒng)工程學(xué)會第16屆學(xué)術(shù)年會論文集[C];2010年

4 李震;劉斌;殷永峰;李曉勛;;基于改進Petri網(wǎng)的可信軟件模型驗證和測試研究[A];第六屆中國測試學(xué)術(shù)會議論文集[C];2010年

5 裴順昌;宋浩;李建平;蔡晨;;基于CMMI風險管理體系的可信軟件開發(fā)風險管理研究[A];第十一屆中國管理科學(xué)學(xué)術(shù)年會論文集[C];2009年

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

1 趙倩;基于自配置的軟件可信性增長模型及方法[D];哈爾濱工程大學(xué);2010年

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

3 王曉暾;不確定信息環(huán)境下的質(zhì)量功能展開研究[D];浙江大學(xué);2011年

4 向純潔;信息系統(tǒng)開發(fā)團隊績效影響行為因素研究[D];華中科技大學(xué);2011年

5 王娟麗;基于QFD的概念設(shè)計方法研究[D];浙江大學(xué);2011年

6 占濟舟;失信因子對軟件可信性的影響及其控制[D];南京大學(xué);2011年

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

8 陶紅偉;基于屬性的軟件可信性度量模型研究[D];華東師范大學(xué);2011年

9 唐姍;基于目標的高可信自適應(yīng)容錯軟件開發(fā)方法研究[D];復(fù)旦大學(xué);2011年

10 宋成;可信計算平臺中若干關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2011年

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

1 王志兵;軟件行為運行時驗證研究[D];湖南工業(yè)大學(xué);2010年

2 劉小飛;分布式軟件動態(tài)調(diào)控策略研究[D];湖南工業(yè)大學(xué);2010年

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

4 李靜;基于灰色理論的可信軟件規(guī)劃質(zhì)量屋模型研究[D];浙江大學(xué);2011年

5 朱恒亮;SOA中服務(wù)與服務(wù)組合的形式化研究[D];福建師范大學(xué);2010年

6 馬世敏;基于可信計算的內(nèi)網(wǎng)監(jiān)控系統(tǒng)的研究與實現(xiàn)[D];電子科技大學(xué);2011年

7 肖文;基于QoS的可信Web服務(wù)組合及其相關(guān)問題研究[D];西南大學(xué);2011年

8 江陽;Web服務(wù)組合與驗證相關(guān)技術(shù)研究[D];中南大學(xué);2011年

9 常斌;基于Pi-演算的Web服務(wù)組合的描述和驗證[D];南京郵電大學(xué);2011年

10 王培君;軟件產(chǎn)品族的變化性建模方法研究[D];浙江工業(yè)大學(xué);2010年

【二級參考文獻】

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

1 廖軍;譚浩;劉錦德;;基于Pi-演算的Web服務(wù)可替換性驗證[J];華中科技大學(xué)學(xué)報(自然科學(xué)版);2005年S1期

2 史玉良;黃光安;葉煒;張亮;施伯樂;;基于任務(wù)依賴信息的Web服務(wù)自動合成[J];計算機研究與發(fā)展;2006年12期

3 邱莉榕;史忠植;林芬;常亮;;基于主體的語義Web服務(wù)自動組合研究[J];計算機研究與發(fā)展;2007年04期

4 史玉良;王海洋;張亮;施伯樂;;Web服務(wù)合成的相容性與替換性分析[J];計算機研究與發(fā)展;2007年11期

5 陳丁劍;吳健;馬滿福;胡正國;;基于Petri網(wǎng)的Web服務(wù)組合建模[J];計算機科學(xué);2006年05期

6 閆春鋼;蔣昌俊;李啟炎;;基于Petri網(wǎng)的Web服務(wù)組合與分析[J];計算機科學(xué);2007年02期

7 王明微;張樹生;周競濤;;面向服務(wù)型制造的協(xié)同業(yè)務(wù)流程構(gòu)建框架[J];計算機集成制造系統(tǒng);2010年11期

8 錢柱中;陸桑璐;謝立;;基于Petri網(wǎng)的Web服務(wù)自動組合研究[J];計算機學(xué)報;2006年07期

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

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

【相似文獻】

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

1 林闖,魏丫丫;隨機進程代數(shù)與隨機Petri網(wǎng)[J];軟件學(xué)報;2002年02期

2 周偉,尹青,郭金庚;安全進程代數(shù)基礎(chǔ)[J];信息工程大學(xué)學(xué)報;2004年02期

3 尹青,周偉,郭金庚;基于安全進程代數(shù)的信息流模型[J];信息工程大學(xué)學(xué)報;2004年03期

4 馬梁;李明;宋潔;顧軍華;;進程代數(shù)在性能評價中的應(yīng)用研究[J];河北工業(yè)大學(xué)學(xué)報;2006年04期

5 郭輝;;進程代數(shù)及其在性能評價中的應(yīng)用綜述[J];微計算機應(yīng)用;2007年09期

6 肖芳雄;黃志球;曹子寧;張君華;覃志東;;一種擴展了價格信息的進程代數(shù)[J];南京航空航天大學(xué)學(xué)報;2009年01期

7 王精明;虞慧群;;基于安全進程代數(shù)的非演繹安全模型的分析與驗證[J];計算機科學(xué);2012年02期

8 曾國蓀，周定康;具有真正并發(fā)語義的面向約束的實時進程代數(shù)[J];江西師范大學(xué)學(xué)報(自然科學(xué)版);1999年02期

9 王精明;虞慧群;;基于安全進程代數(shù)的信息流安全模型的分析與驗證[J];華東理工大學(xué)學(xué)報(自然科學(xué)版);2012年01期

10 劉萬偉;周倜;李夢君;李舟軍;;一種基于進程代數(shù)的安全協(xié)議驗證消解算法[J];計算機工程與科學(xué);2006年07期

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

1 武彥平;;通信距離受限的進程代數(shù)研究[A];2009年研究生學(xué)術(shù)交流會通信與信息技術(shù)論文集[C];2009年

2 蔡國永;高濟;董榮勝;;電子機構(gòu)的進程代數(shù)模型研究[A];2007年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(下冊)[C];2007年

3 潘耘;王勵成;余鎮(zhèn)危;梁輝;;基于隨機進程代數(shù)的Overlay網(wǎng)絡(luò)上的QoS性能評價[A];中國通信學(xué)會通信軟件技術(shù)委員會2009年學(xué)術(shù)會議論文集[C];2009年

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

1 趙錫英;隨機進程代數(shù)的等價性判定計算[D];蘭州大學(xué);2007年

2 王立松;基于資源的訪問控制理論與應(yīng)用研究[D];南京航空航天大學(xué);2010年

3 張紅;可移動類進程代數(shù)及其靜態(tài)分析技術(shù)在系統(tǒng)生物學(xué)領(lǐng)域中應(yīng)用的研究[D];吉林大學(xué);2008年

4 蔣建民;對稱與動作細化[D];中國科學(xué)院研究生院（成都計算機應(yīng)用研究所）;2006年

5 錢曄;一種軟件演化過程建模、性質(zhì)驗證及性能分析方法[D];云南大學(xué);2014年

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

1 武彥平;通信距離受限的進程代數(shù)研究[D];南京航空航天大學(xué);2010年

2 張嚴;一種高階進程代數(shù)的弱互模擬研究[D];南京航空航天大學(xué);2008年

3 曾瓊;概率進程代數(shù)的度量指稱語義[D];中國科學(xué)院研究生院（成都計算機應(yīng)用研究所）;2006年

4 翁晶瑩;進程代數(shù)互模擬檢測算法的研究與實現(xiàn)[D];上海交通大學(xué);2012年

5 于金峰;基于進程代數(shù)的信息化建模與仿真[D];哈爾濱工程大學(xué);2009年

6 谷迪康;進程演算的比較語義研究[D];上海交通大學(xué);2009年

7 付興尊;基于進程代數(shù)的多路訪問協(xié)議模型研究與實現(xiàn)[D];華東師范大學(xué);2010年

8 鄧維佳;一種擴展的并發(fā)傳值進程抽象模型[D];中國科學(xué)院研究生院（軟件研究所）;2005年

9 徐忠林;并發(fā)的廣義符號軌跡賦值的研究[D];電子科技大學(xué);2010年

，

本文編號：594263