文献类型：期刊文章

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

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

出　　处：《小型微型计算机系统》

基　　金：科技部科技型中小企业技术创新基金 (项目号 :0 0 C2 6 2 1130 0 5 0 7)资助 ;国家 86 3高技术研究发展计划项目 (项目号 :86 3-5 11-946 -0 0 3)资助 ;国家教委优秀青年教师教学;科研奖励计划资助

年　　份：2002

卷　　号：23

期　　号：8

起止页码：950-954

语　　种：中文

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

摘　　要：首先对不同的软件体系结构描述语言 (ADL )进行分析 ,找出软件体系结构的共性 .用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述 ,探讨不同连接形式下的软件体系结构 ,给出基于组件的软件可靠性模型 .在此模型基础上 ,对基于组件的软件系统的可靠性计算模型进行研究 ,提出一种半 Markov模型 ,并在理论上证明该模型的可用性 .最后通过 CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用 .

关 键 词：组件 软件可靠性模型 软件体系结构 CORBA 软件重用  软件工程

分 类 号：TP311.5]