A Higher-Order Graph Calculus for Autonomic Computing

Oana Andrei 1, * Hélène Kirchner 1
* Auteur correspondant
1 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we present a high-level formalism based on port graph rewriting, strategic rewriting, and rewriting calculus. We argue that this formalism is suitable for modeling autonomic systems and briefly illustrate its expressivity for modeling properties of such systems.
Type de document :
Communication dans un congrès
Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Sep 2008, Haifa, Israel. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00328554
Contributeur : Oana Andrei <>
Soumis le : mardi 18 novembre 2008 - 12:19:12
Dernière modification le : jeudi 11 janvier 2018 - 06:22:10
Document(s) archivé(s) le : samedi 26 novembre 2016 - 02:40:14

Fichier

hal-calculusforautonomic.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00328554, version 2

Collections

Citation

Oana Andrei, Hélène Kirchner. A Higher-Order Graph Calculus for Autonomic Computing. Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Sep 2008, Haifa, Israel. 2008. 〈inria-00328554v2〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

183