direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Zitatschlüssel LET08
Autor Lambers, L. and Ehrig, H. and Taentzer, G.
Buchtitel Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08)
Jahr 2008
ISBN ISSN 1863-2122
Ort Budapest, Hungary
Jahrgang 10
Herausgeber C. Ermel, J. de Lara and R. Heckel
Zusammenfassung In several rule-based applications using graph transformation as underlying modeling technique the following questions arise: How can one be sure that a specific sequence of rules is applicable (resp. not applicable) on a given graph? Of course, it is possible to use a trial and error strategy to find out the answer to these questions. In this paper however, we will formulate suitable sufficient criteria for applicability and other ones for non-applicability. These criteria can be checked in a static way i.e. without trying to apply the whole rule sequence explicitly. Moreover if a certain criterion is not satisfied, then this is an indication for reasons why rule sequences may or may not be applicable. Consequently it is easier to rephrase critical rule sequences. The results are formulated within the framework of double pushout (DPO) graph transformations with negative application conditions (NACs).
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras


Schnellnavigation zur Seite über Nummerneingabe