文献类型：期刊文章

作　　者：李雄[1] 张友生[1]

机构地区：[1]湖南师范大学计算机应用技术研究中心,长沙410081

出　　处：《计算机工程与应用》

基　　金：湖南省自然科学基金资助项目(编号:03JJY6022)

年　　份：2006

卷　　号：42

期　　号：23

起止页码：24-26

语　　种：中文

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

摘　　要：当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统地科学地描述软件演化。软件演化是一个复杂的过程,这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统,能够描述任意软件系统的体系结构,并探讨了构件运算的相关性质。

关 键 词：构件  体系结构 运算  完整性

分 类 号：TP311.5]