Composition and Decomposition of DPO Transformations with Borrowed Context
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.
Unable to display preview. Download preview PDF.
- 1.Baldan, P., Ehrig, H., König, B.: Composition and decomposition of DPO transformations with borrowed contexts. Technical report, Universität Duisburg-Essen (2006)Google Scholar
- 5.Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation—part I: Basic concepts and double pushout approach, ch. 3. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, Foundations, vol. 1. World Scientific, Singapore (1997)Google Scholar
- 7.Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 3: Concurrency, Parallellism, and Distribution. World Scientific, Singapore (1999)Google Scholar
- 9.Lack, S., Sobociński, P.: Adhesive and quasiadhesive categories. RAIRO – Theoretical Informatics and Applications 39(3) (2005)Google Scholar
- 11.Milner, R.: The polyadic π-calculus: a tutorial. In: Logic and Algebra of Specification. Springer, Heidelberg (1993)Google Scholar
- 12.Sassone, V., Sobociński, P.: Reactive systems over cospans. In: Proc. of LICS 2005, pp. 311–320. IEEE, Los Alamitos (2005)Google Scholar