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

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

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

【參考文獻(xiàn)】

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

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

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

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

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

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

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

【共引文獻(xiàn)】

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

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

2 李震;劉斌;陸民燕;殷永峰;;基于擴(kuò)展Petri網(wǎng)的除冰軟件安全需求建模和驗(yàn)證[J];北京航空航天大學(xué)學(xué)報(bào);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ì)評(píng)價(jià)方法[J];電子學(xué)報(bào);2011年04期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：594263