检索结果-内蒙古大学图书馆

软件学报 2013年第8期24卷 1731-1745页

作者：宋晖黄罡武义涵 Franck CHAUVEL 孙艳春邵维忠梅宏高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871

运行时体系结构是系统运行时刻的一个动态、结构化的抽象,描述系统当前的组成成分、各成分的状态和配置以及不同成分之间的关系.运行时体系结构与目标系统间具有动态的因果关联,即系统的变化及时体现在体系结构上,而对体系结构的修改及... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

软件体系结构反模式的检测与消除技术研究

软件体系结构反模式的检测与消除技术研究

引用

作者：张磊北京大学

学位级别：博士

如何构建高质量的软件系统一直以来都是软件工程领域的一个核心问题。尤其是软件系统进入到维护演化阶段，随着系统不断地修改，会不可避免地渐渐变得复杂、难以理解。另一方面，近些年来随着软件系统的复杂性不断提高，以及网构软件、... 详细信息

如何构建高质量的软件系统一直以来都是软件工程领域的一个核心问题。尤其是软件系统进入到维护演化阶段，随着系统不断地修改，会不可避免地渐渐变得复杂、难以理解。另一方面，近些年来随着软件系统的复杂性不断提高，以及网构软件、云计算等新技术的出现，系统中软件实体的交互变得越来越灵活，运行环境也千变万化。这些变化趋势使得构建并维护一个高质量的大型软件系统变得更加具有挑战性。\n “软件模式(software pattern)”是应对软件复杂性、提高软件质量的一种有效方法。模式作为一种对经验的总结，针对软件开发过程中一些反复出现、且具有共性的问题给出了良好的解决方案。近些年来，已经有大量的研究工作总结了各种各样的软件模式，例如面向对象的设计模式、软件体系结构模式等。作为与对模式研究的一个自然延伸——“反模式(anti-pattern)”，从1998年正式在软件工程领域被提出之后，受到了学术界与产业界的广泛关注。反模式，概括而言就是针对软件系统中，经常出现、但对系统产生不良影响的软件设计的经验总结。由于架构师或开发人员的经验不足、或对模式的不当理解、亦或项目的进度压力等各种原因，都会导致软件系统中反复出现一些类似的不良设计，即反模式。本文从软件体系结构的角度，探讨了软件系统中的反模式以及其检测、消除技术。\n 通过总结现有工作，我们发现现阶段的研究大多仅侧重于如何支持建模反模式而忽视了如何自动地执行检测，而支持自动检测的工作又大多仅针对某一类具体的反模式（如体系结构设计反模式、面向对象设计的反模式、代码实现中的反模式等），另外对于反模式的检测与消除两部分的工作目前也缺乏有效的结合。由于系统开发的复杂性，通过手动的方式很难获得对运行时系统的一个完整理解，包括其结构以及整个系统的行为，并且找到系统中存在的反模式，是不现实的。这不仅开销过大，也难免遗漏掉一些反模式实例。因此，我们认为有必要提供一种自动化的方式对运行时系统进行反模式的检测与消除。\n 针对现有研究工作存在的问题，本文从①运行时软件体系结构RSA的信息整合、②基于模型的反模式检测、以及③反模式的消除，三个方面对反模式的关键技术进行研究，提出了一种通用的反模式检测与消除方法，并实现了支撑工具的原型。\n 本文的主要贡献以及特色包括如下几点:\n 在反模式检测的输入方面，本文选用信息丰富的运行时体系结构模型。\n 由于现有工作或是从静态的体系结构设计以及代码入手，或是通过分析系统运行记录以及性能检测入手，缺乏一种全面的信息来源。本文基于本研究小组的已有研究工作，通过模型融合构造出一个信息丰富的运行时体系结构模型。该模型中不仅可以获得系统的结构信息（包括构件、连接子等），还可以获得系统的各种行为信息（包括构件之间交互记录等），此外还可以获得系统部署的计算资源相关的信息（包括计算节点的CPU、内存、带宽等）。通过把该模型作为输入，本文采用标准模型转换语言QVT对模型进行反模式检测与消除。\n 在反模式检测方面，本文提出了一种系统化的反模式分类方式。\n 为了支持更多的反模式，本文根据反模式的本质以及特点，参照MDA的分层方式把反模式分为:PIM层的体系结构反模式、PSM层的体系结构反模式、以及计算资源相关的反模式。并通过模型转换技术，实现运行时系统模型的从PSM到PIM的转换，以实现三类反模式的自动检测。针对每一类反模式，本文利用QVT过程式描述方法，预定义了一组典型的反模式检测代码。此外，在工具的支持下，我们还允许维护人员或反模式专家定义更多的反模式。\n 在反模式消除方面，本文提出了一种完整的反模式检测及消除方法。\n 由于目前的研究大多缺乏对反模式检测结果与反模式消除的有效地衔接，因此对于反模式检测结果不能有效消除。而本文的方法针对不同类别的反模式，分别采用不同的手段给予不同程度的消除支持。

关键词：反模式消除运行时体系结构软件体系结构模型驱动开发

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：