软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
2期
234-253
,共20页
王博%白晓颖%贺飞%Xiaoyu SONG
王博%白曉穎%賀飛%Xiaoyu SONG
왕박%백효영%하비%Xiaoyu SONG
可组合嵌入式软件%可组合性%相容性%组合模型%组合机制%组合验证
可組閤嵌入式軟件%可組閤性%相容性%組閤模型%組閤機製%組閤驗證
가조합감입식연건%가조합성%상용성%조합모형%조합궤제%조합험증
composable embedded software%compatibility%composability%composition model%composition mechanism%composition verification
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.
可組閤嵌入式軟件以構件開髮技術為基礎,研究嵌入式構件的建模、組閤性質、構件間組閤機製以及組閤驗證等理論、方法和技術.從組閤理論、建模與驗證技術這3箇方麵對可組閤嵌入式軟件的研究現狀進行調研分析.組閤理論研究給齣構件可組閤性的樂觀定義和悲觀定義,從組閤操作、組閤規則兩箇方麵定義構件間的組閤機製.針對嵌入式構件的特點,著重調研瞭非功能特性和異構構件的建模與組閤技術,分析瞭非功能特性約束、麵嚮多特性的模型等方法.分析瞭基于契約的驗證、基于不變量的驗證、基于模型檢查的驗證等多種嵌入式軟件組閤驗證技術.最後,探討瞭需要進一步研究的問題.
가조합감입식연건이구건개발기술위기출,연구감입식구건적건모、조합성질、구건간조합궤제이급조합험증등이론、방법화기술.종조합이론、건모여험증기술저3개방면대가조합감입식연건적연구현상진행조연분석.조합이론연구급출구건가조합성적악관정의화비관정의,종조합조작、조합규칙량개방면정의구건간적조합궤제.침대감입식구건적특점,착중조연료비공능특성화이구구건적건모여조합기술,분석료비공능특성약속、면향다특성적모형등방법.분석료기우계약적험증、기우불변량적험증、기우모형검사적험증등다충감입식연건조합험증기술.최후,탐토료수요진일보연구적문제.