软件体系结构模型单层化的一致性保障方法

• 作者: 张成志 杨杰 梅宏 陈湘萍 黄罡
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件体系结构 一致性 复合构件 模型转换
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 软件体系结构专刊
• 页码范围: 1391-1400
• 页数: 10页
• 分类号: TP3
• 字数: 10867字
• 语种: 中文

摘要

在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅宏	北京大学信息科学技术学院	68	4654	26.0	68.0
2	黄罡	北京大学信息科学技术学院	30	514	9.0	22.0
3	杨杰	北京大学信息科学技术学院	17	127	5.0	11.0
4	陈湘萍	北京大学信息科学技术学院	2	18	2.0	2.0
5	张成志	香港科技大学计算机科学系	3	40	3.0	3.0