[论文解读] Constructing Active Architectures in the ArchWare ADL

Ronald Morrison, Graham Kirby+7 more|arXiv (Cornell University)|Jun 24, 2010

Advanced Software Engineering Methodologies参考文献 17被引用 5

一句话总结

本文提出了一种使用 ArchWare ADL 构建主动软件架构的新方法，通过基于 π-演算的语言、超代码执行模型、结构反射以及分解算子，实现动态的结构演化。其主要贡献是一个统一的框架，支持运行时重新配置、组件替换和规格说明演化，从而在复杂且不断变化的环境中实现真正自适应和自我适应的系统。

ABSTRACT

Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and re-negotiation of its business goals nor intercept the potential of new technology. To accommodate change in such systems we have defined an active software architecture to be: dynamic in that the structure and cardinality of the components and interactions are not statically known; updatable in that components can be replaced dynamically; and evolvable in that it permits its executing specification to be changed. Here we describe the facilities of the ArchWare architecture description language (ADL) for specifying active architectures. The contribution of the work is the unique combination of concepts including: a π-calculus based communication and expression language for specifying executable architectures; hyper-code as an underlying representation of system execution; a decomposition operator to break up and introspect on executing systems; and structural reflection for creating new components and binding them into running systems.

研究动机与目标

• 解决静态软件架构无法随业务目标变化或技术进步而演进的局限性。
• 定义并实现一种可在运行时动态更新和演化的主动架构模型。
• 提供一种形式化且可执行的描述语言，支持运行时内省和结构修改。
• 实现在不关闭系统的情况下进行运行时组件替换和系统重新配置。
• 将结构反射和分解机制整合到一个统一的 ADL 中，以支持主动系统演化。

提出的方法

• ArchWare ADL 使用基于 π-演算的通信和表达语言，用于建模可执行的系统行为和交互。
• 超代码作为系统执行的底层运行时表示，支持对活动组件的内省和操作。
• 分解算子允许在运行时对执行中的系统进行检查和分解，以分析或修改其组成部分。
• 结构反射机制支持在运行时创建新组件，并将其动态绑定到正在运行的系统中。
• ADL 将这些特性整合到一个统一的、可执行的架构描述语言中，支持运行时演化。
• 系统通过在 ArchWare 框架内进行形式化规格说明和执行来实现并评估。

实验结果

研究问题

• RQ1 如何设计软件架构以支持运行时的动态结构变更？
• RQ2 需要哪些语言构造来表达和执行不断演化的系统架构？
• RQ3 如何在系统运行时对组件进行内省、修改和重新配置？
• RQ4 哪些机制能够实现在运行时将新组件创建并集成到系统中？
• RQ5 通信模型、执行表示和反射的结合如何支持真正的架构演化？

主要发现

• ArchWare ADL 有效支持了具有动态结构、可更新组件和可演化行为的主动架构的规格说明。
• π-演算语义的集成使得在主动系统中精确建模并发和移动交互成为可能。
• 超代码为系统状态和执行提供了一致且可内省的表示，支持运行时操作。
• 分解算子允许在不中断执行的情况下对活动系统组件进行运行时分析和修改。
• 结构反射支持在运行时创建并绑定新组件到正在运行的系统中，支持运行时演化。
• 该框架证明了通过形式化且可执行的架构描述构建自我适应系统是可行的。