Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/inria-00328491
Contributor : Oana Andrei <>
Submitted on : Friday, October 10, 2008 - 2:13:05 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Tuesday, October 9, 2012 - 11:18:13 AM

File

tfit.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

408

Files downloads

194