A study on functional bidirectional graph transformation languages
| Project/Area Number |
23700047
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Software
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
HIDAKA Soichiro 国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
|
|---|
| Project Period (FY) |
2011 – 2013
|
| Project Status |
Completed (Fiscal Year 2013)
|
| Budget Amount *help |
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2012: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
|---|
| Keywords | プログラム言語論 / プログラミングパラダイム / プログラム処理系 / 双方向グラフ変換 / 関数型言語 / 順序つきグラフ |
|---|
| Research Abstract |
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.
|
Report
(4 results)
Research Products
(68 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] Marker-directed optimization of UnCAL graph transformations2012
Author(s)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
-
Journal Title
Logic-Based Program Synthesis and Transformation, 21st International Symposium, LOPSTR 2011, Odense, Denmark, Revised Selected Papers, Lecture Notes in Computer Science
Volume: 7225
Pages: 123-138
Related Report
Peer Reviewed
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Structural recursion for querying ordered graphs2013
Author(s)
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
Organizer
18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
Place of Presentation
The Hilton Boston Logan Airport Hotel, Boston, USA
Year and Date
2013-09-27
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Marker-directed optimization of UnCAL graph transformations2011
Author(s)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
Organizer
21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011)
Place of Presentation
University of Southern Denmark(Odense, Denmark)
Year and Date
2011-07-19
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
