3527 articles – 5253 Notices  [english version]

inria-00328491, version 1

Strategic Port Graph Rewriting for Autonomic Computing

Oana Andrei () 1, Hélène Kirchner () a, 1

The Fourth Taiwanese-French Conference on Information Technology - TFIT'08 (2008)

Résumé : 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.

  • a –  INRIA
  • 1 :  PAREO (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
  • Domaine : Informatique/Calcul formel
  • Mots-clés : autonomic computing – port graphs – graph rewriting – strategic rewriting – rewriting calculus
 
  • inria-00328491, version 1
  • http://hal.inria.fr/inria-00328491
  • oai:hal.inria.fr:inria-00328491
  • Contributeur : Oana Andrei <>
  • Soumis le : Vendredi 10 Octobre 2008, 14:13:05
  • Dernière modification le : Mardi 14 Octobre 2008, 16:52:20