%0 Journal Article
%T Consistency Assurance in Flattening Hierarchical Architectural Models<br>软件体系结构模型单层化的一致性保障方法
%A YANG Jie
%A HUANG Gang
%A CHEN Xiang-Ping
%A MEI Hong
%A CHEUNG Shing-Chi
%A <br>杨杰
%A 黄罡
%A 陈湘萍
%A 梅宏
%A 张成志
%J 软件学报
%D 2006
%I 
%X 在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.
%K software architecture
%K consistency
%K composite component
%K model transformation<br>软件体系结构
%K 一致性
%K 复合构件
%K 模型转换
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=B443FE4F087621F2&yid=37904DC365DD7266&vid=BCA2697F357F2001&iid=B31275AF3241DB2D&sid=A5545D8D349C0F70&eid=14475B1A66930D94&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=27