论文部分内容阅读
自适应软件是一类具有自适应能力的软件。所谓的自适应能力就是软件在运行时可以评估自己的行为，当评估结果显示无完成软件意图，或可以获得更好的功能或性能时，它会改变自己的行为。虽然自适应软件技术的研究已经进行了一段时间，但是其中的一些关键技术还尚不完善，需要进一步的研究，如自适应软件中的环境感知、软件服务质量建模、基于软件体系结构的重配置、软件自适应的可信性保证等方面。在这些方面进行深入探索和研究，能够推动自适应软件技术体系理论的进一步完善。同时可以推动自适应软件的开发和应用，提高软件应对环境变化的能力，增加软件的生命周期。本文在国内外的现有研究基础上，针对自适应软件中的若干关键技术进行了研究，包括：自适应软件基础研究。介绍了目前自适应软件研究的一些现状，分析了自适应软件的基本原理，给出了自适应软件的基本架构和实现方式。这些都是从宏观角度上针对自适应软件进行研究，给出构建自适应软件的一些指导原则，为自适应软件的进一步研究打下基础。自适应软件的环境感知研究。自适应软件运行环境的改变通常是造成其重配置的一个重要因素，因此如何设计一个好的环境感知框架，是一个很重要的研究方向。本文中提出了一种环境感知框架，以环境采集模型约束信息采集，以有限状态自动机描述环境信息对应用系统状态的驱动。自适应软件的服务质量建模研究。自适应软件服务质量要求的改变通常是造成其重配置的一个重要因素，因此如何更好地表示和描述这些因素，是一个很重要的研究方向。本文从领域分析入手，采用两级领域建模机制，对构件的QoS元模型进行了形式化描述，定义了特定领域QoS建模语言，采用这个语言可以定义特定领域内的QoS信息。自适应软件的重配置研究。重配置是自适应软件的核心，本文研究了从设计时对重配置的支持到运行时对重配置的支持。运行时的重配置必须有外在的力量去实施，按照特定的系统蓝图去实现。这个特定的系统蓝图就是软件的体系结构。本文从软件体系结构的组成、风格、描述语言等方面出发，研究了软件体系结构的一般原理和基本准则。为了支持运行时的重配置，本文在传统软件体系结构基础了，提出了基于软件软件体系结构的重配置方法。自适应的可信性保证研究。仅仅保证自适应软件在运行时完成重配置是不够的，软件不停止运行仅仅是个前提条件之一，还必须保证自适应软件在重配置后，还能够正确地提供服务，这就是可信性的研究工作。本文提出了一种可信重配置的验证方法，从替换的整体性、接口的一致性、状态的一致性、系统属性约束的一致性出发，给出这几个方面可信性的形式化定义，为软件的自适应提供可信性的保证。最后，本文给出了总结与展望。将论文中所有的工作进行了总结，列出了论文中的创新点，阐述了论文需要进一步研究的地方。