• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Calculation Carrying Document Processing Language and its Application

Research Project

Project/Area Number 15200001
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionThe University of Tokyo

Principal Investigator

TAKEICHI Masato  The University of Tokyo, Graduate School of Information Sciences and Technology, Professor, 大学院・情報理工学系研究科, 教授 (10011165)

Co-Investigator(Kenkyū-buntansha) HU Zhenjiang  The University of Tokyo, Graduate School of Information Sciences and Technology, Associate Professor, 大学院・情報理工学系研究科, 助教授 (50292769)
KAKEHI Kazuhiko  The University of Tokyo, Graduate School of Information Sciences and Technology, Associate Lecturer, 大学院・情報理工学系研究科, 特任講師 (90345116)
Project Period (FY) 2003 – 2005
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥29,510,000 (Direct Cost: ¥22,700,000、Indirect Cost: ¥6,810,000)
Fiscal Year 2005: ¥10,790,000 (Direct Cost: ¥8,300,000、Indirect Cost: ¥2,490,000)
Fiscal Year 2004: ¥8,580,000 (Direct Cost: ¥6,600,000、Indirect Cost: ¥1,980,000)
Fiscal Year 2003: ¥10,140,000 (Direct Cost: ¥7,800,000、Indirect Cost: ¥2,340,000)
KeywordsStructured Document / Calculation Carrying Mechanism / Document Processiog
Research Abstract

Our research aims at designing a language for document processing which supports so-called calculation carrying mechanism. Our novel idea of Programmable Structured Documents (PSD) allows us to include transformation code in the document for processing itself. This feature has been demonstrated by several examples including TreeCalc and Interactive Documents (iDocument). The TreeCalc is a document of which components may contain calculated values from other components described in the document. The iDocument enables us to describe dynamic documents which may change their contents according to the input from the reader. Our main contribution of this project is, among others, establishment of a new framework of Bi-directional transformation of structured documents. Structured documents are transformed so often to become several forms according to the requirement. Most common approach to this requirement is to write code for forward transformation and its inverse, that is, backward transformation. The code for inversion is necessary for possible changes performed on the transformed document. In this context, Bi-directional transformation frees us from writing code for backward transformation, which is automatically generated from the forward transformation. We developed a Java library called BiXJ for bi-directional transformation of XML documents, and made practical applications for demonstrating the effectiveness of the transformation.

Report

(4 results)
  • 2005 Annual Research Report   Final Research Report Summary
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • Research Products

    (17 results)

All 2006 2005 2004 Other

All Journal Article (14 results) Publications (3 results)

  • [Journal Article] 木上の双方向変換を利用したファイルマネジャの実現.2006

    • Author(s)
      松田一孝, 大川徳之, 野村芳明, 森田直幸, 筧一彦, 胡振江, 武市正人
    • Journal Title

      情報処理学会論文誌 47・PRO28(印刷中)

    • NAID

      110004078714

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Annual Research Report 2005 Final Research Report Summary
  • [Journal Article] Implementation of a File Manager based on Bidirectional Transformation on Trees(In Japanese)2006

    • Author(s)
      K.Matsuda, N.Ohkawa, Y.Nomura, N.Morita, K.Kakehi, Z.Hu, M.Takeichi
    • Journal Title

      Journal of Information Processing Society of Japan 47,PRO28(In press)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An Enviromnent for Maintaining Computation Dependency in XML Documents2005

    • Author(s)
      Dong Liu, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      ACM Symp. On Document Engineering (DocEng2005)

      Pages: 42-51

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] iDocument Builder : An Environment for Building XML-Based Interactive Teaching Materials2005

    • Author(s)
      Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)

      Pages: 14-17

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An Environment for Maintaining Computation Dependency in XML Documents2005

    • Author(s)
      Dong Liu, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Proc.ACM Symposium on Document Engineering(DocEng 2005)

      Pages: 42-51

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] iDocument Builder : An Environment for building XML-Based Interactive Teaching Materials2005

    • Author(s)
      Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)

      Pages: 14-17

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] An Environment for Maintaining Computation Dependency in XML Documents2005

    • Author(s)
      Dong Liu, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      ACM Symp.On Document Engineering (DocEng2005)

      Pages: 42-51

    • Related Report
      2005 Annual Research Report
  • [Journal Article] iDocument Builder : An Environment for Building XML-Based Interactive Teaching Materials2005

    • Author(s)
      Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      The 3^<rd> International Conf.on Education and Information Systems, Technologies and Applications (EISTA2005)

      Pages: 14-17

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 決定論的2階パターンとプログラム変換への応用2004

    • Author(s)
      横山哲郎, 胡振江, 武市正人
    • Journal Title

      コンピュータソフトウェア 21・3

      Pages: 71-76

    • NAID

      130004549029

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Deterministic Second-order Patterns2004

    • Author(s)
      T.Yokoyama, Z.Hu, M.Takeichi
    • Journal Title

      Information Processing Letters 89・6

      Pages: 309-314

    • Related Report
      2004 Annual Research Report
  • [Journal Article] An injective language for reversible computation2004

    • Author(s)
      S-C Mu, Z.Hu, M.Takeichi
    • Journal Title

      Mathematics for Programming Construction(MPC2004), Springer LNCS3125

      Pages: 289-313

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A programmable editor for developing structured documents based on bidirectional transformation2004

    • Author(s)
      Z.Hu, S-C Mu, M.Takeichi
    • Journal Title

      Partial Evaluation and Semantics-Based Program Manipulation (PEPM'04), ACM Press

      Pages: 178-189

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Bidirectionalizing Tree Transformations2004

    • Author(s)
      Z.Hu, K.Emoto, S-C Mu, M.Takeichi
    • Journal Title

      International Workshop on New Approaches to Software Construction(WNASC2004)

      Pages: 3-22

    • Related Report
      2004 Annual Research Report
  • [Journal Article] An algebraic approach to bi-directional updating problem2004

    • Author(s)
      S-C Mu, Z.Hu, M.Takeichi
    • Journal Title

      The 2nd Asian Symposium on Programming Languages and Systems(APLAS52004)

      Pages: 2-20

    • Related Report
      2004 Annual Research Report
  • [Publications] Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: "Deterministic Second-order Patterns and Its Application to Program Transformation"International Symposium on Logic-based Program Synthesis and Transformation(LOPSTR2003). (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: "Deterministic Second-order Patterns"Information Processing Letters. 89・6. 309-314 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] 武市正人, 胡振江, 筧一彦, 林康史, 穆信成, 中野圭介: "TreeCalc : Towards Programmable Structured Documents"日本ソフトウェア科学会第20回記念大会論文集. (2003)

    • Related Report
      2003 Annual Research Report

URL: 

Published: 2003-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi