Zhengjiang Hu (2008)
Zhenjiang Hu(National Institute of Informatics / University of Tokyo)
Model transformations are a key element in the OMG's Model Driven Development agenda, providing a standard way to represent and transform software artifacts such as requirements, design models, program code, tests, configuration files, and documentation in software development. However, after a transformation is applied, the source and the target models usually co-exist and evolve independently. How to propagate modifications correctly across models in different formats and guarantee system consistency remains as an open problem.
In this talk, I will report our first attempt towards automatic construction of model synchronization systems under the condition that the models to be synchronized are related by model transformations. In our approach, if a model transformation from one model to another is given, these two models can be synchronized for free without writing extra code. The key contributions of our approach are two folds: an automatic derivation of put back functions from execution of a model transformation, and a new synchronization algorithm with clear synchronization semantics.
This is a joint work with Yingfei Xiong, Haiyan Zhao, Masato Takeichi and Hong Mei.
Zhenjiang Hu is a professor of National Institute of Informatics (NII) in Japan. He received his BS and MS from Shanghai Jiao Tong University in 1988 and 1991, and Ph.D degree from University of Tokyo in 1996. He was a lecture (1997-1999) and an associate professor (2000-2007) in University of Tokyo, before joining NII as a full professor in 2008. He also holds a position in Peking University, working on the project sponsored by National Science Fund for Distinguished Young Scholars of China for Oversea Young Scholars. His main interest is in programming languages and software engineering in general, and functional programming, program transformation, and model driven software development in particular.