A Higher-Order Graph Calculus for Autonomic Computing
Résumé
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.
Domaines
Calcul formel [cs.SC]
Origine : Fichiers produits par l'(les) auteur(s)