软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2006年
6期
1298-1306
,共9页
熊惠民%应时%虞莉娟%张韬
熊惠民%應時%虞莉娟%張韜
웅혜민%응시%우리연%장도
软件体系结构%连接器组合%重用%反射%Wright%CSP
軟件體繫結構%連接器組閤%重用%反射%Wright%CSP
연건체계결구%련접기조합%중용%반사%Wright%CSP
连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.
連接器的建模與分析是複雜軟件體繫結構設計的一箇重要問題.基于反射機製,提齣瞭一種連接器的組閤重用方法.為瞭支持這一想法,藉用CSP進程間的運算,提齣瞭連接器組閤的一組元操作,併給齣瞭組閤連接器的CSP語義.該方法能為連接器提供一種增量式的開髮方式,併且由于其嚴格的形式化基礎,適閤進行形式化分析和自動檢查.
련접기적건모여분석시복잡연건체계결구설계적일개중요문제.기우반사궤제,제출료일충련접기적조합중용방법.위료지지저일상법,차용CSP진정간적운산,제출료련접기조합적일조원조작,병급출료조합련접기적CSP어의.해방법능위련접기제공일충증량식적개발방식,병차유우기엄격적형식화기출,괄합진행형식화분석화자동검사.
