ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Graph repair, restoring consistency of a graph, plays a prominent role in several areas of computer science and beyond: For example, in model-driven engineering, the abstract syntax of models is usually encoded using graphs. Flexible edit operations temporarily create inconsistent graphs not representing a valid model, thus requiring graph repair. Similarly, in graph databases—managing the storage and manipulation of graph data—updates may cause that a given database does not satisfy some integrity constraints, requiring also graph repair. We present a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing repairs. In our context, we formalize consistency by so-called graph conditions being equivalent to first-order logic on graphs. We present two kind of repair algorithms: State-based repair restores consistency independent of the graph update history, whereas delta-based (or incremental) repair takes this history explicitly into account. Technically, our algorithms rely on an existing model generation algorithm for graph conditions implemented in AutoGraph. Moreover, the delta-based approach uses the new concept of satisfaction (ST) trees for encoding if and how a graph satisfies a graph condition. We then demonstrate how to manipulate these STs incrementally w.r.t. a graph update.

Wed 10 Apr

fase-2019-papers
10:30 - 12:30: FASE 2019 - Model-driven Development and Model Transformation at JUPITER
Chair(s): Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
fase-2019-papers10:30 - 11:00
Talk
Philip Zweihoff, Stefan Naujokat, Bernhard SteffenTechnical University Dortmund
Link to publication
fase-2019-papers11:00 - 11:30
Talk
Lars Fritsche, Jens Kosiol, Andy SchürrTU Darmstadt, Gabriele TaentzerUniversität Marburg
Link to publication
fase-2019-papers11:30 - 12:00
Talk
Artur BoronatUniversity of Leicester
Link to publication
fase-2019-papers12:00 - 12:30
Talk
Sven Schneider, Leen Lambers, Fernando OrejasUniversitat Politècnica de Catalunya, Spain
Link to publication