Strategic Port Graph Rewriting for Autonomic Computing

Oana Andrei 1 Hélène Kirchner 1
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 show that this formalism is suitable for modeling autonomic systems and we illustrate its expressivity for modeling properties of such systems using an example of a mail delivery system.
Type de document :
Communication dans un congrès
The Fourth Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan. 2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00328491
Contributeur : Oana Andrei <>
Soumis le : vendredi 10 octobre 2008 - 14:13:05
Dernière modification le : jeudi 11 janvier 2018 - 06:22:10
Document(s) archivé(s) le : mardi 9 octobre 2012 - 11:18:13

Fichier

tfit.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00328491, version 1

Collections

Citation

Oana Andrei, Hélène Kirchner. Strategic Port Graph Rewriting for Autonomic Computing. The Fourth Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan. 2008. 〈inria-00328491〉

Partager

Métriques

Consultations de la notice

269

Téléchargements de fichiers

119