主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
杨杰,黄罡,陈湘萍,梅宏,张成志.软件体系结构模型单层化的一致性保障方法.软件学报,2006,17(6):1391-1400
软件体系结构模型单层化的一致性保障方法
Consistency Assurance in Flattening Hierarchical Architectural Models
投稿时间:2006-01-10  修订日期:2006-03-13
DOI:
中文关键词:  软件体系结构  一致性  复合构件  模型转换
英文关键词:software architecture  consistency  composite component  model transformation
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60233010, 60403030, 60503028,90412011,90612011 (国家自然科学基金); the High-Tech Development Program of China under Grant No.2005AA113030 (国家高技术研究发展计划(863)); the National Grand Fundamental Research 973 Program of China under Grant No.2002CB312003 (国家重点基础研究发展规(973)); the IBM University Joint Study Program (IBM大学合作研究计划)
作者单位
杨杰 北京大学,信息科学技术学院,北京,100871 
黄罡 北京大学,信息科学技术学院,北京,100871 
陈湘萍 北京大学,信息科学技术学院,北京,100871 
梅宏 北京大学,信息科学技术学院,北京,100871 
张成志 香港科技大学,计算机科学系,香港,999077 
摘要点击次数: 4871
全文下载次数: 3668
中文摘要:
      在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.
英文摘要:
      Composite components are components that have internal structures. Supported by almost all architecture description languages, composite components can organize architectural models in a hierarchical structure. However, most analysis and verification tools for SA model do not support composite components, neither do most component frameworks. Therefore, it is necessary to flatten the hierarchical SA model so that SA can play a more important role in practice. The most challenging issue in the flattening is how to assure the consistency between architectural models with and without composite components. In this paper, a formal definition of the consistency of an SA model is presented. Based on that, principles and guidelines for consistency assurance in flattening a hierarchical SA model are provided. Their feasibility is exemplified by a componentized email client.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利