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

【摘要】：運用模型檢測技術(shù)驗證動態(tài)演化的正確性,是近年來軟件體系結(jié)構(gòu)動態(tài)演化研究領(lǐng)域面臨的一個挑戰(zhàn).然而,當前的方法很少考慮軟件體系結(jié)構(gòu)動態(tài)演化時的相關(guān)條件.針對該問題,提出用條件狀態(tài)轉(zhuǎn)移系統(tǒng)表示軟件體系結(jié)構(gòu)動態(tài)演化的狀態(tài)模型,將軟件體系結(jié)構(gòu)超圖映射為狀態(tài),演化規(guī)則運用映射為條件狀態(tài)轉(zhuǎn)移關(guān)系,給出軟件體系結(jié)構(gòu)動態(tài)演化的條件超圖文法到條件狀態(tài)轉(zhuǎn)移系統(tǒng)的映射方法以及相應(yīng)的實現(xiàn)算法,實現(xiàn)了軟件體系結(jié)構(gòu)動態(tài)演化的條件狀態(tài)轉(zhuǎn)移系統(tǒng)的構(gòu)建,并證明了在該映射方法下,軟件體系結(jié)構(gòu)動態(tài)演化條件超圖文法與條件狀態(tài)轉(zhuǎn)移系統(tǒng)的互模擬等價.最后通過案例分析,運用該方法以及模型檢測技術(shù),驗證了軟件體系結(jié)構(gòu)動態(tài)演化的相關(guān)性質(zhì),從而驗證了該方法的有效性.
[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.
【作者單位】： 東華理工大學計算機科學與技術(shù)系;同濟大學計算機科學與技術(shù)系;
【基金】：國家自然科學基金(61272107,61262001) 國家高技術(shù)研究發(fā)展計劃(863)(2009AA012201) 國家教育部網(wǎng)絡(luò)時代的科技論文快速共享專項(20110740001) 江西省青年科學家培養(yǎng)對象計劃(20142BCB23017) 江西省自然科學基金(20114BAB2 01043) 江西省科技支撐計劃(20112BBE50048) 江西省發(fā)明專利產(chǎn)業(yè)化技術(shù)示范項目(20143BBM26115)~~
【分類號】：TP311.5

【參考文獻】

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

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

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

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

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

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

【共引文獻】

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

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

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

3 張博;李永明;;廣義可能線性時序邏輯的自動機方法[J];內(nèi)江師范學院學報;2016年06期

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

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

6 蔡文華;徐洪珍;;面向服務(wù)的構(gòu)件可信演化策略[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 孫晶;金曉文;;模型檢測引導的TTCN-3測試套生成技術(shù)研究[J];計算機應(yīng)用與軟件;2016年03期

9 章鶴松;;基于遺傳算法的動態(tài)體系結(jié)構(gòu)選擇[J];電腦知識與技術(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期

【二級參考文獻】

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

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

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

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

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

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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

10 孟祥武;圖文法遺傳算法[J];計算機工程與科學;1998年04期

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

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

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

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

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

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

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

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

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

本文編號：1880205