A study on functional bidirectional graph transformation languages

点击翻译按钮获取中文摘要

Bidirectional graph transformation has been considered to be a promising approach to propagating modifications bidirectionally over transformations that are used as model transformations in model-driven engineering. We have strengthened our previous approach based on structural recursions on regular trees.We have introduced orders between outgoing edges of nodes, which, as far as we know, had not been realized so far. We have successfully introduced the order for forward transformations, extended the expressive power, and implemented a prototype by embedding into lambda calculi. As for the performance issue, we have clarified the cases in which we can normalize the transformation and eliminate intermediate results. Applications we have investigated include collaborative development of models in systems biology.