@inproceedings{BEK06,
Title = {{Composition and Decomposition of {DPO} Transformations with Borrowed Context}},
Author = {Baldan, P. and Ehrig, H. and K\"onig, B.},
Booktitle = {Proc. Third International Conference on Graph Transformation (ICGT'06)},
Pages = {153--167},
Year = {2006},
Issn = {ISSN 0302-9743, ISBN 3-540-38870-2},
Address = {Natal, Brazil},
Volume = {4178},
Month = {September},
Editor = {Corradini, A. and Ehrig, H. and Montanari, U. and Ribeiro, L. and Rozenberg, G.},
Publisher = {SPRINGER},
Series = {LNCS},
Abstract = {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.},
Url = {http://tfs.cs.tu-berlin.de/publikationen/Papers06/BEK06.pdf},
Keywords = {graph transformation, composition decomposition, DPO approach}
}