2006-01: Composition and Decomposition of DPO Transformations with Borrowed Context
Baldan, Paolo, Ehrig, Hartmut, Prof. Dr. König, Barbara
In: Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft
Dateibereich 15527
496,1 KB in einer Datei, zuletzt geändert am 22.11.2012
| Datei | Dateien geändert am | Größe |
|---|---|---|
| tr_dbg_2006_1.pdf | 22.02.2008 09:46:49 | 496,1 KB |
Double-pushout (DPO) transformations with borrowed context extend the standard DPO approach by allowing part of the graph needed in a transformation to be borrowed from the environment. The bisimilarity based on the observation of borrowed contexts is a congruence, thus facilitating system analysis. In this paper, focusing on the situation in which the states of a global system are built out of local components, we show that DPO transformations with borrowed context defined on a global system state can be decomposed into corresponding transformations on the local states and vice versa. Such composition and decomposition theorems, developed in the framework of adhesive categories, can be seen as a first step towards an inductive definition, in sos style, of the labelled transition system associated to a graph transformation system. As a special case we show how an ordinary DPO transformation on a global system state can be decomposed into local DPO transformations with borrowed context using the same production.
Lesezeichen:
Dokumententyp:
Wissenschaftliche Texte » Zeitschrift, Journal
Fakultät / Institut:
Fakultät für Ingenieurwissenschaften » Ingenieurwissenschaften - Campus Duisburg » Abteilung Informatik und Angewandte Kognitionswissenschaft
Dewey Dezimal-Klassifikation:
000 Informatik, Informationswissenschaft, allgemeine Werke » 000 Informatik, Wissen, Systeme » 004 Datenverarbeitung; Informatik
Sprache:
Englisch
Kollektion / Status:
E-Publikationen / Dokument veröffentlicht
Dokument erstellt am:
18.10.2006
Dateien geändert am:
22.11.2012
Medientyp:
Text
Quelle:
Technischer Bericht Nr. 2006-01
ISSN 1863-8554
Abteilung für Informatik und Angewandte Kognitionswissenschaft
Fakultät für Ingenieurwissenschaften
Universität Duisburg-Essen
