direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Constraints and Application Conditions: From Graphs to High-Level Structures
Zitatschlüssel EEHP04
Autor Ehrig, H. and Ehrig, K. and Habel, A. and Pennemann, K.-H.
Buchtitel Proc. 2nd Int. Conference on Graph Transformation (ICGT'04)
Seiten 287–303
Jahr 2004
ISSN ISSN 0302-9743, ISBN 3-540-23207-9
Adresse Rome, Italy
Jahrgang 3256
Monat October
Herausgeber Parisi-Presicce, F. and Bottoni, P. and Engels, G.
Verlag SPRINGER
Serie LNCS
Zusammenfassung Graph constraints and application conditions are most important for graph grammars and transformation systems in a large variety of application areas. Although different approaches have been presented in the literature already there is no adequate theory up to now which can be applied to different kinds of graphs and high-level structures. In this paper, we introduce an improved notion of graph constraints and application conditions and show under what conditions the basic results can be extended from graph transformation to high-level replacement systems. In fact, we use the new framework of adhesive HLR categories recently introduced as combination of HLR systems and adhesive categories. Our main results are the transformation of graph constraints into right application conditions and the transformation from right to left application conditions in this new framework.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe