文献类型：期刊文章

作　　者：赵会群[1] 王国仁[2] 高远[2]

机构地区：[1]北方工业大学计算机科学系,北京100041 [2]东北大学计算机科学与工程系,沈阳110004

出　　处：《计算机学报》

基　　金：国家"八六三"高技术研究发展计划 (863 -5 11-946-0 0 3 );国家自然科学基金项目 (60 0 73 0 5 9)资助

年　　份：2002

卷　　号：25

期　　号：7

起止页码：730-736

语　　种：中文

收录情况：BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：针对软件体系结构描述语言 (Architecture Description L anguages,ADL s)在动态、可进化和可扩充特征描述能力的不足 ,用抽象代数理论对组件、连接器和软件体系结构的属性和行为特征进行抽象 ,提出了组件连接“运算”这一新的观点 ,给出了在不同连接运算下的软件体系结构范式和事件依赖的软件体系结构范式定理 .该文提出的较完整的软件体系结构理论体系 ,为进一步研究软件体系结构和基于软件体系结构的相关研究奠定了理论基础 .

关 键 词：软件体系结构 抽象模型  组件 连接器 抽象代数 软件可靠性  软件工程

分 类 号：TP311.5]