Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Membrane Computing: An Introduction
Membrane Computing: An Introduction
The Vision of Autonomic Computing
Computer
Stratego: A Language for Program Transformation Based on Rewriting Strategies
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Application-Specific Scheduling for the Organic Grid
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
A Simple Calculus for Proteins and Cells
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Rewriting and Strategies for Modeling Biochemical Networks
SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
A Rewriting Calculus for Multigraphs with Ports
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Calculus for Cyclic Higher-order Term Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
A Generalized Higher-Order Chemical Computation Model
Electronic Notes in Theoretical Computer Science (ENTCS)
Pure bigraphs: Structure and dynamics
Information and Computation
Tom: piggybacking rewriting on java
RTA'07 Proceedings of the 18th international conference on Term rewriting and applications
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
The biochemical abstract machine BIOCHAM
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Modeling adaptation with a tuple-based coordination language
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A strategy language for graph rewriting
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Modeling adaptation with Klaim
ACM SIGAPP Applied Computing Review
Runtime Verification for Biochemical Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
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.