Ensuring consistency of conditional graph rewriting - a constructive approach

  title={Ensuring consistency of conditional graph rewriting - a constructive approach},
  author={Reiko Heckel and Annika Wagner},
  journal={Electr. Notes Theor. Comput. Sci.},
Consistency conditions describe basic properties of graphs as e g the existence or uniqueness of certain elements A graph grammar is consistent if the start graph satis es the consistency condition and the rules preserve this property We propose a general construction that transforms global consistency conditions into precondi tions for individual rules A so constructed rule is applicable to a consistent graph if and only if the derived graph is consistent too The relevance of this result is… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 44 extracted citations

Similar Papers

Loading similar papers…