This paper deals with model transformation based on attributed graph rewriting. Our contribution investigates a single pushout approach for applying the rewrite rules. The computation of graph attributes is obtained through the use of typed λ-calculus with inductive types. In this paper we present solutions to cope with single pushout construction for the… (More)
In this paper, we give a new formalism for attributed graph rewrites resting on category theory and type theory. Our main goal is to offer a single theoretical foundation that embeds the rewrite of structural parts of graphs and attribute computations which has more expressive power for attribute computations as well.
One of the challenges of attributed graph rewriting systems concerns the implementation of attribute computations. Most of the existing systems adopt the standard algebraic approach where graphs are attributed using sigma-algebras. However, for the sake of efficiency considerations and convenient uses, these systems do not generally implement the whole… (More)
Graph transformation systems or graph grammars are a generalization of formal grammars used in linguistics.One of principal differences is that the structures that are transformed by transformation rules are no more linear. In this paper we consider graph transformation systems in connection with proof theory. We develop the graph transformation framework,… (More)