Higher-Order and Symbolic Computation

, Volume 21, Issue 1, pp 89–118

A programmable editor for developing structured documents based on bidirectional transformations


DOI: 10.1007/s10990-008-9025-5

Cite this article as:
Hu, Z., Mu, SC. & Takeichi, M. Higher-Order Symb Comput (2008) 21: 89. doi:10.1007/s10990-008-9025-5


This paper presents an application of bidirectional transformation to the design and implementation of a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on a view of the document, and the editor automatically derives an efficient and reliable document source and a transformation that produces the document view. The editor is unique in its programmability, in the sense that transformations can be obtained through editing operations. It uses the view-updating technique developed in the database community and a new bidirectional transformation language that can describe not only the relationship between the document source and its view, but also the data dependency in the view.


View updatingBidirectional transformationFunctional programmingDocument engineeringStructured editor

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  1. 1.Information Systems Architecture Research DivisionNational Institute of InformaticsTokyoJapan
  2. 2.Institute of Information ScienceAcademia SinicaTaipeiTaiwan
  3. 3.Department of Mathematical InformaticsUniversity of TokyoTokyoJapan