Call for Internship on
Bidirectional Graph Transformations and its Applications to Model Transformations
This call for internship is a part of the
2nd call of 2015
NII International Internship
as NII's International Exchange based on MOU.
Program Guidelines for Applicants
Due to circumstances of the supervisor, the starting date should be no later than the middle ten days of January 2015. I am sorry for the inconvenience.
Prior calls: 1st call of 2015
Transformations can be seen in various situations in information processing.
For example, a query can be considered as a transformation from
source (database) to target (result/view). It is desirable
for the updates to be propagable not only from source to target,
but also in the opposite direction. However, the latter —
propagating updates to the source — is not so obvious.
Bidirectional transformation achieves this propagation,
and we have recently proposed and implemented
a compositional approach to bidirectional transformation on graphs.
One of our applications of the bidirectional graph transformation
is to support consistent model transformation in
model driven software development.
Soichiro Hidaka
is leading a research subproject on bidirectionalization of graph transformation
as a part of The BiG project on
"Linguistic Approach to Bidirectional Model
Transformation", whose focus is on the above applications.
The project is establishing graph transformation framework for model transformation
by representing models as graphs (see the references below).
This internship will be conducted in coordination with the BiG project
to focus on challenging issues
related to bidirectional graph transformation
such as enhancement of
the expressive power, facilitating usability, and improvement of the
performance, using our implementation
GRoundTram, the project's
infrastructure based on bidirectional graph transformation.
Since the project is based on building tools, programming experience
is essential. Experience in functional programming is a plus.
Former Internship Students
- J.R.Wilson-Kanamori, The University of Edinburgh, From 2012/10/01 to 2013/03/26 (6 months)
A Bidirectional Collaboration Framework for Bio-Model Development
Internship project page
Internship project paper
-
Faiez ZALILA, Toulouse University, IRIT, France, From 2012/10/31 to 2013/1/31 (3 months)
Verification results feedback using bidirectional model transformation
Internship project paper submitted for publication.
- Stefanie Grewenig, University of Augsburg, Germany, From 2013/03/27 to 2013/05/31 (2 months)
Automatically generating constraint transformation
- Florent Latombe,
Toulouse University, IRIT, France, From 2014/1/7 to 2014/3/26 (3 months)
Translational semantics and bidirectional transformations
Internship project technical report
- Quang Minh TRAN,
Berlin Institute of Technology, Germany, From 2014/1/10 to 2014/6/30 (6 months)
Bidirectional transformations on dataflow diagrams, Source-Query-View provenance
Preliminary result from the internship project was presented at
(unrefereed) JSSST domestic conference (co-authored with Hidaka and Martin Billes)
and summarized as a technical report.
Revised version (co-authored also with Kazutaka Matsuda) is accepted
to BX 2015.
- Martin Billes,
University of Augsburg, Germany, From 2014/3/3 to 2014/7/4 (4 months)
Graph view coloring based on updatability (including inconsistent update detection)
Preliminary result from the internship project was presented at
(unrefereed) JSSST domestic conference (co-authored with Hidaka and Quang Minh Tran)
and summarized as a technical report.
Revised version (co-authored also with Kazutaka Matsuda) is accepted
to BX 2015.
- Ezgi Cicek,
University of Saarland, Germany, From 2015/9/12 to 2015/12/25 (3.5 months)
Identification of free-edit propagation through trace and transformation analysis
- Fei Yang from Department of Computer Science, Shanghai Jiao Tong University,
accepted by the internship project supervised by Prof. Zhenjiang Hu, worked on
bidirectionalization of graph transformations on ordered graphs.
Fei Yang now belong to Department of Mathematics and Computer Science,
Eindhoven University of Technology, The Netherlands, and we continuously improving
our work.
References
Bidirectional Transformation in General
Framework Overview
- Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano:
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations, research paper of the special issue:
Advanced programming techniques for construction of robust, generic and evolutionary programs
Progress in Informatics, No. 10 pp.131-148, 2013 [PDF]
- Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato and Keisuke Nakano,
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper and poster),
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 480-483, Nov. 9-11, 2011
[IEEE Xplore]
Foundations
-
Soichiro Hidaka,
Zhenjiang Hu,
Kazuhiro Inaba,
Hiroyuki Kato,
Keisuke Nakano,
Kazutaka Matsuda,
Bidirectionalizing Graph Transformations,
15th ACM SIGPLAN International Conference on Functional Programming
(ICFP 2010),
Baltimore, Maryland, USA, September 27-29, 2010.
[Full version] [Video]
© ACM, (2010). This is the author's version of the work.
It is posted here by permission of ACM for your personal use.
Not for redistribution. The definitive version has been published in
Proc. of ICFP2010.
- Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano. Marker-directed optimization of UnCAL graph transformations,
21st International Symposium on
Logic-Based Program Synthesis and Transformation (LOPSTR 2011),
Odense, Denmark, July 18-20, 2011, final version appears in
LNCS formal proceedings.
-
[Poster]
Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram,
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato (National Institute of Informatics), Kazutaka Matsuda (Tohoku University), Keisuke Nakano (The University of Electro-Communications)
Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010)
, Shanghai, China, November 28 – December 1 (2010)
-
Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu,
Towards Bidirectional Transformations on Ordered Graphs,
Technical Report, GRACE Center, National Institute of Informatics (GRACE-TR-2011-07), Dec. 2011
-
Soichiro Hidaka,
Kazuyuki Asada,
Zhenjiang Hu,
Hiroyuki Kato,
Keisuke Nakano,
Structural Recursion for Querying Ordered Graphs,
18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013),
pp. 305-318, Sep 2013.
[PDF]
Unidirectional transformations on ordered graphs. We are bidirectionalizing a
first order subset of the transformation.
Preliminary attempt without sibling transformation appeared in the above technical report.
-
Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda.
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations,
Fourth International Workshop on Bidirectional Transformations (BX 2015) (co-located with
STAF'15),
L'Aquila, Italy, Friday, July 24, 2015,
CEUR Workshop Proceedings vol. 1396 pp. 51-65
[PDF]
[Long version]
Prior version:
Soichiro Hidaka, Martin Billes and Quang Minh Tran,
A Trace-based Approach to Increased Comprehensibility and Predictability of Bidirectional Graph Transformations
GRACE-TR-2015-03, GRACE Center, National Institute of Informatics, February 2015, 12 pages.
[PDF]
Applications
-
Florent Latombe and Soichiro Hidaka,
On the use of Bidirectional Transformations for Translational Semantics,
GRACE-TR-2014-01, GRACE Center, National Institute of Informatics, April 2014, 16 pages.
[PDF]
-
John Wilson-Kanamori and Soichiro Hidaka,
A Bidirectional Collaboration Framework for Bio-Model Development,
Second International Workshop on Bidirectional Transformations (BX 2013),
Sunday March 17th, 2013, Rome, Italy, colocated with ETAPS 2013,
Electronic Communication of the European Association of Software Science and Technology, Volume 57.
[PDF]
-
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux,
blinkit: Maintaining Invariant Traceability through Bidirectional Transformations,
Proc. of the 34th International Conference on Software Engineering (ICSE 2012), pp. 540--550, Jun 2012
[IEEE Xplore]
Technical report version:
blinkit: Maintaining Invariant Traceability through Bidirectional Transformations
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, and Lionel Montrieux
Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University 2011(9) Sep 2011
Please refer to the supervisor's web-site
for his research activities and publications.
Also refer to our project page
for more information about the BiG project including members, publications
and demonstrations.
See also our laboratory page.
Please refer to the guideline
for more information about general application procedure.
Soichiro Hidaka
Last modified: Sat Nov 7 22:43:09 JST 2015