Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs

摘要

A variety of restricted functor categories has been investigated independently and for different purposes to provide double-pushout-rewriting in the areas of model-driven development and graph transformation. We introduceS-cartesian functor categoriesas a unifying formal framework for these different examples.S-cartesian functor categories are certain subcategories of functor categories that preserve the adhesiveness of their base categories. We show the comprehensive theory of double-pushout-rewriting forS-cartesian functor categories which fulfill additional sufficient conditions. As a new application, we introduce the categoriesPTrGandAPTrGofpartial triple graphsandattributed partial triple graphsasS-cartesian functor categories and obtain all the classical results for double-pushout-rewriting in these categories by construction. Partial triple graphs have recently been used to improve model synchronization processes.