Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "Morphisms and Transformations of Potentially Inconsistent Graphs"

by Reiko Heckel

Sat, 07 July 2018 at 09:30 am in Royal Holloway, United Kingdom

Joint work with: Fernando Orejas, Maryam Ghaffari Saadat

Abstract: A Potentially Inconsistent Graph, or PIG, is a symbolic attributed graph with a potentially inconsistent set of attribute constraints. Semantically it stands for a set of potential graphs, each corresponding to a maximally consistent subset of constraints representing one of several alternative design choices. We discuss a notion of morphism of such graphs and their suitability to define a new notion of symbolic graph transformation to develop a theory of independence and confluence.