VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems

Nils Weidmann
(Paderborn University, Germany)
Anthony Anjorin
(IAV GmbH Ingenieurgesellschaft Auto und Verkehr, Germany)
James Cheney
(University of Edinburgh, United Kingdom)

In the field of Model-Driven Engineering, there exist numerous tools that support various consistency management operations including model transformation, synchronisation and consistency checking. The supported operations, however, typically run completely in the background with only input and output made visible to the user. We argue that this often reduces both understandability and controllability. As a step towards improving this situation, we present VICToRy, a debugger for model generation and transformation based on Triple Graph Grammars, a well-known rule-based approach to bidirectional transformation. In addition to a fine-grained, step-by-step, interactive visualisation, VICToRy enables the user to actively explore and choose between multiple valid rule applications thus improving control and understanding.

In Berthold Hoffmann and Mark Minas: Proceedings of the Eleventh International Workshop on Graph Computation Models (GCM 2020), Online-Workshop, 24th June 2020, Electronic Proceedings in Theoretical Computer Science 330, pp. 1–12.
Published: 3rd December 2020.

ArXived at: http://dx.doi.org/10.4204/EPTCS.330.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org