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

A Study on Fluid Design Abstraction

Research Project

Project/Area Number 25540025
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Software
Research InstitutionKyushu University

Principal Investigator

Ubayashi Naoyasu  九州大学, システム情報科学研究院, 教授 (80372762)

Project Period (FY) 2013-04-01 – 2017-03-31
Project Status Completed (Fiscal Year 2016)
Budget Amount *help
¥3,770,000 (Direct Cost: ¥2,900,000、Indirect Cost: ¥870,000)
Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2014: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2013: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywordsソフトウェアアーキテクチャ / インタフェース / モジュール / 抽象化 / 整合性検証
Outline of Final Research Achievements

Abstraction plays an important role in software development. However, it is not easy to decide which concern should be described in a design model and which concern should be written in code. An abstraction level of a design specification may change as a result of reconsidering the balance between design and code. We proposed the notion of fluid design abstraction, its support tool iArch, and software patterns for abstraction. An appropriate abstraction level can be captured by the convergence of fluid moving between design modeling and program implementation.

Report

(5 results)
  • 2016 Annual Research Report   Final Research Report ( PDF )
  • 2015 Research-status Report
  • 2014 Research-status Report
  • 2013 Research-status Report
  • Research Products

    (23 results)

All 2017 2016 2015 2014 2013 Other

All Journal Article (9 results) (of which Peer Reviewed: 8 results,  Acknowledgement Compliant: 4 results) Presentation (9 results) (of which Int'l Joint Research: 3 results) Book (1 results) Remarks (4 results)

  • [Journal Article] iArch-U: Interface-Centric Integrated Uncertainty-aware Development Environment2017

    • Author(s)
      Keisuke Watanabe, Naoyasu Ubayashi, Takuya Fukamachi, Shunya Nakamura, Hokuto Muraoka, Yasutaka Kamei
    • Journal Title

      9th International Workshop on Modelling in Software Engineering (MiSE 2017) (Workshop at ICSE 2017)

      Volume: なし

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Git連携による不確かさマネジメントシステム2016

    • Author(s)
      深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高
    • Journal Title

      情報処理学会 ソフトウェアエンジニアリングシンポジウム2016 (SES 2016)

      Volume: なし Pages: 70-77

    • NAID

      170000173380

    • Related Report
      2016 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Conquering Uncertainty in Java Programming2015

    • Author(s)
      Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei
    • Journal Title

      37th International Conference on Software Engineering (ICSE 2015)}, poster

      Volume: なし Pages: 823-824

    • DOI

      10.1109/icse.2015.266

    • Related Report
      2015 Research-status Report
    • Peer Reviewed
  • [Journal Article] Modularity for Uncertainty2015

    • Author(s)
      Takuya Fukamachi, Naoyasu Ubayashi, Shintaro Hosoai, Yasutaka Kamei
    • Journal Title

      7th International Workshop on Modelling in Software Engineering (MiSE 2015) (Workshop at ICSE 2015)

      Volume: なし Pages: 7-12

    • DOI

      10.1109/mise.2015.9

    • Related Report
      2015 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] ICSE2015参加報告2015

    • Author(s)
      深町 拓也, 亀井 靖高, 鵜林 尚靖
    • Journal Title

      情報処理

      Volume: 56, no.9 Pages: 930-931

    • Related Report
      2015 Research-status Report
  • [Journal Article] Abstraction-aware Verifying Compiler for Yet Another MDD2014

    • Author(s)
      Naoyasu Ubayashi, Di Ai, Peiyuan Li, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei
    • Journal Title

      29th International Conference on Automated Software Engineering (ASE 2014)

      Volume: ASE 2014 Pages: 557-562

    • DOI

      10.1145/2642937.2642952

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Sketch-based Gradual Model-Driven Development2014

    • Author(s)
      Peiyuan Li, Naoyasu Ubayashi, Di Ai, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei
    • Journal Title

      International Workshop on Innovative Software Development Methodologies and Practices (InnoSWDev) (Workshop at FSE 2014)

      Volume: InnoSWDev 2014 Pages: 100-105

    • DOI

      10.1145/2666581.2666595

    • Related Report
      2014 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] iArch: An IDE for Supporting Fluid Abstraction2014

    • Author(s)
      Di Ai, Naoyasu Ubayashi, Peiyuan Li, Daisuke Yamamoto, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei
    • Journal Title

      13th International Conference on Modularity (Modularity'14), Demonstrations

      Volume: Modularity'14) Pages: 13-16

    • DOI

      10.1145/2584469.2584477

    • Related Report
      2014 Research-status Report 2013 Research-status Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] iArch: An IDE for Supporting Abstraction-aware Design Traceability2014

    • Author(s)
      Di Ai, Naoyasu Ubayashi, Peiyuan Li, Shintaro Hosoai, Yasutaka Kamei
    • Journal Title

      2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014)

      Volume: なし Pages: 442-447

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Presentation] An Uncertainty-Aware Model Checker Embracing Known Unknowns [Poster]2016

    • Author(s)
      Shunya Nakamura, Takuya Fukamachi, Naoyasu Ubayashi, Yasutaka Kamei, Shintaro Hosoai
    • Organizer
      35th International Conference on Conceptual Modeling (ER 2016)
    • Place of Presentation
      岐阜
    • Year and Date
      2016-11-14
    • Related Report
      2016 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 不確かさを包容する統合開発環境iArch-U2016

    • Author(s)
      中村 隼也, 渡辺 啓介, 深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      札幌
    • Year and Date
      2016-07-13
    • Related Report
      2016 Annual Research Report
  • [Presentation] Modular Programming and Reasoning for Dealing with Uncertainty in CPS2016

    • Author(s)
      Naoyasu Ubayashi
    • Organizer
      NII Shonan Meeting on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems
    • Place of Presentation
      葉山
    • Year and Date
      2016-03-21
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] Modularity for Uncertainties in Adaptive Software Systems2015

    • Author(s)
      Naoyasu Ubayashi
    • Organizer
      2015 Shonan Workshop on Engineering Adaptive Software Systems (EASSY 2015)
    • Place of Presentation
      葉山
    • Year and Date
      2015-09-07
    • Related Report
      2015 Research-status Report
    • Int'l Joint Research
  • [Presentation] 抽象化を考慮したデータフロートレーサビリティ2015

    • Author(s)
      郭 衆小, 鵜林 尚靖, 艾 迪, 李 沛源, 李 宇寧, 深町 拓也, 細合 晋太郎, 亀井 靖高
    • Organizer
      電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      沖縄県那覇市
    • Year and Date
      2015-03-09 – 2015-03-10
    • Related Report
      2014 Research-status Report
  • [Presentation] 設計抽象化のためのリファクタリング支援2014

    • Author(s)
      艾 迪, 鵜林 尚靖, 李 沛源, 李 宇寧, 細合 晋太郎, 亀井 靖高
    • Organizer
      日本ソフトウエア科学会 第21回ソフトウェア工学の基礎ワークショップ (FOSE 2014)
    • Place of Presentation
      鹿児島県霧島市
    • Year and Date
      2014-12-11 – 2014-12-13
    • Related Report
      2014 Research-status Report
  • [Presentation] 設計抽象化のためのリファクタリングパターン2014

    • Author(s)
      艾 迪, 鵜林 尚靖, 李 沛源, 李 宇寧, 細合 晋太郎, 亀井 靖高
    • Organizer
      情報処理学会ソフトウェア工学研究会
    • Place of Presentation
      北海道富良野市
    • Year and Date
      2014-07-09 – 2014-07-11
    • Related Report
      2014 Research-status Report
  • [Presentation] 滑らかな設計抽象化2013

    • Author(s)
      鵜林尚靖, 艾迪, 細合晋太郎, 亀井靖高
    • Organizer
      電子情報通信学会 ソフトウェアサイエンス研究会
    • Place of Presentation
      札幌
    • Related Report
      2013 Research-status Report
  • [Presentation] iArch: 滑らかな設計抽象化を支援するIDE2013

    • Author(s)
      艾迪, 李沛源, 細合晋太郎, 亀井靖高, 鵜林尚靖
    • Organizer
      日本ソフトウエア科学会第 20 回ソフトウェア工学の基礎ワークショップ(FOSE 2013)
    • Place of Presentation
      加賀
    • Related Report
      2013 Research-status Report
  • [Book] ソフトウェア工学2017

    • Author(s)
      平山 雅之, 鵜林 尚靖
    • Total Pages
      256
    • Publisher
      オーム社
    • Related Report
      2016 Annual Research Report
  • [Remarks] POSL Research Group(研究室ホームページ)

    • URL

      http://posl.ait.kyushu-u.ac.jp/

    • Related Report
      2016 Annual Research Report
  • [Remarks] iArch-U 公式Webサイト

    • URL

      http://posl.github.io/iArch/

    • Related Report
      2016 Annual Research Report
  • [Remarks] POSL Research Group

    • URL

      http://posl.ait.kyushu-u.ac.jp/

    • Related Report
      2015 Research-status Report 2014 Research-status Report
  • [Remarks] POSL Research Group

    • URL

      http://posl.ait.kyushu-u.ac.jp/

    • Related Report
      2013 Research-status Report

URL: 

Published: 2014-07-25   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi