STAF 2023 (series) / ICGT 2023 (series) / Research Papers / Termination of Graph Transformation Systems using Weighted Subgraph Counting
Termination of Graph Transformation Systems using Weighted Subgraph CountingNominated for Best Paper
Wed 19 Jul 2023 16:00 - 16:30 at Oak - ICGT Session 4: Graph Transformation Properties Chair(s): Russ Harmer
We introduce a termination method for the algebraic graph transformation framework PBPO+, in which we weigh objects by summing a class of weighted morphisms targeting them. The method is well-defined in rm-adhesive quasitoposes (which include toposes and therefore many graph categories of interest), and is applicable to non-linear rules. The method is also defined for other frameworks, including DPO and SqPO, because we have previously shown that they are naturally encodable into PBPO+ in the quasitopos setting.
slides (slides.pdf) | 382KiB |
Wed 19 JulDisplayed time zone: London change
Wed 19 Jul
Displayed time zone: London change
15:30 - 17:00 | ICGT Session 4: Graph Transformation PropertiesResearch Papers / Journal-First at Oak Chair(s): Russ Harmer CNRS Remote Participants: Zoom Link, YouTube Livestream | ||
15:30 30mTalk | Finding the Right Way to Rome: Effect-oriented Graph Transformation Research Papers P: Jens Kosiol Universität Kassel, Daniel Strüber Chalmers | University of Gothenburg / Radboud University, Gabriele Taentzer Philipps-Universität Marburg, Steffen Zschaler King's College London DOI Pre-print File Attached | ||
16:00 30mTalk | Termination of Graph Transformation Systems using Weighted Subgraph CountingNominated for Best Paper Research Papers DOI Pre-print File Attached | ||
16:30 30mTalk | Extending single- to multi-variant model transformations by trace-based propagation of variability annotations Journal-First DOI File Attached |