Project on Bidirectional Compputation

	Bidirectional Computation

Selected Papers | Software

Inspired by the view updating techniques, program inversion and transformational programming, we are now working on development of a new general framework that can support bidirectional computation (bidirectional transformation language, bidirectionalization transformation, and bidirectionality analysis), and focus on its application to dependable XML processing and to bidirectional model transformation in software engineering.

The current subprojects are as follows.

Selected Papers

Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei, Supporting Feature Model Refinement with Updatable View, Frontiers of Computer Science, Accepted, 2012.
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux, Maintaining Invariant Traceability through Bidirectional Transformations, 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, Kune 2-9, 2012. pp.540-550.
Hugo Pacheco, Alcino Cunha , Zhenjiang Hu, Delta Lenses over Inductive Types, First International Workshop on Bidirectional Transformations (BX 2012), Tallinn, Estonia, March 25, 2012. Extended version appears in Electronic Communications of the EASST, Volume 49, 2012. 17pp.
Zhenjiang Hu, Andy Schurr, Perdita Stevens, James Terwilliger, Dagstuhl Seminar on Bidirectional Transformations, SIGMOD Record, Vol.40, No.1 2011. pp.35-39.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper), 26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Oread, Lawrence, Kansas, USA, November 6-10, 2011.
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Toward bidirectionalization of ATL with GRoundTram, International Conference on Model Transformation (ICMT 2011), Zurich, Switzerland, June 27-28, 2011.
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Synchronizing Concurrent Model Updates Based on Bidirectional Transformation. Software and Systems Modeling, Springer, January 2011.
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei, Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach, Journal of Systems and Software, Elsevier, Volume 84, Issue 5, May 2011. pp. 711-723.
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.
Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang, Combining Syntactic and Semantic Bidirectionalization, 15th ACM SIGPLAN International Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, USA, September 27-29, 2010.
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu, Gradual Refinement: Blending Pattern Matching with Data Abstraction, 9th International Conference on Mathematics of Program Construction (MPC 2010), Quebec City, Canada, 21-23 June 2010.
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010. LNCS 6012, 448-467.
Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, International Journal on Software Tools for Technology Transfer (STTT), Vol.11, No.6, 2009. pp.453-468. (This is an extended version of the paper presented in 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008. )
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei, Generating Synchronization Engines between Running Systems and their Model-Based Views, Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09) , Denver, USA, October 5th, 2009. LNCS 6002, 140-154.
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei, Supporting Automatic Model Inconsistency Fixing, The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009.
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lammel, Andy Schurr, James F. Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer. pp.260-283.
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi, Supporting Parallel Updates with Bidirectional Model Transformations, International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009. LNCS 5563, Springer.
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, A Compositional Approach to Bidirectional Model Transformation , New Ideas and Emerging Results Track of 31st International Conference on Software Engineering (ICSE 2009, NIER Track), Vancouver, Canada, May 16-24, 2009.
Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano, Towards Compositional Approach to Model Transformations for Software Development, 24th Annual ACM Symposium on Applied Computing (SAC 2009, Software Engineering Track), Honolulu, Hawaii, USA, March 8-12, 2009. to appear.

Keisuke Nakano, Zhenjiang Hu, Masato Takeichi, Consistent Web Site Updating based on Bidirectional Transformation, 10th IEEE International Symposium on Web Site Evolution (WSE 2008), Beijing, China, October 3-4, 2008.
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, Higher-Order and Symbolic Computation (HOSC), Vol. 21, No. 1-2, Springer, June 2008. pp.89-118. (An extended version of the paper presented at ACM PEPM'04.)
Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei, Towards Automatic Model Synchronization from Model Transformations, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, Georgia, November 5-9, 2007.
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi, Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions, 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October 1-3, 2007.
Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi, A Web Service Architecture for Bidirectional XML Updating, Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management (APWeb/WAIM 2007), Huangshan, China, June 16-18, 2007. pp.721-732.
Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang, A Java Library for Bidirectional XML Transformation, JSSST Computer Software, 24(2): 164-177, 2007.
Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Bidirectional Interpretation of XQuery, ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM 2007), Nice, France, January 15-16, 2007. pp.21-30.
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, Bidirectionalizing Tree Transformation Languages: A Case Study, JSSST Computer Software, Vol.23, No.2, 2006. pp.129-141.
Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24 - 25, 2004. ACM Press. pp.178-189. An exended version has been submitted for Journal publication.
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, An Algebraic Approach to Bidirectional Updating, Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.2-18.
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, An Injective Language for Reversible Computation, Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125, Springer Verlag. pp. 289-313.

More papers are available here.

Software

A Model Synchronization Tool based on Bidirectional Transformation
ArchX: a bidirectional language for synchronizing XML documents with different formats.
BiXJ: a bidirectional computation library for Java.
X2B: a translator from XQuery core expression to BIXJ code.
X/Inv/XEditor: two domain specific languages for specifying bidirectional transformations, and a structured document editor based on Bidirectional Transformations.

Maintained by Zhenjiang Hu. Last modified on October, 2007.

Bidirectional Computation

Selected Papers

Software