Strategic Port Graph Rewriting for Autonomic Computing

  • Oana Andrei Hélène Kirchner
  • Published 2008


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. 

8 Figures and Tables


  • Presentations referencing similar topics