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.
https://hal.inria.fr/inria-00328554 Contributor : Oana AndreiConnect in order to contact the contributor 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
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⟩