Marker-directed optimization of UnCAL graph transformations

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Abstract

Buneman et al. proposed a graph algebra called UnCAL (Unstructured CALculus) for compositional graph transformations based on structural recursion, and we have recently applied to model transformations. The compositional nature of the algebra greatly enhances the modularity of transformations. However, intermediate results generated between composed transformations cause overhead. Buneman et al. proposed fusion rules that eliminate the intermediate results, but auxiliary rewriting rules that enable the actual application of the fusion rules are not apparent so far. UnCAL graph model includes the concept of markers, which correspond to recursive function call in the structural recursion. We have found that there are many optimization opportunities at rewriting level based on static analysis, especially focusing on markers. The analysis can safely eliminate redundant function calls. Performance evaluation shows its practical effectiveness for non-trivial examples in model transformations.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages123-138
Number of pages16
Volume7225 LNCS
DOIs
Publication statusPublished - 2012
Event21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011 - Odense
Duration: 2011 Jul 182011 Jul 20

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7225 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011
CityOdense
Period11/7/1811/7/20

    Fingerprint

Keywords

  • graph transformations
  • program transformations
  • UnCAL

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K., & Sasano, I. (2012). Marker-directed optimization of UnCAL graph transformations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7225 LNCS, pp. 123-138). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7225 LNCS). https://doi.org/10.1007/978-3-642-32211-2_9