A Higher-Order Graph Calculus for Autonomic Computing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

A Higher-Order Graph Calculus for Autonomic Computing

Oana Andrei
  • Fonction : Auteur correspondant
  • PersonId : 831820

Connectez-vous pour contacter l'auteur
Formal islands: foundations and applications
Hélène Kirchner
Formal islands: foundations and applications

Résumé

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.

Domaines

Calcul formel [cs.SC]
Fichier principal
Vignette du fichier
hal-calculusforautonomic.pdf (354.06 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Oana Andrei  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00328554

Soumis le : mardi 18 novembre 2008-12:19:12

Dernière modification le : jeudi 15 février 2024-03:30:57

Archivage à long terme le : samedi 26 novembre 2016-02:40:14

Télécharger pour visualiser

Dates et versions

inria-00328554 , version 1 (10-10-2008)
inria-00328554 , version 2 (18-11-2008)

Identifiants

  • HAL Id : inria-00328554 , version 2

Citer

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. ⟨inria-00328554v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
125 Consultations
341 Téléchargements

Partager

Gmail Facebook X LinkedIn More