Skip to Main content Skip to Navigation
Conference papers

A Higher-Order Graph Calculus for Autonomic Computing

Oana Andrei 1, * Hélène Kirchner 1
* Corresponding author
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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00328554
Contributor : Oana Andrei <>
Submitted on : Tuesday, November 18, 2008 - 12:19:12 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Saturday, November 26, 2016 - 2:40:14 AM

File

hal-calculusforautonomic.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

283

Files downloads

431