构件运算的完整性证明及性质

• 作者: 张友生 李雄
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 构件 体系结构 运算 完整性
• 年，卷（期）: 2006,（23）
• 所属期刊栏目: 学术探讨
• 页码范围: 24-26,57
• 页数: 4页
• 分类号: TP311.5
• 字数: 5439字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.23.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张友生	湖南师范大学计算机应用技术研究中心	58	1380	16.0	36.0
2	李雄	湖南师范大学计算机应用技术研究中心	7	22	3.0	4.0