Reference : Cospan DPO Approach: An Alternative for DPO Graph Transformations
Scientific journals : Article
Engineering, computing & technology : Computer science
Cospan DPO Approach: An Alternative for DPO Graph Transformations
Ehrig, Hartmut [> >]
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Prange, Ulrike [> >]
Bulletin of the EATCS
[en] The DPO approach for graph transformations is based on productions and direct transformations defined by two pushouts, where, roughly spoken, in the first pushout all items in L without K are deleted and in the second one all items R without K are added, while those items in K are preserved. Intuitively, K is the intersection of L and R and, formally, p is a span of graph morphisms. In this paper we consider productions which are cospans of graph morphisms, and K corresponds to the union of L and R. As before, direct transformations are defined by double pushouts, but now the first pushout adds all items in KnL and the second one deletes KnR. This basic idea can be extended to an alternative graph transformation approach, called cospan DPO approach. Key notions of the classical DPO approach can be reformulated in the cospan DPO approach and our main result shows in which way corresponding concepts and results are equivalent.

File(s) associated to this reference

Fulltext file(s):

Limited access
beatcs98.pdfPublisher postprint4.35 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.