direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Embedding and Confluence of Graph Transformations with Negative Application Conditions
Zitatschlüssel LEPO08
Autor Lambers, L. and Ehrig, H. and Prange, U. and Orejas, F.
Buchtitel Proc. International Conference on Graph Transformation (ICGT'08)
Seiten 162–177
Jahr 2008
ISBN ISBN 978-3-540-87404-1
Ort Leicester, UK
Adresse Heidelberg
Jahrgang 5214
Herausgeber Ehrig, H. and Heckel, R. and Rozenberg, G. and Taentzer, G.
Serie LNCS
Zusammenfassung The goal of this paper is the generalization of embedding and confluence results for graph transformation systems to transformation systems with negative application conditions (NACs). These conditions restrict the application of a rule by expressing that a specific structure must not be present before or after applying the rule to a certain context. Such a condition influences each rule application and transformation and therefore changes significantly the properties of the transformation system. This behavior modification is reflected by the generalization of the Embedding Theorem and the Critical Pair Lemma or Local Confluence Theorem, formulated already for graph transformation systems without negative application conditions. The results hold for adhesive high-level replacement systems with NACs and are formulated in this paper for the instantiation to double-pushout graph transformation systems with NACs. All constructions and results are explained on a running example.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe