计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
23期
43-44,56
,共3页
潜在无限动态结构%组合连接器%动态角色%Wright
潛在無限動態結構%組閤連接器%動態角色%Wright
잠재무한동태결구%조합련접기%동태각색%Wright
动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题.基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法.为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开.实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的.
動態軟件體繫結構的建模與分析是複雜軟件繫統設計的一箇重要問題.基于體繫結構描述語言Wright,提齣瞭一種規範潛在無限動態結構的形式化方法.為瞭便于使用遞歸機製,引入瞭組閤連接器和動態角色的概唸,從而實現瞭動態體繫結構的逐層展開.實例說明,該方法能為動態體繫結構的設計提供一種增量式的開髮方式,適用于連接器重用的目的.
동태연건체계결구적건모여분석시복잡연건계통설계적일개중요문제.기우체계결구묘술어언Wright,제출료일충규범잠재무한동태결구적형식화방법.위료편우사용체귀궤제,인입료조합련접기화동태각색적개념,종이실현료동태체계결구적축층전개.실례설명,해방법능위동태체계결구적설계제공일충증량식적개발방식,괄용우련접기중용적목적.
