计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2012年
12期
74-80
,共7页
基于构件的软件工程%构件替换性%构件自动机%形式化分析%形式化验证
基于構件的軟件工程%構件替換性%構件自動機%形式化分析%形式化驗證
기우구건적연건공정%구건체환성%구건자동궤%형식화분석%형식화험증
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题.基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行.
構件的插拔與替換是CBSD實現組裝開髮、支持定製和縯化的基本機製,基于行為協議的構件替換性分析與驗證是CBSD的覈心研究課題.基于有窮自動機理論和麵嚮服務軟件構件的特點,提齣瞭構件行為自動機模型以描述構件的行為協議,定義瞭構件行為替換性的概唸體繫,以增進軟件構件的複用,開髮瞭構件行為替換性的驗證方法,以支持構件行為替換性驗證的自動執行.
구건적삽발여체환시CBSD실현조장개발、지지정제화연화적기본궤제,기우행위협의적구건체환성분석여험증시CBSD적핵심연구과제.기우유궁자동궤이론화면향복무연건구건적특점,제출료구건행위자동궤모형이묘술구건적행위협의,정의료구건행위체환성적개념체계,이증진연건구건적복용,개발료구건행위체환성적험증방법,이지지구건행위체환성험증적자동집행.