Provided by: Cornell University
On the one hand, ACME is a language designed in the late 90s as an interchange format for software architectures. The need for reconfiguration at runtime has led to extend the language with specific 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 reconfiguration.