ACME vs PDDL: support for dynamic reconfiguration of software architectures

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.
Type de document :
Communication dans un congrès
6ème édition de la Conférence Francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France. pp.48-57, 2012
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00703176
Contributeur : Jérémy Buisson <>
Soumis le : vendredi 1 juin 2012 - 10:06:00
Dernière modification le : vendredi 16 novembre 2018 - 01:31:36
Document(s) archivé(s) le : dimanche 2 septembre 2012 - 02:21:01

Fichiers

Identifiants

  • HAL Id : hal-00703176, version 1
  • ARXIV : 1206.0122

Citation

Jean-Eudes Méhus, Thais Batista, Jérémy Buisson. ACME vs PDDL: support for dynamic reconfiguration of software architectures. 6ème édition de la Conférence Francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France. pp.48-57, 2012. 〈hal-00703176〉

Partager

Métriques

Consultations de la notice

517

Téléchargements de fichiers

584