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

2010 Fiscal Year Annual Research Report

双方向モデル変換の言語的基盤技術に関する研究

Research Project

Project/Area Number 22300012
Research InstitutionNational Institute of Informatics

Principal Investigator

胡 振江  国立情報学研究所, アーキテクチャ科学研究系, 教授 (50292769)

Co-Investigator(Kenkyū-buntansha) 日高 宗一郎  国立情報学研究所, アーキテクチャ科学研究系, 助教 (70321578)
加藤 弘之  国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
稲葉 一浩  国立情報学研究所, アーキテクチャ科学研究系, 研究員 (30570311)
Keywordsソフトウエア工学 / プログラミング言語 / モデル変換
Research Abstract

モデル駆動ソフトウェア開発(MDD)は、ソフトウェアの要求解析、設計、実装の各段階の成果物をモデルとして表現し、ソフトウェアの開発ステップはモデル変換によって表現される。通常、要求解析、システム設計、実装は別々のチームで行われ、また、各段階のモデルが共存してそれぞれ修正され発展する。本研究では、双方向モデル変換言語を導入することで、各段階のモデル修正(進化)を正確に他のモデルに伝播し、システムの一貫性を保証する双方向モデル変換によるソフトウエア開発手法を提案し、発展的ソフトウェアを開発するための新しい方法論を確立することを目指している。平成22年度は、双方向モデル変換の数学的基盤の確立と双方向モデル変換言語の設計と解析を中心に研究を進め、主に次の3つの研究成果が得られた。(1)グラフ問い合わせ言語UnQLの基盤であるグラフ代数UnCALに対する双方向的意味論を与え、双方向グラフ変換言語UnQL+を提案し実現した。(2)UnCALで記述されるグラフ変換の型検査手法を研究し、単項二階論理(MSO)と呼ばれる論理の真偽判定問題へモデル変換の型検査問題を帰着させる方法を示した。また、MONAという既存のMSO実装系を活用し、高速な実装を行った。(3)UnQL+を用いて既存のモデル変換言語ATLの双方向化に成功した。

  • Research Products

    (8 results)

All 2011 2010

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Presentation (6 results)

  • [Journal Article] Synchronizing Concurrent Model Updates Based on Bidirectional Transformation2011

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

      Software and Systems Modeling

      Pages: 1-16

    • Peer Reviewed
  • [Journal Article] Supporting Runtime Software Architecture:A Bidirectional-Transformation-Based Approach2011

    • Author(s)
      Hui Song, Yingfei Xiong, Franck Chaouvel, Gnag Huang, Zhenjiang Hu, Yanchun Sun, Hong Mei
    • Journal Title

      Journal of Systems and Software

      Volume: 84(掲載確定) Pages: 711-723

    • Peer Reviewed
  • [Presentation] Contest-Preserving XQuery Fusion2010

    • Author(s)
      Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
    • Organizer
      8^<th> Asian Symposium on Programming Languages and Systems (APLAS2010)
    • Place of Presentation
      Hengshan Hotel, Shanghai, China
    • Year and Date
      2010-11-30
  • [Presentation] A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models2010

    • Author(s)
      Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
    • Organizer
      ACM/IEEE 13^<th> International Conference on Model Driven Engineering Languages and Systems (MODELS'10)
    • Place of Presentation
      Oslo Congress Centre, Oslo, Norway
    • Year and Date
      2010-10-06
  • [Presentation] Bidirectionalizing Graph Transformations2010

    • Author(s)
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano, Kazutaka Matsuda
    • Organizer
      15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
    • Place of Presentation
      Hyatt Regency Inner Harbor, Baltimore, America
    • Year and Date
      2010-09-28
  • [Presentation] Combining Syntactic and Semantic Bidirectionalization2010

    • Author(s)
      Janis Voigtlander, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
    • Organizer
      15^<th> ACM SIGPLAN International Conference on Functional Programming (ICFP 2010)
    • Place of Presentation
      Hyatt Regency Inner Harbor, Baltimore, America
    • Year and Date
      2010-09-28
  • [Presentation] Tolerating Inconsistency in Feature Models2010

    • Author(s)
      Bo Wnag, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
    • Organizer
      3^<rd> Workshop on Living with Inconsistencies in Software Development
    • Place of Presentation
      University of Antwerp, Antwerp, Belgium
    • Year and Date
      2010-09-21
  • [Presentation] Gradual Refinement : Blending Pattern Matching With Data Abstraction2010

    • Author(s)
      Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
    • Organizer
      10^<th> International Conference on Mathematics of Program Construction (MPC2010)
    • Place of Presentation
      Manoir St-Castin, Quebec City, Canada
    • Year and Date
      2010-06-22

URL: 

Published: 2012-07-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi