共 4 条
软件体系结构模型单层化的一致性保障方法
被引：5
作者：
杨杰
[1
]
黄罡
[1
]
陈湘萍
[1
]
梅宏
[1
]
张成志
[2
]
机构：
[1] 北京大学信息科学技术学院
[2] 香港科技大学计算机科学系
来源：
关键词：
软件体系结构;
一致性;
复合构件;
模型转换;
D O I：
暂无
中图分类号：
TP311.52 [];
学科分类号：
摘要：
在软件体系结构(softwarearchitecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即“单层化”).“单层化”的关键在于如何保证“单层化”前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型“单层化”的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.
引用
收藏
页码：1391 / 1400
页数：10
相关论文