ACME与PDDL：支持软件体系结构的动态重新配置
ACME vs PDDL: support for dynamic reconfiguration of software architectures
摘要：
一方面，ACME是90年代末设计的一种语言，作为软件架构的交换格式。运行时重构的需求导致了在Plastik中使用特定支持来扩展语言。另一方面，PDDL是一种用于描述规划问题的谓词语言。它是在人工智能社区为ICAPS会议的国际规划竞赛设计的。一些相关的工作已经提出了编码软件体系结构到PDDL。然后可以使用现有的规划算法，以便自动生成将架构更新为另一架构的规划，即，一个侦察计划在本文中，我们改进了PDDL的编码。值得注意的是，我们提出了如何在PDDL表示中编码ADL类型和约束。这样，我们可以静态地检查我们的设计并表达PDDL约束，以确保生成的计划永远不会通过任何错误或不一致的架构，即使是暂时的。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
