%0 Journal Article
%T 软件体系结构模型单层化的一致性保障方法
%A 张成志
%A 杨杰
%A 梅宏
%A 陈湘萍
%A 黄罡
%J -
%D 2006
%X 在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性
%K 软件体系结构 一致性 复合构件 模型转换
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20060614&flag=1