Technology for Reliable Reactive Programming

• Project/Area Number: 17H01726
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Hosei University
• Principal Investigator: Hosobe Hiroshi 法政大学, 情報科学部, 教授 (60321577)
• Co-Investigator(Kenkyū-buntansha): 中島 震 国立情報学研究所, 情報社会相関研究系, 教授 (60350211) ; 日高 宗一郎 法政大学, 情報科学部, 教授 (70321578)
• Project Period (FY): 2017-04-01 – 2021-03-31
• Project Status: Completed (Fiscal Year 2021)
• Budget Amount: ¥18,330,000 (Direct Cost: ¥14,100,000、Indirect Cost: ¥4,230,000); Fiscal Year 2020: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000); Fiscal Year 2019: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000); Fiscal Year 2018: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000); Fiscal Year 2017: ¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
• Keywords: ソフトウェア / 高信頼化 / リアクティブプログラミング

Outline of Final Research Achievements

To construct technology for reliable reactive programming, we studied analysis and processing of reactive systems. Our research results include a method of unit testing for processing events in an event-driven programming language for visual and interactive programs, a method for improving the application programming interface for data-driven documents for information visualization, a method for formal definition and analysis of causal loop diagrams, and a method for avoiding glitches in functional reactive programming.

Academic Significance and Societal Importance of the Research Achievements

本研究成果の学術的意義は，現代のソフトウェアの中心であるリアクティブシステムに関して，その一形態であるイベント駆動型の視覚的・対話的なプログラムを対象として，その適切な振舞いを記述し，テスト時にプログラムの不具合を検出する手法を構築したことである．本研究成果の社会的意義は，ソフトウェアの高信頼化という問題に対して，イベント駆動型プログラムのテスト手法の観点から新たな可能性を示したことである．

Research Products

• [Journal Article] A Video Game-Like Approach to Supporting Novices in Learning Programming (2021)
  • Author(s): Ami Sakakibara and Hiroshi Hosobe
  • Journal Title: Lecture Notes in Computer Science (HCI International 2021) Volume: 12785 Pages: 84-93
  • DOI: 10.1007/978-3-030-77943-6_6
  • ISBN: 9783030779429, 9783030779436
  • Peer Reviewed
• [Journal Article] Testing Event-Driven Programs in Processing (2020)
  • Author(s): Hiroshi Hosobe
  • Journal Title: Proceedings of the 2020 European Symposium on Software Engineering (ESSE2020) Volume: - Pages: 6-11
  • DOI: 10.1145/3393822.3432338
  • Peer Reviewed
• [Journal Article] Trace-based Error Prevention and Detection of Consistency Maintenance via Bidirectional Graph Transformations (2020)
  • Author(s): Soichiro Hidaka
  • Journal Title: Companion Proceedings of the 20th IEEE International Conference on Software Quality, Reliability and Security (QRS2020) Volume: - Pages: 87-90
  • DOI: 10.1109/qrs-c51114.2020.00025
• [Journal Article] A Graph-Based Visualization of Time-Series Information in Multiple Texts (2018)
  • Author(s): Hironari Kawada, Mina Akaishi, and Hiroshi Hosobe
  • Journal Title: Proceedings of the 22nd International Conference on Information Visualisation (IV2018) Volume: - Pages: 44-49
  • DOI: 10.1109/iv.2018.00018
  • NAID: 130007423821
  • Peer Reviewed
• [Journal Article] Toward an Efficient User Interface for Block-Based Visual Programming (2018)
  • Author(s): Yota Inayama and Hiroshi Hosobe
  • Journal Title: Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC2018) Volume: - Pages: 293-294
  • DOI: 10.1109/vlhcc.2018.8506530
  • Peer Reviewed
• [Journal Article] A Net-based Formal Framework for Causal Loop Diagrams (2018)
  • Author(s): Guillermina Cledou and Shin Nakajima
  • Journal Title: Proceedings of the 3rd Asia-Pacific Conference on Complex Systems Design and Management (CSD&M Asia 2018) Volume: - Pages: 1-12
  • DOI: 10.1007/978-3-030-02886-2_1
  • ISBN: 9783030028855, 9783030028862
  • Peer Reviewed / Int'l Joint Research
• [Presentation] データ駆動文書のためのAPIの改良 (2022)
  • Author(s): 細部博史
  • Organizer: 第24回プログラミングおよびプログラミング言語ワークショップ(PPL2022)
• [Presentation] A Tool for Testing Event-Driven Programs in Processing (2020)
  • Author(s): Hiroshi Hosobe
  • Organizer: 3rd International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS2020)
  • Int'l Joint Research
• [Presentation] Processingプログラムにおけるイベント処理のユニットテスト手法 (2020)
  • Author(s): 細部博史
  • Organizer: 第22回プログラミングおよびプログラミング言語ワークショップ(PPL2020)
• [Presentation] イベント駆動に基づくProcessingプログラムのユニットテスト手法 (2020)
  • Author(s): 細部博史
  • Organizer: 電子情報通信学会ソフトウェアサイエンス研究会(2020-03-SS)
• [Presentation] 変換画像の同時学習によるICMの改良 (2019)
  • Author(s): 飯岡徹人, 若原徹, 細部博史
  • Organizer: 人工知能学会第109回人工知能基本問題研究会
• [Presentation] 有向グラフとCoordinated Multiple Viewsによる時系列情報の可視化 (2019)
  • Author(s): 河田裕成, 細部博史, 赤石美奈
  • Organizer: 情報処理学会第81回全国大会
• [Presentation] 双方向変換を用いたコードクローン間の選択的な更新伝播手法 (2019)
  • Author(s): 相原崇弘, 日高宗一郎
  • Organizer: 情報処理学会第123回プログラミング研究会
• [Presentation] 因果ループ図の形式定義と性質解析 (2018)
  • Author(s): 中島震, Guillermina Cledou
  • Organizer: 情報処理学会第199回ソフトウェア工学研究発表会
• [Presentation] Formal Analysis of Causal Loop Diagrams (2018)
  • Author(s): Shin Nakajima
  • Organizer: Asia Pacific Conference on Robot IoT System Development and Platform (APRIS2018)
  • Int'l Joint Research / Invited