计算机科学与技术专业毕业论文[精品论文]自适应系统软件体系结构的关键技术研究

计算机科学与技术专业毕业论文[精品论文]自适应系统软件体系结构的关键技术研究内容摘要：

置层面的自适应描述，具有表达系统演化过程中结构和行为约束的能力。 的语义模型和性质验证。 论文提出了基于 Bigraph 理论的 BiADL 语义模型。 论文分别将环境、结构和行为转化为 Bigraph，用反应规则表示三者的变化。 基于该语义模型，论文提出了对自适应系统在演化过程中一组重要性质进行验证的方法，包括结构和行为的一致性、系统的完整性、策略的协调性、系统与风格的一致性等。 SArchStudio。 为了支持自适应系统软件体系结构的规约、分析和动态演化，支持自适应系统的设计和构造，论文设计和开发了自适应系统软件体系结构开发环境 SArchStudio，包括BiADL 语法编 辑器、语义模型转换工具、性质验证工具、基于 Agent 的自适应构件的开发和实现平台等一系列工具集，用以辅助自适应系统开发的各个流程，并进行了应用案例分析。 目前，随着计算的网络化、移动化和多样化，软件系统的规模越来越大、结构越来越复杂、管理和维护越来越难、对环境变化和突发事件适应能力的要求越来越高，因而软件系统由需求、环境引起的适应性越来越突出。 金融、电信、电力、交通和国防等国家基础设施的运转越来越依赖于具有自适应能力的软件系统。 自适应系统通常驻留在动态、开放的环境中，能够感知环境变化，并根据环境变化动 态调整自身的结构和行为，以将系统所提供的功能或展现的性能等维持在一个令人满意的水平。 尽管自适应系统的研究和开发受到了学术界和工业界的广泛重视，但如何有效地对自适应系统进行规约、分析、设计和实现仍然是软件工程面临的一项重要挑战。 软件体系结构从全局和宏观的角度刻画了软件的配置，可有效展示系统的动态演化，有助于验证系统性质和刻画关键约束条件，可以有效地降低自适应系统开发和维护的复杂性。 论文站在软件体系结构的角度，针对微观层面上的自适应构件和宏观层面上的自适应体系结构描述和分析，研究了自适应系统软件体系结构的 基础理论和关键技术，包括：核心机制、语言设施、语义模型、性质验证和支撑环境。 具体研究成果和创新点描述如下： Agent 的自适应构件实现模型和运行机制。 论文将自适应系统中的自适应软件实体抽象和物化为软件 Agent，提出了基于 Agent 的自适应构件以及支持自适应构件适应环境变化的动态绑定机制。 自适应构件在其生命周期中能够感知外部环境的变化，根据自身所具有的自适应策略，采取一系列动态绑定操作，以改变自身的行为规约，从而适应外部环境的变化。 论文进一步提出了基于 Agent 自适应构件的构造和运行技术框架，形 式化规约了其运行机制。 体系结构描述语言 BiADL。 为了对自适应系统的软件体系结构进行规约、分析和性质验证，论文提出了自适应系统的软件体系结构描述语言 BiADL。 BiADL能够从环境、结构和行为三个视点对自适应系统进行规约，支持对构件和配置层面的自适应描述，具有表达系统演化过程中结构和行为约束的能力。 的语义模型和性质验证。 论文提出了基于 Bigraph 理论的 BiADL 语义模型。 论文分别将环境、结构和行为转化为 Bigraph，用反应规则表示三者的变化。 基于该 语义模型，论文提出了对自适应系统在演化过程中一组重要性质进行验证的方法，包括结构和行为的一致性、系统的完整性、策略的协调性、系统与风格的一致性等。 SArchStudio。 为了支持自适应系统软件体系结构的规约、分析和动态演化，支持自适应系统的设计和构造，论文设计和开发了自适应系统软件体系结构开发环境 SArchStudio，包括BiADL 语法编辑器、语义模型转换工具、性质验证工具、基于 Agent 的自适应构件的开发和实现平台等一系列工具集，用以辅助自适应系统开发的各 个流程，并进行了应用案例分析。 目前，随着计算的网络化、移动化和多样化，软件系统的规模越来越大、结构越来越复杂、管理和维护越来越难、对环境变化和突发事件适应能力的要求越来越高，因而软件系统由需求、环境引起的适应性越来越突出。 金融、电信、电力、交通和国防等国家基础设施的运转越来越依赖于具有自适应能力的软件系统。 自适应系统通常驻留在动态、开放的环境中，能够感知环境变化，并根据环境变化动态调整自身的结构和行为，以将系统所提供的功能或展现的性能等维持在一个令人满意的水平。 尽管自适应系统的研究和开发受到了学术界 和工业界的广泛重视，但如何有效地对自适应系统进行规约、分析、设计和实现仍然是软件工程面临的一项重要挑战。 软件体系结构从全局和宏观的角度刻画了软件的配置，可有效展示系统的动态演化，有助于验证系统性质和刻画关键约束条件，可以有效地降低自适应系统开发和维护的复杂性。 论文站在软件体系结构的角度，针对微观层面上的自适应构件和宏观层面上的自适应体系结构描述和分析，研究了自适应系统软件体系结构的基础理论和关键技术，包括：核心机制、语言设施、语义模型、性质验证和支撑环境。 具体研究成果和创新点描述如下： Agent 的自适应构件实现模型和运行机制。 论文将自适应系统中的自适应软件实体抽象和物化为软件 Agent，提出了基于 Agent 的自适应构件以及支持自适应构件适应环境变化的动态绑定机制。 自适应构件在其生命周期中能够感知外部环境的变化，根据自身所具有的自适应策略，采取一系列动态绑定操作，以改变自身的行为规约，从而适应外部环境的变化。 论文进一步提出了基于 Agent 自适应构件的构造和运行技术框架，形式化规约了其运行机制。 体系结构描述语言 BiADL。 为了对自适应系统的软件体系结构进行规约、分析和性质验证，论文提出了自适应系统的软件体系结构描述语言 BiADL。 BiADL能够从环境、结构和行为三个视点对自适应系统进行规约，支持对构件和配置层面的自适应描述，具有表达系统演化过程中结构和行为约束的能力。 的语义模型和性质验证。 论文提出了基于 Bigraph 理论的 BiADL 语义模型。 论文分别将环境、结构和行为转化为 Bigraph，用反应规则表示三者的变化。 基于该语义模型，论文提出了对自适应系统在演化过程中一组重要性质进行验证的方法，包括结构和行为的一致性、系统的完整性、策略的协调性 、系统与风格的一致性等。 SArchStudio。 为了支持自适应系统软件体系结构的规约、分析和动态演化，支持自适应系统的设计和构造，论文设计和开发了自适应系统软件体系结构开发环境 SArchStudio，包括BiADL 语法编辑器、语义模型转换工具、性质验证工具、基于 Agent 的自适应构件的开发和实现平台等一系列工具集，用以辅助自适应系统开发的各个流程，并进行了应用案例分析。 目前，随着计算的网络化、移动化和多样化，软件系统的规模越来越大、结构越来越复杂、管理和维护 越来越难、对环境变化和突发事件适应能力的要求越来越高，因而软件系统由需求、环境引起的适。