A Study on Fluid Design Abstraction

• Project/Area Number: 25540025
• Research Category: Grant-in-Aid for Challenging Exploratory Research
• Allocation Type: Multi-year Fund
• Research Field: Software
• Research Institution: Kyushu University
• Principal Investigator: Ubayashi Naoyasu 九州大学, システム情報科学研究院, 教授 (80372762)
• Project Period (FY): 2013-04-01 – 2017-03-31
• Project Status: Completed (Fiscal Year 2016)
• Budget Amount: ¥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.

Research Products

• [Journal Article] iArch-U: Interface-Centric Integrated Uncertainty-aware Development Environment (2017)
  • 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: なし
  • Peer Reviewed
• [Journal Article] Git連携による不確かさマネジメントシステム (2016)
  • Author(s): 深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高
  • Journal Title: 情報処理学会 ソフトウェアエンジニアリングシンポジウム2016 (SES 2016) Volume: なし Pages: 70-77
  • NAID: 170000173380
  • Peer Reviewed
• [Journal Article] Conquering Uncertainty in Java Programming (2015)
  • 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
  • Peer Reviewed
• [Journal Article] Modularity for Uncertainty (2015)
  • 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
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] ICSE2015参加報告 (2015)
  • Author(s): 深町 拓也, 亀井 靖高, 鵜林 尚靖
  • Journal Title: 情報処理 Volume: 56, no.9 Pages: 930-931
• [Journal Article] Abstraction-aware Verifying Compiler for Yet Another MDD (2014)
  • 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
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] Sketch-based Gradual Model-Driven Development (2014)
  • 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
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] iArch: An IDE for Supporting Fluid Abstraction (2014)
  • 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
  • Peer Reviewed / Acknowledgement Compliant
• [Journal Article] iArch: An IDE for Supporting Abstraction-aware Design Traceability (2014)
  • 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
  • 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
  • Int'l Joint Research
• [Presentation] 不確かさを包容する統合開発環境iArch-U (2016)
  • Author(s): 中村 隼也, 渡辺 啓介, 深町 拓也, 鵜林 尚靖, 細合 晋太郎, 亀井 靖高
  • Organizer: 情報処理学会ソフトウェア工学研究会
  • Place of Presentation: 札幌
  • Year and Date: 2016-07-13
• [Presentation] Modular Programming and Reasoning for Dealing with Uncertainty in CPS (2016)
  • 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
  • Int'l Joint Research
• [Presentation] Modularity for Uncertainties in Adaptive Software Systems (2015)
  • Author(s): Naoyasu Ubayashi
  • Organizer: 2015 Shonan Workshop on Engineering Adaptive Software Systems (EASSY 2015)
  • Place of Presentation: 葉山
  • Year and Date: 2015-09-07
  • Int'l Joint Research
• [Presentation] 抽象化を考慮したデータフロートレーサビリティ (2015)
  • Author(s): 郭 衆小, 鵜林 尚靖, 艾 迪, 李 沛源, 李 宇寧, 深町 拓也, 細合 晋太郎, 亀井 靖高
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会
  • Place of Presentation: 沖縄県那覇市
  • Year and Date: 2015-03-09 – 2015-03-10
• [Presentation] 設計抽象化のためのリファクタリング支援 (2014)
  • Author(s): 艾 迪, 鵜林 尚靖, 李 沛源, 李 宇寧, 細合 晋太郎, 亀井 靖高
  • Organizer: 日本ソフトウエア科学会 第21回ソフトウェア工学の基礎ワークショップ (FOSE 2014)
  • Place of Presentation: 鹿児島県霧島市
  • Year and Date: 2014-12-11 – 2014-12-13
• [Presentation] 設計抽象化のためのリファクタリングパターン (2014)
  • Author(s): 艾 迪, 鵜林 尚靖, 李 沛源, 李 宇寧, 細合 晋太郎, 亀井 靖高
  • Organizer: 情報処理学会ソフトウェア工学研究会
  • Place of Presentation: 北海道富良野市
  • Year and Date: 2014-07-09 – 2014-07-11
• [Presentation] 滑らかな設計抽象化 (2013)
  • Author(s): 鵜林尚靖, 艾迪, 細合晋太郎, 亀井靖高
  • Organizer: 電子情報通信学会 ソフトウェアサイエンス研究会
  • Place of Presentation: 札幌
• [Presentation] iArch: 滑らかな設計抽象化を支援するIDE (2013)
  • Author(s): 艾迪, 李沛源, 細合晋太郎, 亀井靖高, 鵜林尚靖
  • Organizer: 日本ソフトウエア科学会第 20 回ソフトウェア工学の基礎ワークショップ(FOSE 2013)
  • Place of Presentation: 加賀
• [Book] ソフトウェア工学 (2017)
  • Author(s): 平山 雅之, 鵜林 尚靖
  • Total Pages: 256
  • Publisher: オーム社
• [Remarks] POSL Research Group（研究室ホームページ）
  • URL: http://posl.ait.kyushu-u.ac.jp/
• [Remarks] iArch-U 公式Webサイト
  • URL: http://posl.github.io/iArch/
• [Remarks] POSL Research Group
  • URL: http://posl.ait.kyushu-u.ac.jp/
• [Remarks] POSL Research Group
  • URL: http://posl.ait.kyushu-u.ac.jp/