Skip to Main content Skip to Navigation
Conference papers

A Port Graph Calculus for Autonomic Computing and Invariant Verification

Oana Andrei 1 Helene Kirchner 2, *
* Corresponding author
2 PAREO - Formal islands: foundations and applications
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we first introduce port graphs as graphs with multiple edges and loops, with nodes having explicit connection points, called ports, and edges attaching to ports of nodes. We then define an abstract biochemical calculus that instantiates to a rewrite calculus on these graphs. Rules and strategies are themselves port graphs, i.e. first-class objects of the calculus. As a consequence, they can be rewritten as well, and rules can create new rules, providing a way of modeling adaptive systems. This approach also provides a formal framework to reason about computations and to verify useful properties. We show how structural properties of a modeled system can be expressed as strategies and checked for satisfiability at each step of the computation. This provides a way to ensure invariant properties of a system. This work is a contribution to the formal specification and verification of adaptive systems and to theoretical foundations ofautonomic computing.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00418560
Contributor : Helene Kirchner <>
Submitted on : Sunday, September 20, 2009 - 12:48:22 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM
Long-term archiving on: : Tuesday, June 15, 2010 - 11:55:45 PM

File

verif.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00418560, version 1

Collections

Citation

Oana Andrei, Helene Kirchner. A Port Graph Calculus for Autonomic Computing and Invariant Verification. TERMGRAPH 2009, 5th International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009, A. Corradini, Mar 2009, York, United Kingdom. ⟨inria-00418560⟩

Share

Metrics

Record views

1360

Files downloads

517