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

摘要：

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

关键词：软件体系结构、一致性、复合构件、模型转换

所属期刊栏目：17

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60233010,60403030,60503028,90412011,90612011;国家科技攻关项目2005AA113030;国家研究发展基金2002CB312003;IBM大学校科研和教改项目

在线出版日期：2006-07-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：1391-1400