Attributed graphs are often used in software engineering. Mainly algorithms concerning programs and models transformations are based on rewriting techniques. We suggest a unified categorical approach for the description and the verification of such algorithms and programs. This contribution which is a generalization of the double pushout approach can be seen as a mix between pushout and pullback. This will facilitate the computations on attributes within a unified framework. It should be particularly helpful for model to model transformation in the domain of "Model Driven Architecture". © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Rebout, M., Féraud, L., & Soloviev, S. (2008). A unified categorical approach for attributed graph rewriting. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5010 LNCS, pp. 398–409). https://doi.org/10.1007/978-3-540-79709-8_39
Mendeley helps you to discover research relevant for your work.