DeepAI AI Chat
Log In Sign Up

A Foundation for Functional Graph Programs: The Graph Transformation Control Algebra (GTA)

12/22/2022
by   Jens H. Weber, et al.
Association for Computing Machinery
0

Applications of graph transformation (GT) systems often require control structures that can be used to direct GT processes. Most existing GT tools follow a stateful computational model, where a single graph is repeatedly modified "in-place" when GT rules are applied. The implementation of control structures in such tools is not trivial. Common challenges include dealing with the non-determinism inherent to rule application and transactional constraints when executing compositions of GTs, in particular atomicity and isolation. The complexity of associated transaction mechanisms and rule application search algorithms (e.g., backtracking) complicates the definition of a formal foundation for these control structures. Compared to these stateful approaches, functional graph rewriting presents a simpler (stateless) computational model, which simplifies the definition of a formal basis for (functional) GT control structures. In this paper, we propose the "Graph Transformation control Algebra" (GTA) as such a foundation. The GTA has been used as the formal basis for implementing the control structures in the (functional) GT tool "GrapeVine".

READ FULL TEXT

page 1

page 2

page 3

page 4

12/22/2022

Towards Mechanised Proofs in Double-Pushout Graph Transformation

We formalise the basics of the double-pushout approach to graph transfor...
02/06/2019

Semantics-Preserving DPO-Based Term Graph Rewriting

Term graph rewriting is important as "conceptual implementation" of the ...
02/09/2018

Implicit complexity via structure transformation

Implicit computational complexity, which aims at characterizing complexi...
04/01/1997

Lifeworld Analysis

We argue that the analysis of agent/environment interactions should be e...
09/29/2020

Implementing Hybrid Semantics: From Functional to Imperative

Hybrid programs combine digital control with differential equations, and...
02/17/2023

Detecting Robustness against MVRC for Transaction Programs with Predicate Reads

The transactional robustness problem revolves around deciding whether, f...
04/22/2022

A Multigraph Approach for Performing the Quantum Schur Transform

We take inspiration from the Okounkov-Vershik approach to the representa...