[论文解读] ACME vs PDDL: support for dynamic reconfiguration of software architectures

Jean-Eudes Méhus, Thaı́s Batista+1 more|arXiv (Cornell University)|Jun 1, 2012

AI-based Problem Solving and Planning参考文献 23被引用 5

一句话总结

本文通过将ACME的结构约束和类型直接整合到规划模型中，增强了基于PDDL的动态软件架构重构规划。它引入了架构不变量的静态验证，并将约束编码为PDDL前提条件和派生谓词，确保规划器仅生成有效且一致的重构序列——通过客户端-服务器示例进行验证，涵盖65个规划器，尽管PDDL功能支持有限，仍有17个正确生成了4步动作的计划。

ABSTRACT

On the one hand, ACME is a language designed in the late 90s as an interchange format for software architectures. The need for recon guration at runtime has led to extend the language with speci c support in Plastik. On the other hand, PDDL is a predicative language for the description of planning problems. It has been designed in the AI community for the International Planning Competition of the ICAPS conferences. Several related works have already proposed to encode software architectures into PDDL. Existing planning algorithms can then be used in order to generate automatically a plan that updates an architecture to another one, i.e., the program of a recon guration. In this paper, we improve the encoding in PDDL. Noticeably we propose how to encode ADL types and constraints in the PDDL representation. That way, we can statically check our design and express PDDL constraints in order to ensure that the generated plan never goes through any bad or inconsistent architecture, not even temporarily.

研究动机与目标

• 解决现有基于PDDL的重构规划中缺乏约束支持的问题，避免规划器生成无效或不一致的重构序列。
• 扩展PDDL对软件架构的编码，以包含ACME的类型系统、架构风格以及组件绑定和连接器约束等架构不变量。
• 通过静态验证约束并将它们嵌入规划前提条件，确保重构计划在所有时间点（包括瞬态状态）均与架构不变量保持一致。
• 在现有规划工具PDDL标准支持有限的背景下，通过真实规划器评估增强型PDDL编码的可行性和正确性。

提出的方法

• 作者将ACME的组件-连接器架构模型（包括类型、端口、角色和绑定）映射为PDDL谓词和可变项。
• 通过量化逻辑公式定义派生PDDL谓词（如unbound-port和unbound-role），在不显式使用动作效果的情况下表示架构状态。
• 将ACME中的约束（如类型安全性和客户端-服务器风格）以及架构不变量编码为PDDL动作的前提条件，并进行静态验证。
• 该方法避免使用PDDL派生谓词，转而采用扩展的显式编码，以最大程度提高与规划器的兼容性，特别是对不支持派生谓词的规划器。
• 通过引入额外谓词实现量词展开和否定前提处理，以保持与不支持否定前提的规划器的兼容性。
• 作者在客户端-服务器重构示例上评估了该编码方法，使用2011年国际规划竞赛中的65个规划器，测量计划的正确性和性能。

实验结果

研究问题

• RQ1 PDDL能否被原生扩展以编码ACME的架构约束，包括类型和架构风格，从而确保生成有效的重构计划？
• RQ2 如何在整个重构过程中（包括瞬态状态）强制执行架构不变量，以防止生成无效或不一致的配置？
• RQ3 现有规划器对实现约束感知重构规划所必需的扩展PDDL功能的支持程度如何？
• RQ4 能否有效结合静态约束验证与PDDL规划，在编译时消除无效计划？

主要发现

• 在65个评估的规划器中，有17个成功生成了客户端-服务器示例中无约束条件下的正确4步重构计划，证明了该编码的可行性。
• 仅有1个规划器支持派生谓词（如unbound-port），表明当前规划工具中该PDDL特性采用率极低。
• 无一个规划器支持通过前提条件编码约束，凸显尽管这些功能在语义上合理，但PDDL标准实现中仍存在显著差距。
• 六个规划器不支持否定前提，但作者证明可通过额外谓词和效果实现其模拟。
• 正确规划器的性能表现可接受，大多数在标准PC上于300毫秒内完成求解，仅有一个耗时2.5秒。
• 结果表明，尽管当前规划器对PDDL功能支持不完整，但所提出的编码与大多数规划器兼容，且可通过标准转换（如量词展开和否定处理）进行适配。