Attribute Computations in the DPoPb Graph Transformation Engine

Authors

  • Hanh Nhi Tran
  • Christian Percebois
  • Ali Abou Dib
  • Louis Féraud
  • Sergei Soloviev

DOI:

https://doi.org/10.14279/tuj.eceasst.32.511

Abstract

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 attribute computations but rely on programs written in a host language. In previous works we introduced the Double Pushout Pullback (DPoPb) framework which integrates attributed graph rewriting and computation on attributes in a unified categorical approach. This paper discusses the DPoPb’s theoretical and practical advantages when using inductive types and lambda-calculus. We also present an implementation of the DPoPb system in the Haskell language which thoroughly covers the semantics of this graph rewriting system.

Downloads

Published

2011-03-16

How to Cite

[1]
H. N. Tran, C. Percebois, A. Abou Dib, L. Féraud, and S. Soloviev, “Attribute Computations in the DPoPb Graph Transformation Engine”, eceasst, vol. 32, Mar. 2011.