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

Bidirectional Transformation Mechanisms and its Application

Research Project

Project/Area Number 19200002
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, 大学院・情報理工学系研究科, 教授 (10011165)

Co-Investigator(Kenkyū-buntansha) 胡 振江  東京大学, 大学院・情報理工学系研究科, 准教授 (50292769)
松崎 公紀  東京大学, 大学院・情報理工学系研究科, 助教 (30401243)
Co-Investigator(Renkei-kenkyūsha) HU Zhenjiang  国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)
MATSUZAKI Kiminori  高知工科大学, 情報学群, 准教授 (30401243)
Project Period (FY) 2007 – 2010
Project Status Completed (Fiscal Year 2010)
Budget Amount *help
¥42,380,000 (Direct Cost: ¥32,600,000、Indirect Cost: ¥9,780,000)
Fiscal Year 2010: ¥10,400,000 (Direct Cost: ¥8,000,000、Indirect Cost: ¥2,400,000)
Fiscal Year 2009: ¥10,660,000 (Direct Cost: ¥8,200,000、Indirect Cost: ¥2,460,000)
Fiscal Year 2008: ¥10,920,000 (Direct Cost: ¥8,400,000、Indirect Cost: ¥2,520,000)
Fiscal Year 2007: ¥10,400,000 (Direct Cost: ¥8,000,000、Indirect Cost: ¥2,400,000)
Keywordsプログラム言語 / ソフトウェア設計 / 双方向変換機構 / プログラミング言語 / 双方向変換
Research Abstract

Bidirectional transformation mechanisms have been studied for establishing a methodology to develop reliable and productive software, which is based on exploring a language with bidirectional properties. A bidirectional transformation library Bi-HaXml for XML documents has been developed to demonstrate usefulness of our idea of bidirectional mechanism. For such a mechanism to be applied in software development processes, a bidirectional model description language called"Beanbag"has been designed and its system has been developed to illustrate its effectiveness.

Report

(6 results)
  • 2010 Annual Research Report   Final Research Report ( PDF )
  • 2009 Annual Research Report   Self-evaluation Report ( PDF )
  • 2008 Annual Research Report
  • 2007 Annual Research Report
  • Research Products

    (38 results)

All 2010 2009 2008 2007 Other

All Journal Article (23 results) (of which Peer Reviewed: 23 results) Presentation (13 results) Remarks (2 results)

  • [Journal Article] Grammar-based Approach to Invertible Programs, 19th European Symposium on Programming2010

    • Author(s)
      Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Proceedings of 19th European Symposium on Programming

      Volume: LNCS6012 Pages: 448-467

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Supporting Automatic Model Inconsistency Fixing.2009

    • Author(s)
      Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei.
    • Journal Title

      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009).

      Pages: 315-324

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] Type-based Specialization of XML Transformations.2009

    • Author(s)
      Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi.
    • Journal Title

      ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009).

      Pages: 61-72

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化2009

    • Author(s)
      松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
    • Journal Title

      コンピュータソフトウェア 第26巻

    • NAID

      10025982390

    • Related Report
      2010 Final Research Report 2009 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Consistent Web Site Updating based on Bidirectional Transformation.2009

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi.
    • Journal Title

      International Journal on Software Tools for Technology Transfer. Vol.11

      Pages: 453-468

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] Supporting Automatic Model Inconsistency Fixing2009

    • Author(s)
      Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
    • Journal Title

      ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009)

      Pages: 315-324

    • Related Report
      2009 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Supporting Parallel Updates with Bidirectional Model Transformations2009

    • Author(s)
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      International Conference on Model Transformation (ICMT 2009)

    • Related Report
      2009 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Type-based Specialization of XML Transformations2009

    • Author(s)
      Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009)

      Pages: 61-72

    • Related Report
      2009 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] Consistent Web Site Updating based on Bidirectional Transformation2009

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      International Journal on Software Tools for Technology Transfer Vol. 11

      Pages: 453-468

    • Related Report
      2009 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] 補関数の生成による複製機能付きプログラムの自動双方向化2009

    • Author(s)
      松田一孝, 胡振江, 中野圭介, 浜名誠, 武市正人
    • Journal Title

      コンピュータソフトウェア 26

    • NAID

      10025982390

    • Related Report
      2009 Annual Research Report 2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Type-based Specialization of XML Transformations2009

    • Author(s)
      松田一孝, 胡振江, 武市正人
    • Journal Title

      ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation(PEPM 2009)

      Pages: 61-72

    • Related Report
      2009 Annual Research Report 2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Supporting Automatic Model Inconsistency Fixing2009

    • Author(s)
      Yingfei Xiong, 胡振江, Haiyan Zhao, Hui Song, 武市正人, Hong Mei
    • Journal Title

      ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

      Pages: 315-324

    • Related Report
      2009 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Supporting Automatic Model Inconsistency Fixing2009

    • Author(s)
      Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
    • Journal Title

      ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

      Pages: 315-324

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Consistent Web Site Updating based on Bidirectional Transformation2009

    • Author(s)
      中野圭介, 胡振江, 武市正人
    • Journal Title

      International Journal on Software Tools for Technology Transfer 11

      Pages: 453-468

    • Related Report
      2008 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations.2008

    • Author(s)
      Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi.
    • Journal Title

      Higher-Order and Symbolic Computation. Vol.21

      Pages: 89-118

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] Towards Automatic Model Synchronization from Model Transformations.2008

    • Author(s)
      Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei.
    • Journal Title

      22nd IEEE/ACM International Conference on Automated Software Engineering.

      Pages: 164-173

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2008

    • Author(s)
      Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
    • Journal Title

      Higher-Order and Symbolic Computation Vol. 21

      Pages: 89-118

    • Related Report
      2009 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations2008

    • Author(s)
      Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
    • Journal Title

      Higher-Order and Symbolic Computation 21

      Pages: 89-118

    • Related Report
      2008 Annual Research Report 2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Towards Automatic Model Synchronization from Model Transformations2007

    • Author(s)
      Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
    • Journal Title

      22nd IEEE/ACM International Conference on Automated Software Engineering

      Pages: 164-173

    • Related Report
      2009 Self-evaluation Report
    • Peer Reviewed
  • [Journal Article] A Web Service Architecture for Bidirectional XML Updating2007

    • Author(s)
      Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    • Journal Title

      Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management June16-18,2007

      Pages: 721-732

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Towards Automatic Model Synchronization from Model Transformations2007

    • Author(s)
      Yingtel Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
    • Journal Title

      22nd IEEE/ACM International Conference on Automated Software Engineering November5-9,2007

      Pages: 164-173

    • Related Report
      2007 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Grammar-based Approach to Invertible Programs

    • Author(s)
      Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi.
    • Journal Title

      19th European Symposium on Programming (ESOP), LNCS6012 2010

      Pages: 448-467

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Journal Article] Supporting Parallel Updates with Bidirectional Model Transformations.

    • Author(s)
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi.
    • Journal Title

      International Conference on Model Transformation (ICMT 2009).

    • Related Report
      2010 Final Research Report
    • Peer Reviewed
  • [Presentation] Program Calculation in Coq.2010

    • Author(s)
      Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
    • Organizer
      Thirteenth International Conference on Algebraic Methodology And Software Technology
    • Place of Presentation
      Quebec City, Canada
    • Related Report
      2010 Final Research Report
  • [Presentation] Program Calculation in Coq2010

    • Author(s)
      Julien Tesson, Hideki Hashimoto., Zhenjiang Hu, Frederic Loulergue, Masato Takeichi
    • Organizer
      Thirteenth International Conference on Algebraic Methodology And Software Technology
    • Place of Presentation
      Quebec City,Canada
    • Related Report
      2010 Annual Research Report
  • [Presentation] Configuring Bidirectional Programs with Functions.2009

    • Author(s)
      武市正人
    • Organizer
      21st Symposium on Implementation and Application of Functional Languages (IFL2009).
    • Place of Presentation
      Seton Hall University, South Orange NJ, USA.
    • Related Report
      2010 Final Research Report
  • [Presentation] 内部参照をもつXML文書の双方向変換による編集2009

    • Author(s)
      木津幸子, 武市正人, 胡振江
    • Organizer
      日本ソフトウェア科学会第26回大会
    • Place of Presentation
      島根大学
    • Related Report
      2010 Final Research Report 2009 Self-evaluation Report 2008 Annual Research Report
  • [Presentation] Configuring Bidirectional Programs with Functions2009

    • Author(s)
      Masato Takeichi
    • Organizer
      21st Symposium on Implementation and Application of Functional Languages (IFL2009)
    • Place of Presentation
      Seton Hall University, South Orange NJ, USA
    • Related Report
      2009 Self-evaluation Report
  • [Presentation] Supporting Parallel Updates with Bidirectional Model Transformations2009

    • Author(s)
      Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
    • Organizer
      International Conference on Model Transformation(ICMT 2009)
    • Place of Presentation
      ETH Zurich, Switzerland
    • Related Report
      2009 Annual Research Report 2008 Annual Research Report
  • [Presentation] Configuring Bidirectional Programs with Functions2009

    • Author(s)
      Masato Takeichi
    • Organizer
      21st Symposium on Implementation and Application of Functional Languages(IEL2009)
    • Place of Presentation
      Seton Hall University, South Orange NJ, USA
    • Related Report
      2009 Annual Research Report
  • [Presentation] Consistent Web Site Updating based on Bidirectional Transformation.2008

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • Organizer
      10th IEEE International Symposium on Web Site Evolution (WSE 2008).
    • Place of Presentation
      Beijing, China.
    • Related Report
      2010 Final Research Report
  • [Presentation] Consistent Web Site Updating based on Bidirectional Transformation2008

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • Organizer
      10th IEEE International Symposium on Web Site Evolution (WSE 2008)
    • Place of Presentation
      Beijing, China
    • Related Report
      2009 Self-evaluation Report
  • [Presentation] Consistent Web Site Updating based on Bidirectional Transformation2008

    • Author(s)
      Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
    • Organizer
      10th IEEE International Symposium on Web Site Evolution(WSE
    • Place of Presentation
      Beijing, China
    • Related Report
      2008 Annual Research Report
  • [Presentation] Bi-X Core : A General-Purpose Bidirectional Transformation Language.2007

    • Author(s)
      Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong.
    • Organizer
      第24回日本ソフトウェア科学会大会
    • Place of Presentation
      奈良
    • Year and Date
      2007-09-12
    • Related Report
      2010 Final Research Report
  • [Presentation] Bi-X Core : A General-Purpose Bidirectional Transformation Language2007

    • Author(s)
      Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata, Yingfei Xiong
    • Organizer
      第24回日本ソフトウェア科学会大会
    • Place of Presentation
      奈良
    • Year and Date
      2007-09-12
    • Related Report
      2009 Self-evaluation Report
  • [Presentation] Bi-X Core:A General-Purpose Bidirectional Transformation Language2007

    • Author(s)
      Dongxi Liu, Keisuke Nakano, Yasushi Hayashi, Zhenjiang Hu, Masato Takeichi, Akimasa Morihata. Yingfei Xiong
    • Organizer
      第24回日本ソフトウェア科学会大会
    • Place of Presentation
      奈良
    • Year and Date
      2007-09-12
    • Related Report
      2007 Annual Research Report
  • [Remarks] Beanbagシステムのホームページ:

    • URL

      http://swen.uwaterloo.ca/~y6xiong/beanbag.html

    • Related Report
      2010 Final Research Report
  • [Remarks] Beanbag システムのホームページ

    • URL

      http://swen.uwaterloo.ca/~y6xiong/beanbag.html

    • Related Report
      2009 Self-evaluation Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi