运行时软件体系结构的建模与维护

作     者：宋晖 黄罡 武义涵 Franck CHAUVEL 孙艳春 邵维忠 梅宏 SONG Hui;HUANG Gang;WU Yi-Han;Franck CHAUVEL;SUN Yan-Chun;SHAO Wei-Zhong;MEI Hong

作者机构：高可信软件技术教育部重点实验室(北京大学)北京100871 北京大学信息科学技术学院北京100871 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2013年第24卷第8期

页      面：1731-1745页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金(60933003,91118004,61222203) 国家重点基础研究发展计划(973)(2009CB320703) 国家高技术研究发展计划(863)(2012AA011207) 新世纪优秀人才支持计划(NCET-09-0178) 

主　　题：运行时体系结构 模型驱动软件工程 领域特定建模 运行时维护与演化 

摘      要：运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统.运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础.构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联.由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护.提出一种模型驱动的运行时体系结构构造方法.开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施.基于MOF和QVT标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架.一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性.