宋晖 作品数:6 被引量:17 H指数:3 供职机构: 北京大学信息科学技术学院高可信软件技术教育部重点实验室 更多>> 发文基金: 国家重点基础研究发展计划 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 更多>>
ABCTool中软件体系结构运行视图的可视化 2006年 对运行系统的理解是软件维护的关键,而软件体系结构(SA)是理解大型软件系统的重要依据.SA运行视图以运行时软件体系结构(RSA)为基础,用易于理解的方式反映软件的实时状态和行为,并将用户对SA的操作转化为对软件系统的实时调整.本文介绍ABCTool对运行视图的可视化支持.该视图结合软件设计阶段的信息,为软件维护人员提供一个直观的界面,协助其监视软件的运行状态,发现软件存在的问题,并实现对软件的动态调整.本文以J2EE蓝图程序为例展示该运行视图的应用过程. 宋晖 杨杰 黄罡 梅宏关键词:软件体系结构 软件维护 运行时软件体系结构的建模与维护 被引量:8 2013年 运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及时影响当前系统.运行时体系结构允许开发者以读写体系结构的方式实现系统的监测和调整,是体系结构层次系统动态适应与在线演化的基础.构造运行时体系结构的关键是针对不同的目标系统和体系结构风格实现合适的基础设施,以维护二者之间的因果关联.由于目标系统和体系结构的多样性以及因果关联维护逻辑的复杂性,这一构造过程往往过于繁琐、易错、难以复用和维护.提出一种模型驱动的运行时体系结构构造方法.开发者只需针对目标系统、体系结构以及两者之间的关系分别进行建模,根据这些模型,支撑框架自动构造合法而高效的运行时体系结构基础设施.基于MOF和QVT标准建模语言定义了一组运行时体系结构建模语言,并基于通用的模型与系统间同步技术实现了相应的支撑框架.一系列实例研究表明,该方法具有广泛的适用性,并显著提高了运行时体系结构构造过程的效率与可复用性. 宋晖 黄罡 武义涵 Franck CHAUVEL 孙艳春 邵维忠 梅宏无线传感设备及数据的对象化访问方法 被引量:3 2011年 物联网(Internet of things,IOT)是近年来的研究热点之一,然而传感设备只提供了比较底层的访问接口,通过接口所获得的数据与应用层所需的数据在概念上存在较大的差异。针对这一问题,提出一种无线传感设备及其数据的对象化访问方法。该方法通过UML(unified modeling language)类图建立设备模型与应用模型,利用SM@RT(supporting models at runtime)工具建立设备访问模型,将设备接口与设备模型进行关联,并用QVT(query/view/transformation)关联设备模型和应用模型。实验结果验证了该方法的可行性和有效性。 张伟 张伟 张伟关键词:物联网 无线传感器 面向对象 对象关系映射 基于MOF的软件体系结构分析结果集成框架 被引量:6 2012年 运行在网络环境下的软件在自适应过程中,需要集成多种分析方法来进行分析、规划和决策.由于自适应的决策程序或者设计人员以SA(software architecture)模型作为解析和理解分析结果的上下文,这使得分析结果与SA模型的集成尤为重要.但是,现有的分析方法集成框架多关注于提供输入、执行分析、从而得到分析结果的过程,对分析结果的集成关注不够.针对分析结果与SA模型集成中元模型、模型和视图3个层次的挑战,提出一种软件体系结构分析结果集成框架.框架使用MOF(meta-object facility)元建模技术提供ADL(architectural descriptionlanguage)的扩展机制;使用自动生成模型转换实现SA模型与分析结果的合成;使用代码生成技术扩展建模工具为扩展后的ADL提供模型视图.最后以3种分析方法——两种可靠性评估方法和容错风格的规划方法为例,使用集成框架将其加以集成并应用于Ecperf系统的SA模型的分析中,从而展示集成框架的可行性和有效性. 陈湘萍 黄罡 宋晖 孙艳春 梅宏关键词:软件体系结构 ABCTool中软件体系结构运行视图的可视化 对运行系统的理解是软件维护的关键,而软件体系结构(SA)是理解大型软件系统的重要依据.SA运行视图以运行时软件体系结构(RSA)为基础,用易于理解的方式反映软件的实时状态和行为,并将用户对SA的操作转化为对软件系统的实时... 宋晖 杨杰 黄罡 梅宏关键词:软件体系结构 软件维护 文献传递 一种基于运行时软件体系结构的JEE反模式检测工具 反模式描述的是一种典型的不良设计,它通常会给系统带来负面的影响,如降低性能、可扩展性等。检测并消除其中存在的反模式实例可以有效提高系统质量。提出一种基于运行时体系结构的反模式的描述及检测机制,并实现相应工具。该工具基于标... 张磊 王玮琥 宋晖 黄罡关键词:软件设计模式 软件体系结构