Selected Papers |
Software
With the popularity of XML, bidirectional updating -- maintaining the
consistency between two pieces of structured data, again becomes a
problem of interest. We are working on a new framework, inspired by
program inversion and transformational programming techniques, to look at this
problem. We have designed a functional language, Inv, in which all
programs are injective and their inverses can be trivially constructed.
The language is equivalent to reversible Turing
machines and expressive enough to describe most transforms one would
need. Furthermore, we have proposed a domain-specific bidirectional combinator language,
X,
which has proved to be very useful for data
synchronization, construction of view-based editors and structured documents manipulation.
We are now developing a general framework for supporting bidirectional computation (bidirectional transformation language, bidirectionalization transformation, and bidirectionality analysis), and focus on its application to efficient and reliable structured document manipulation.
More information about the project is in the PSD project page.
Selected Papers
-
Dongxi Liu,
Zhenjiang Hu,
Masato Takeichi,
Kazuhiko Kakehi, Hao Wang,
A Java Library for Bidirectional XML Transformation,
JSSST Computer Software, 2006. to appear.
-
Dongxi Liu,
Zhenjiang Hu,
Masato Takeichi,
Bidirectionalizing XQuery -- Updating XML through Materialized XQuery View
,
Technical Report METR 2006-05, Department of Mathematical Informatics,
University of Tokyo, April 2006.
-
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
- X/Inv: Languages for specifying bidirectional transformation.
- XEditor: A Structured Document Editor based on Bidirectional Transformation.
Maintained by Zhenjiang Hu. Last modified on April, 2006.