We present a notion of composition applying both to graphs and to rules, based on graph and rule interfaces along which they are glued. The current paper generalises a previous result in two different ways. Firstly, rules do not have to form pullbacks with their interfaces; this enables graph passing between components, meaning that components may “learn‿ and “forget‿ subgraphs through communication with other components. Secondly, composition is no longer binary; instead, it can be repeated for an arbitrary number of components.
|Name||Lecture Notes in Computer Science|
|Conference||6th International Conference on Graph Transformation, ICGT 2012|
|Period||24/09/12 → 29/09/12|
|Other||24-29 September 2012|
- Abstract Interpretation
- Graph Transformation
- State Space Exploration