2006-01: Composition and Decomposition of DPO Transformations with Borrowed Context

Dateibereich 15527

496,1 KB in einer Datei, zuletzt geändert am 22.11.2012

Dateiliste / Details

DateiDateien geändert amGröße
tr_dbg_2006_1.pdf22.02.2008 09:46:49496,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.
Wissenschaftliche Texte » Heft, Band
Fakultät / Institut:
Fakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Dewey Dezimal-Klassifikation:
000 Informatik, Informationswissenschaft, allgemeine Werke » 000 Informatik, Wissen, Systeme » 004 Datenverarbeitung; Informatik
Kollektion / Status:
E-Publikationen / Dokument veröffentlicht
Dokument erstellt am:
Dateien geändert am:
Technischer Bericht Nr. 2006-01 ISSN 1863-8554 Abteilung für Informatik und Angewandte Kognitionswissenschaft Fakultät für Ingenieurwissenschaften Universität Duisburg-Essen