| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Strategic Port Graph Rewriting for Autonomic Computing
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.
Cited literature [28 references]
https://hal.inria.fr/inria-00328491
Contributor : Oana Andrei Connect in order to contact the contributor
Submitted on : Friday, October 10, 2008 - 2:13:05 PM
Last modification on : Saturday, June 25, 2022 - 7:43:27 PM
Long-term archiving on: : Tuesday, October 9, 2012 - 11:18:13 AM
Contributor : Oana Andrei Connect in order to contact the contributor
Submitted on : Friday, October 10, 2008 - 2:13:05 PM
Last modification on : Saturday, June 25, 2022 - 7:43:27 PM
Long-term archiving on: : Tuesday, October 9, 2012 - 11:18:13 AM
File
tfit.pdf
Files produced by the author(s)