Towards a compositional approach to model transformation for software development

Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano

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

20 Citations (Scopus)

Abstract

Model transformation plays an important role in model-driven software development that aims to introduce significant efficiencies and rigor to the theory and practice of software development. Although models may have different notations and representations, they are basically graphs, and model transformations are thus nothing but graph transformations. Despite a large amount of theoretical work and a lot of experience with research prototypes on graph-based model transformations, it remains an open issue how to compose model transformations. In this paper, we report our first attempt at a compositional framework for graph-based model transformations using the graph querying language UnQL. The main idea of UnQL is that graph queries are fully captured by structural recursion that is suitable for efficient composition. We show that the idea can be applied to graph-based model transformations. We have implemented a prototype of the framework and tested it with several nontrivial examples. Our new framework supports systematic development of model transformation "in the large" with the advantage that it can automatically remove inefficiencies arising from their composition.

Original languageEnglish
Title of host publication24th Annual ACM Symposium on Applied Computing, SAC 2009
Pages468-475
Number of pages8
DOIs
Publication statusPublished - 2009
Event24th Annual ACM Symposium on Applied Computing, SAC 2009 - Honolulu, HI, United States
Duration: 2009 Mar 82009 Mar 12

Publication series

NameProceedings of the ACM Symposium on Applied Computing

Other

Other24th Annual ACM Symposium on Applied Computing, SAC 2009
CountryUnited States
CityHonolulu, HI
Period09/3/809/3/12

Keywords

  • Design
  • Languages
  • Management

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Towards a compositional approach to model transformation for software development'. Together they form a unique fingerprint.

Cite this