ICGT 2023
Wed 19 - Thu 20 July 2023 Leicester, United Kingdom
co-located with STAF 2023
Wed 19 Jul 2023 15:30 - 16:00 at Oak - ICGT Session 4: Graph Transformation Properties Chair(s): Russ Harmer

Many applications of graph transformation require rules that change a graph without introducing new consistency violations. When designing such rules, it is natural to think about the desired outcome state, i.e., the desired effect, rather than the specific steps required to achieve it; these steps may vary depending on the specific rule-application context. Existing graph-transformation approaches either require a separate rule to be written for every possible application context or lack the ability to constrain the maximal change that a rule will create. We introduce effect-oriented graph transformation, shifting the semantics of a rule from specifying actions to representing the desired effect. A single effect-oriented rule can encode a large number of induced classic rules. Which of the potential actions is executed depends on the application context; ultimately, all ways lead to Rome. If a graph element to be deleted (created) by a potential action is already absent (present), this action need not be performed because the desired outcome is already present. We formally define effect-oriented graph transformation, show how matches can be computed without explicitly enumerating all induced classic rules, and report on a prototypical implementation of effect-oriented graph transformation in Henshin.

Kosiol_Effect-oriented-transformation (slides.pdf)700KiB

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
30m
Talk
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
30m
Talk
Termination of Graph Transformation Systems using Weighted Subgraph CountingNominated for Best Paper
Research Papers
P: Roy Overbeek Vrije Universiteit Amsterdam, Jörg Endrullis Vrije Universiteit Amsterdam
DOI Pre-print File Attached
16:30
30m
Talk
Extending single- to multi-variant model transformations by trace-based propagation of variability annotations
Journal-First
P: Bernhard Westfechtel University of Bayreuth, Sandra Greiner University of Bern, Switzerland
DOI File Attached