本文選題：軟件演化 + 體系結(jié)構(gòu)　； 參考：《軟件學(xué)報(bào)》2016年07期

【摘要】：運(yùn)用模型檢測(cè)技術(shù)驗(yàn)證動(dòng)態(tài)演化的正確性,是近年來軟件體系結(jié)構(gòu)動(dòng)態(tài)演化研究領(lǐng)域面臨的一個(gè)挑戰(zhàn).然而,當(dāng)前的方法很少考慮軟件體系結(jié)構(gòu)動(dòng)態(tài)演化時(shí)的相關(guān)條件.針對(duì)該問題,提出用條件狀態(tài)轉(zhuǎn)移系統(tǒng)表示軟件體系結(jié)構(gòu)動(dòng)態(tài)演化的狀態(tài)模型,將軟件體系結(jié)構(gòu)超圖映射為狀態(tài),演化規(guī)則運(yùn)用映射為條件狀態(tài)轉(zhuǎn)移關(guān)系,給出軟件體系結(jié)構(gòu)動(dòng)態(tài)演化的條件超圖文法到條件狀態(tài)轉(zhuǎn)移系統(tǒng)的映射方法以及相應(yīng)的實(shí)現(xiàn)算法,實(shí)現(xiàn)了軟件體系結(jié)構(gòu)動(dòng)態(tài)演化的條件狀態(tài)轉(zhuǎn)移系統(tǒng)的構(gòu)建,并證明了在該映射方法下,軟件體系結(jié)構(gòu)動(dòng)態(tài)演化條件超圖文法與條件狀態(tài)轉(zhuǎn)移系統(tǒng)的互模擬等價(jià).最后通過案例分析,運(yùn)用該方法以及模型檢測(cè)技術(shù),驗(yàn)證了軟件體系結(jié)構(gòu)動(dòng)態(tài)演化的相關(guān)性質(zhì),從而驗(yàn)證了該方法的有效性.
[Abstract]:It is a challenge to verify the correctness of dynamic evolution by using model checking technology in the field of software architecture dynamic evolution in recent years. However, the current methods rarely consider the related conditions for the dynamic evolution of software architecture. In order to solve this problem, a state model is proposed to represent the dynamic evolution of software architecture with conditional state transition system. The hypergraph of software architecture is mapped to state, and the evolution rules are mapped to conditional state transition relation. The mapping method from conditional hypergraph grammar to conditional state transition system of software architecture dynamic evolution and the corresponding implementation algorithm are given, and the construction of conditional state transition system of software architecture dynamic evolution is realized. It is proved that the software architecture dynamic evolution conditional hypergraph method and conditional state transition system are equivalent to each other under this mapping method. Finally, by using the method and model checking technology, the related properties of the dynamic evolution of the software architecture are verified, and the validity of the method is verified by a case study.
【作者單位】： 東華理工大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系;同濟(jì)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系;
【基金】：國家自然科學(xué)基金(61272107,61262001) 國家高技術(shù)研究發(fā)展計(jì)劃(863)(2009AA012201) 國家教育部網(wǎng)絡(luò)時(shí)代的科技論文快速共享專項(xiàng)(20110740001) 江西省青年科學(xué)家培養(yǎng)對(duì)象計(jì)劃(20142BCB23017) 江西省自然科學(xué)基金(20114BAB2 01043) 江西省科技支撐計(jì)劃(20112BBE50048) 江西省發(fā)明專利產(chǎn)業(yè)化技術(shù)示范項(xiàng)目(20143BBM26115)~~
【分類號(hào)】：TP311.5

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 徐洪珍;曾國蓀;陳波;;軟件體系結(jié)構(gòu)動(dòng)態(tài)演化的條件超圖文法及分析[J];軟件學(xué)報(bào);2011年06期

2 徐洪珍;曾國蓀;;基于超圖文法的軟件體系結(jié)構(gòu)動(dòng)態(tài)演化[J];同濟(jì)大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年05期

3 常志明;毛新軍;齊治昌;;Bigraph理論在自適應(yīng)軟件體系結(jié)構(gòu)上的應(yīng)用[J];計(jì)算機(jī)學(xué)報(bào);2009年01期

4 馬曉星;曹春;余萍;周宇;;基于圖文法的動(dòng)態(tài)軟件體系結(jié)構(gòu)支撐環(huán)境[J];軟件學(xué)報(bào);2008年08期

5 林惠民,張文輝;模型檢測(cè):理論、方法與應(yīng)用[J];電子學(xué)報(bào);2002年S1期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 葛徐駿;王玲;徐立華;郭建;朱惠彪;;ProMiner:系統(tǒng)性質(zhì)驅(qū)動(dòng)的雙向一致性檢驗(yàn)框架[J];軟件學(xué)報(bào);2016年07期

2 徐洪珍;曾國蓀;王曉燕;;一種演化超圖文法到狀態(tài)轉(zhuǎn)移系統(tǒng)的映射方法[J];軟件學(xué)報(bào);2016年07期

3 張博;李永明;;廣義可能線性時(shí)序邏輯的自動(dòng)機(jī)方法[J];內(nèi)江師范學(xué)院學(xué)報(bào);2016年06期

4 洪志國;王永濱;石民勇;;基于模型檢測(cè)和Maya MEL腳本反饋機(jī)制的動(dòng)漫渲染中間件開發(fā)[J];中國傳媒大學(xué)學(xué)報(bào)(自然科學(xué)版);2016年02期

5 汪永好;肖超恩;曾廣平;;基于事務(wù)的SMC動(dòng)態(tài)演化容錯(cuò)機(jī)制[J];計(jì)算機(jī)工程與設(shè)計(jì);2016年04期

6 蔡文華;徐洪珍;;面向服務(wù)的構(gòu)件可信演化策略[J];計(jì)算機(jī)應(yīng)用與軟件;2016年04期

7 ZHANG Chen;DUAN Zhenhua;YU Bin;TIAN Cong;DING Ming;;A Test Case Generation Approach Based on Sequence Diagram and Automata Models[J];Chinese Journal of Electronics;2016年02期

8 孫晶;金曉文;;模型檢測(cè)引導(dǎo)的TTCN-3測(cè)試套生成技術(shù)研究[J];計(jì)算機(jī)應(yīng)用與軟件;2016年03期

9 章鶴松;;基于遺傳算法的動(dòng)態(tài)體系結(jié)構(gòu)選擇[J];電腦知識(shí)與技術(shù);2015年34期

10 Yu ZHOU;Jidong GE;Pengcheng ZHANG;Weigang WU;;Model based verification of dynamically evolvable service oriented systems[J];Science China(Information Sciences);2016年03期

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

相關(guān)期刊論文 前7條

1 馬曉星;曹春;余萍;周宇;;基于圖文法的動(dòng)態(tài)軟件體系結(jié)構(gòu)支撐環(huán)境[J];軟件學(xué)報(bào);2008年08期

2 梅宏;申峻嶸;;軟件體系結(jié)構(gòu)研究進(jìn)展[J];軟件學(xué)報(bào);2006年06期

3 李長云;李贛生;何頻捷;;一種形式化的動(dòng)態(tài)體系結(jié)構(gòu)描述語言[J];軟件學(xué)報(bào);2006年06期

4 呂建;陶先平;馬曉星;胡昊;徐鋒;曹春;;基于Agent的網(wǎng)構(gòu)軟件模型研究[J];中國科學(xué)E輯:信息科學(xué);2005年12期

5 王映輝,王立福;軟件體系結(jié)構(gòu)演化模型[J];電子學(xué)報(bào);2005年08期

6 馬曉星 ,余萍 ,陶先平 ,呂建;一種面向服務(wù)的動(dòng)態(tài)協(xié)同架構(gòu)及其支撐平臺(tái)[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

7 黃罡,梅宏,楊芙清;基于反射式軟件中間件的運(yùn)行時(shí)軟件體系結(jié)構(gòu)[J];中國科學(xué)E輯:技術(shù)科學(xué);2004年02期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 曾曉勤;韓秀清;鄒陽;;一種基于邊的上下文相關(guān)圖文法形式化框架[J];軟件學(xué)報(bào);2008年08期

2 鄒陽;呂建;曹春;胡昊;宋巍;楊啟亮;;上下文相關(guān)圖文法的表達(dá)能力分析[J];軟件學(xué)報(bào);2012年07期

3 丁函;王毅;徐格靜;;圖文法與字符文法的比較分析[J];科技創(chuàng)新與應(yīng)用;2012年34期

4 張一立,孫杰,唐常杰,練林,鄭紅蘭;數(shù)據(jù)�；c樹圖文法[J];計(jì)算機(jī)研究與發(fā)展;1991年09期

5 花全香，邢漢承，，馮純伯;一種有效的結(jié)點(diǎn)標(biāo)號(hào)上下文無關(guān)圖文法分析算法[J];軟件學(xué)報(bào);1995年09期

6 方林,謝立;關(guān)系圖文法及其應(yīng)用[J];軟件學(xué)報(bào);1997年02期

7 花全香,邢漢承,馮純伯;數(shù)據(jù)流分析的圖文法途徑[J];小型微型計(jì)算機(jī)系統(tǒng);1997年07期

8 王毅;丁函;徐格靜;;圖文法并行歸約的研究[J];科技創(chuàng)新與應(yīng)用;2012年33期

9 鄒陽;曾曉勤;韓秀清;張康;;一個(gè)描述可視化語言上下文屬性化的圖文法框架(英文)[J];Journal of Southeast University(English Edition);2008年04期

10 孟祥武;圖文法遺傳算法[J];計(jì)算機(jī)工程與科學(xué);1998年04期

相關(guān)會(huì)議論文 前2條

1 王莉;鐘春香;;基于規(guī)則的網(wǎng)狀結(jié)構(gòu)目標(biāo)識(shí)別研究[A];1995年中國智能自動(dòng)化學(xué)術(shù)會(huì)議暨智能自動(dòng)化專業(yè)委員會(huì)成立大會(huì)論文集（下冊(cè)）[C];1995年

2 文貴華;張宇;丁月華;;開放對(duì)象操作的可視化研究[A];數(shù)據(jù)庫研究與進(jìn)展95——第十三屆全國數(shù)據(jù)庫學(xué)術(shù)會(huì)議論文集[C];1995年

相關(guān)博士學(xué)位論文 前1條

1 任志宏;Web服務(wù)復(fù)合的若干關(guān)健問題研究[D];中國科學(xué)院研究生院（軟件研究所）;2004年

相關(guān)碩士學(xué)位論文 前3條

1 張杰;基于圖文法的作戰(zhàn)系統(tǒng)模型一致性研究與實(shí)現(xiàn)[D];南京航空航天大學(xué);2012年

2 朱世佳;基于Petri網(wǎng)和SBML的可視化生物建模語言的研究[D];哈爾濱工業(yè)大學(xué);2007年

3 李興華;大規(guī)模定制模式下基于圖文法的產(chǎn)品族配置管理研究[D];重慶大學(xué);2006年

本文編號(hào)：1880205