本文關(guān)鍵詞：Web交互模型的形式化驗(yàn)證研究

  更多相關(guān)文章： Web交互模型 形式化驗(yàn)證 數(shù)理推演 模型語義

【摘要】：Web交互模型的形式化驗(yàn)證是對(duì)Web事件屬性進(jìn)行校驗(yàn)的十分可信的方法。通過一系列的系統(tǒng)模型建立、系統(tǒng)行為分析以及對(duì)于模型中關(guān)心屬性的相關(guān)驗(yàn)證,能夠讓交互模型在設(shè)計(jì)階段就能使形式化模型暴露出其所存在的缺陷,而不至于讓缺陷保留到編碼階段或者更后面才能被真正地暴露出來,這樣使系統(tǒng)模型的生存能力更加強(qiáng)大,同時(shí)避免了因后期缺陷暴露而出現(xiàn)的大代價(jià)修復(fù)。通過對(duì)Web系統(tǒng)的交互應(yīng)用服務(wù)的過程模型化的體系進(jìn)行研究,通過模型本身具有的屬性進(jìn)行相關(guān)正確性的校驗(yàn),主要通過使用數(shù)學(xué)推理實(shí)現(xiàn)系統(tǒng)邏輯上的服務(wù)交互進(jìn)程,從而進(jìn)行過程的推演,并對(duì)系統(tǒng)服務(wù)的正確性進(jìn)行過程的形式化驗(yàn)證,從而使系統(tǒng)服務(wù)模塊的屬性正確性可以通過邏輯上的演進(jìn)來發(fā)現(xiàn)服務(wù)問題的存在,而不再是系統(tǒng)通過編碼實(shí)現(xiàn)后才發(fā)現(xiàn)。對(duì)Web交互模型的形式化驗(yàn)證是基于IMWSC模型語義形成的IMWSC模型的驗(yàn)證機(jī)制。
【作者單位】： 重慶廣播電視大學(xué)電子信息工程學(xué)院;電子科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院;
【基金】：重慶市教委(kj131607)資助
【分類號(hào)】：TP393.09
【正文快照】： 1前言隨著降低軟件開發(fā)成本和提高開發(fā)速度與質(zhì)量的需求日益增長(zhǎng),及基于分布式技術(shù)和構(gòu)件模塊的復(fù)用技術(shù)的快速發(fā)展,一種全新的面向服務(wù)的構(gòu)架體系SOA逐步成為軟件開發(fā)體系中的一個(gè)重要成員。在形成的新一代網(wǎng)絡(luò)計(jì)算模型中,以Web的模塊[1]組合及其提供的服務(wù)作為核心模型的通

【參考文獻(xiàn)】

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

1 楊藝;周元;;基于用戶查詢意圖識(shí)別的Web搜索優(yōu)化模型[J];計(jì)算機(jī)科學(xué);2012年01期

【共引文獻(xiàn)】

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

1 尤川川;張桂剛;;一種基于大數(shù)據(jù)的有效搜索方法[J];計(jì)算機(jī)科學(xué);2013年06期

2 趙欣;沈立煒;彭鑫;趙文耘;;P_MOEA:一種多目標(biāo)決策輔助遺傳算法用于服務(wù)組合QoS優(yōu)化[J];中國(guó)科學(xué):信息科學(xué);2013年01期

3 陸偉;周紅霞;張曉娟;;查詢意圖研究綜述[J];中國(guó)圖書館學(xué)報(bào);2013年01期

4 陳臣;陳雙飛;;一種基于大數(shù)據(jù)的數(shù)字圖書館高效搜索引擎[J];現(xiàn)代情報(bào);2014年01期

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

1 李欽;面向模型的組合理論研究[D];華東師范大學(xué);2011年

2 包力;Web服務(wù)組合形式化建模與驗(yàn)證研究[D];大連海事大學(xué);2009年

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

1 楊暢;一種Web服務(wù)編排的演算[D];浙江師范大學(xué);2009年

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

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

1 余肖生;司新霞;;基于聚類分析的元搜索引擎模型[J];重慶理工大學(xué)學(xué)報(bào)(自然科學(xué));2011年06期

2 袁鼎榮;鐘寧;張師超;;文本信息處理研究述評(píng)[J];計(jì)算機(jī)科學(xué);2011年02期

3 凌波;周水庚;周傲英;;P2P信息檢索系統(tǒng)的查詢結(jié)果排序與合并策略[J];計(jì)算機(jī)學(xué)報(bào);2007年03期

4 吳曉暉;宋萍萍;張榮欣;;有無查詢意圖的分類與實(shí)現(xiàn)架構(gòu)模型研究[J];情報(bào)科學(xué);2009年12期

5 王大玲;于戈;鮑玉斌;張沫;沈洲;;基于用戶搜索意圖的Web網(wǎng)頁動(dòng)態(tài)泛化[J];軟件學(xué)報(bào);2010年05期

6 羅長(zhǎng)壽;康麗;劉國(guó)靖;;基于遺傳算法的主題信息搜索系統(tǒng)研究[J];現(xiàn)代情報(bào);2009年03期

【相似文獻(xiàn)】

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

1 劉曉芹;黃考利;連光耀;呂曉明;;基于Rebeca模型的硬件設(shè)計(jì)形式化驗(yàn)證[J];計(jì)算機(jī)測(cè)量與控制;2009年05期

2 楊紅麗,王曙燕,韓俊剛;基于形式化的面向?qū)ο箝_發(fā)方法(FMOO)[J];計(jì)算機(jī)應(yīng)用;2000年05期

3 周宏斌,黃連生,桑田;基于串空間的安全協(xié)議形式化驗(yàn)證模型及算法[J];計(jì)算機(jī)研究與發(fā)展;2003年02期

4 陳江;陳建國(guó);陸慧娟;王康健;;UML時(shí)間順序圖的實(shí)時(shí)系統(tǒng)建模及驗(yàn)證[J];中國(guó)計(jì)量學(xué)院學(xué)報(bào);2010年01期

5 侯峻峰,張磊,黃連生;一種新的安全協(xié)議形式化驗(yàn)證方法[J];計(jì)算機(jī)研究與發(fā)展;2004年08期

6 郭建;時(shí)序電路的形式化證明[J];現(xiàn)代電子技術(shù);2005年20期

7 王金雙;楊華兵;張興元;王元元;張毓森;;電梯控制系統(tǒng)在Isabelle/HOL中的活動(dòng)性證明[J];計(jì)算機(jī)工程與應(yīng)用;2008年27期

8 潘國(guó)華;王惠芳;;密碼API安全性分析[J];計(jì)算機(jī)安全;2009年06期

9 郭建,韓俊剛;SOC的形式化驗(yàn)證方法[J];西安郵電學(xué)院學(xué)報(bào);2005年03期

10 張海賓;段振華;;混合投影時(shí)序邏輯與混合系統(tǒng)的形式化驗(yàn)證[J];計(jì)算機(jī)科學(xué);2007年11期

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

1 苗潔君;王克;;密碼模塊的形式化設(shè)計(jì)和驗(yàn)證研究[A];第二十一次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2006年

2 吳鈴鈴;周干民;何偉;高明倫;;IP軟核的形式化驗(yàn)證[A];全國(guó)第十五屆計(jì)算機(jī)科學(xué)與技術(shù)應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2003年

3 劉力軻;游定山;楊佳;元國(guó)軍;沈華;;集合通信芯片物理設(shè)計(jì)階段的驗(yàn)證方法[A];第十五屆計(jì)算機(jī)工程與工藝年會(huì)暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

4 郭建;韓俊剛;;基于PSL的FIFO的驗(yàn)證[A];第五屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2008年

5 余興超;馬爭(zhēng)先;王玉斌;董榮勝;;基于UPPAAL的簡(jiǎn)單網(wǎng)絡(luò)支付協(xié)議形式化驗(yàn)證[A];廣西計(jì)算機(jī)學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年

6 李彩虹;章超;李廉;孫守卿;;分布式同步仲裁器電路的SPIN建模和驗(yàn)證[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

7 何青;駱翔宇;蘇開樂;;對(duì)弈必勝策略的符號(hào)化模型檢測(cè)[A];2006年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

8 薛慧琦;吳恒;;由程序規(guī)約推導(dǎo)程序[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

9 郭華;莊雷;;電子商務(wù)協(xié)議的形式化驗(yàn)證方法及FR驗(yàn)證實(shí)例[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

10 陳博文;郭琦;沈海華;;浮點(diǎn)乘加部件的自動(dòng)化形式驗(yàn)證[A];第六屆中國(guó)測(cè)試學(xué)術(shù)會(huì)議論文集[C];2010年

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

1 張海賓;混合系統(tǒng)的形式化驗(yàn)證[D];西安電子科技大學(xué);2007年

2 許可;網(wǎng)格服務(wù)流的狀態(tài)π演算形式化驗(yàn)證技術(shù)研究與應(yīng)用[D];清華大學(xué);2007年

3 沈勝宇;模型檢驗(yàn)的反例解釋[D];國(guó)防科學(xué)技術(shù)大學(xué);2005年

4 張鵬飛;Agent通信的全信息形式語用方法[D];北京郵電大學(xué);2007年

5 李夢(mèng)君;安全協(xié)議形式化驗(yàn)證技術(shù)的研究與實(shí)現(xiàn)[D];國(guó)防科學(xué)技術(shù)大學(xué);2005年

6 張秀國(guó);基于過程網(wǎng)絡(luò)的服務(wù)協(xié)同計(jì)算模型研究[D];大連海事大學(xué);2006年

7 岳華偉;對(duì)一種SOC總線系統(tǒng)的驗(yàn)證[D];中國(guó)科學(xué)技術(shù)大學(xué);2007年

8 王小兵;面向?qū)ο驧SVL語言及其在組合Web服務(wù)驗(yàn)證中的應(yīng)用[D];西安電子科技大學(xué);2009年

9 范年柏;程序正確性驗(yàn)證的幾個(gè)問題[D];湖南大學(xué);2005年

10 高妍妍;ASIP體系結(jié)構(gòu)形式化建模與驗(yàn)證方法研究[D];中國(guó)科學(xué)技術(shù)大學(xué);2009年

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

1 林立;基于高階邏輯系統(tǒng)HOL的數(shù)字硬件形式化驗(yàn)證[D];西安電子科技大學(xué);2005年

2 閆碩;基于多項(xiàng)式符號(hào)代數(shù)的電路形式驗(yàn)證[D];北京交通大學(xué);2011年

3 王莉;供熱混合系統(tǒng)的抽象及其形式化驗(yàn)證[D];華中科技大學(xué);2004年

4 馬小龍;形式化驗(yàn)證在Office安全中的應(yīng)用研究[D];中國(guó)人民解放軍信息工程大學(xué);2005年

5 楊漢明;基于CPS的實(shí)時(shí)系統(tǒng)的面向方面的形式化驗(yàn)證方法[D];廣東工業(yè)大學(xué);2011年

6 鄭強(qiáng);基于SPIN的802.1X協(xié)議形式化驗(yàn)證和改進(jìn)[D];華東理工大學(xué);2012年

7 張澤恩;基于GSTE中的符號(hào)仿真設(shè)計(jì)與實(shí)現(xiàn)[D];電子科技大學(xué);2012年

8 圣應(yīng)山;HGD05A專用集成電路的設(shè)計(jì)[D];合肥工業(yè)大學(xué);2006年

9 陳華;基于通信順序進(jìn)程的安全協(xié)議形式化研究[D];華中科技大學(xué);2007年

10 廖軍和;深亞微米EoPDH專用集成電路的設(shè)計(jì)與實(shí)現(xiàn)[D];合肥工業(yè)大學(xué);2009年

，

本文編號(hào)：1187590