direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Adhesive High-Level Replacement Categories and Systems
Zitatschlüssel EHPP04
Autor Ehrig, H. and Habel, A. and Padberg, J. and Prange, U.
Buchtitel Proc. 2nd Int. Conference on Graph Transformation (ICGT'04)
Seiten 144–160
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 Adhesive high-level replacement (HLR) categories and systems are introduced as a new categorical framework for graph transformation in a broad sense, which combines the well-known concept of HLR systems with the new concept of adhesive categories introduced by Lack and Sobocinski. In this paper we show that most of the HLR properties, which had been introduced ad hoc to generalize some basic results from the category of graphs to high-level structures, are valid already in adhesive HLR categories. As a main new result in a categorical framework we show the Critical Pair Lemma for local confluence of transformations. Moreover we present a new version of embeddings and extensions for transformations in our framework of adhesive HLR systems.
Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe