direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Conflict Detection for Graph Transformation with Negative Application Conditions
Zitatschlüssel LEO06a
Autor Lambers, L. and Ehrig, H. and Orejas, F.
Buchtitel Proc. Third International Conference on Graph Transformation (ICGT'06)
Seiten 61–76
Jahr 2006
ISSN ISSN 0302-9743, ISBN 3-540-38870-2
Adresse Natal, Brazil
Jahrgang 4178
Monat September
Verlag SPRINGER
Serie LNCS
Zusammenfassung This paper introduces a new theory needed for the purpose of conflict detection for graph transformation with negative application conditions (NACs). Main results are the formulation of a conflict notion for graph transformation with NACs and a conflict characterization derived from it. A critical pair definition is introduced and completeness of the set of all critical pairs is shown. This means that for each conflict, occuring in a graph transformation system with NACs, there exists a critical pair expressing the same conflict in a minimal context. Moreover a necessary and sufficient condition is presented for parallel independence of graph transformation systems with NACs. In order to facilitate the implementation of the critical pair construction for a graph transformation system with NACs a correct construction is formulated. Finally, it is discussed how to continue with the development of conflict detection and analysis techniques in the near future.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe