一种支持设计时软件重用的反射式软件体系结构及其形式化研究

• 作者: 刘天时 应时 罗巨波
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 软件体系结构重用 反射式软件体系结构 具体化 Object-Z形式化描述
• 年，卷（期）: 2019,（8）
• 所属期刊栏目: 软件工程
• 页码范围: 1434-1443
• 页数: 10页
• 分类号: TP311.5
• 字数: 4912字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2019.08.014

摘要

软件体系结构在软件重用中有着特殊的意义.缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因.在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持软件体系结构重用的反射式软件体系结构.给出了基于反射式软件体系结构的软件体系结构重用过程.给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述,即创建元组件、创建元连接器、创建元组合件操作的形式化描述.给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘天时	西安石油大学计算机学院	100	548	13.0	18.0
2	应时	武汉大学计算机学院	100	849	10.0	26.0
3	罗巨波	西安石油大学计算机学院	1	0	0.0	0.0