[论文解读] Issues of Architectural Description Languages for Handling Dynamic Reconfiguration

Leonardo Minora, Jérémy Buisson+2 more|arXiv (Cornell University)|May 21, 2012

Advanced Software Engineering Methodologies参考文献 26被引用 4

一句话总结

本文评估了四种主流架构描述语言（ADLs）——$π$-ADL、ACME、C2SADL 和 Dynamic Wright——在支持软件架构动态重构方面的表现。研究发现，这些 ADL 均未完全支持在类型和实例层面的一致性重构，缺乏在重构过程中对行为的本机建模能力，且未提供正式的验证机制来确认重构的正确性。

ABSTRACT

Dynamic reconfiguration is the action of modifying a software system at runtime. Several works have been using architectural specification as the basis for dynamic reconfiguration. Indeed ADLs (architecture description languages) let architects describe the elements that could be reconfigured as well as the set of constraints to which the system must conform during reconfiguration. In this work, we investigate the ADL literature in order to illustrate how reconfiguration is supported in four well-known ADLs: pi-ADL, ACME, C2SADL and Dynamic Wright. From this review, we conclude that none of these ADLs: (i) addresses the issue of consistently reconfiguring both instances and types; (ii) takes into account the behaviour of architectural elements during reconfiguration; and (iii) provides support for assessing reconfiguration, e.g., verifying the transition against properties.

研究动机与目标

• 调查现有架构描述语言（ADLs）在运行 runtime 支持动态重构的能力。
• 分析 ADL 在处理架构类型与实例一致重构方面的程度。
• 评估 ADL 如何对重构期间的组件和连接件的行为进行建模。
• 评估 ADL 是否提供机制以验证或分析重构正确性。
• 识别在架构层面支持动态重构方面的开放研究挑战。

提出的方法

• 对四种知名 ADL 进行了比较分析：$π$-ADL、ACME、C2SADL 和 Dynamic Wright。
• 以简化的 TCP/IP 栈作为持续示例，说明三种重构场景：组件切换、类型插入（例如 IPv6 替代 IPv4）以及行为更新（例如传输层改进的错误控制）。
• 将每种重构场景映射到各 ADL 中可用的语言构造，重点关注语法、语义和工具支持。
• 评估 ADL 在三个关键方面的支持程度：(1) 类型与实例层面的一致性重构，(2) 重构期间的行为建模，(3) 重构属性的形式化评估。
• 利用现有工具和形式化方法（例如 $π$-AAL、Armani、AML 及 CSP 变体）评估验证能力。
• 使用表格总结对 ADL 支持情况进行分类比较，涵盖语言与维度之间的特征差异。

实验结果

研究问题

• RQ1 ADL 如何以一致的方式支持架构类型与实例的动态重构？
• RQ2 ADL 在运行时重构期间对架构元素行为的建模程度如何？
• RQ3 ADL 提供了哪些机制以正式评估或验证动态重构转换的正确性？
• RQ4 $π$-ADL、ACME、C2SADL 和 Dynamic Wright 的语言范式如何影响其对动态重构的支持？
• RQ5 当前 ADL 在支持安全、行为感知且可分析的运行时重构方面存在哪些关键局限？

主要发现

• 在四种 ADL——$π$-ADL、ACME、C2SADL 和 Dynamic Wright 中，没有一种能原生、一致地支持同时重构架构类型及其实例。
• $π$-ADL 和 ACME 支持两个层面的重构，但需要借助外部工具或语言（例如 $π$-AAL、CSP 或 Plastik）来指定类型层面的更改。
• C2SADL 通过 AML 定义的操作支持实例层面的重构，但缺乏原生的类型层面重构支持。
• Dynamic Wright 未提供用于类型层面重构的语言构造，其对实例层面更改的支持依赖于扩展。
• 没有一种 ADL 原生建模或分离动态重构行为与正常行为；在 $π$-ADL 和 Dynamic Wright 中，重构逻辑与正常行为纠缠在一起。
• 尽管部分工具（如 Armani、$π$-AAL）提供了部分分析支持，但没有一种 ADL 提供内置的形式化机制来评估重构正确性。