Development of programming languages and practices for software that intensively interacts with its surrounding environment

• Project/Area Number: 17K00115
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Software
• Research Institution: Oita University
• Principal Investigator: KAMINA Tetsuo 大分大学, 理工学部, 准教授 (90431882)
• Project Period (FY): 2017-04-01 – 2022-03-31
• Project Status: Completed (Fiscal Year 2021)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2020: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2019: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2018: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
• Keywords: 文脈指向プログラミング / リアクティブプログラミング / 言語設計 / 時系列データ / プログラミング言語 / 永続化 / ソフトウェア学 / ソフトウェア開発効率化

Outline of Final Research Achievements

Currently, the boundary between software and hardware is becoming more and more ambiguous, and a software system is required to behave adaptively according to information obtained by several sensor devices. Such a software system consists of complex data flows and adaptive behavior changes based on them. Those complexity and adaptive changes make software development difficult. This research aims to tackle this problem by proposing a new programming language. Specifically, we proposed a set of important language mechanisms for both reactive programming (RP, where data flows are declaratively specified) and context oriented programming (COP, where context-dependent behaviors are modularized). Furthermore, we realized a simple core calculus that integrates both basic features of COP and RP.

Academic Significance and Societal Importance of the Research Achievements

本研究の応用分野としては，CPSやIoTをはじめ，環境とのやりとりを密に行う様々な分野があげられる．これらのソフトウェア開発の難しさを，プログラミング言語による記述を変えることによって解決することにより，複雑なコーディングにコストをかけなくてすむようになるため，ソフトウェアの生産性や安全性の向上が期待できるという点で社会的に意義がある．また，異なる起源を持つCOPとRPを，同じ目的のもとに統合させる点は，本研究の大きな特色である．この統合はこれまでなされておらず新規性があり，またそれを通じて両者の考え方をともに深化できるという点において，プログラミング言語分野の研究に貢献する．

Research Products

• [Journal Article] Managing Persistent Signals using Signal Classes (2020)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
  • Journal Title: 7th Workshop on Reactive and Event-based Languages & Systems (REBLS 2020) Volume: 1 Pages: 1-7
  • Peer Reviewed / Open Access
• [Journal Article] TinyCORP: A Calculus for Context-Oriented Reactive Programming (2019)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani
  • Journal Title: COP '19: Proceedings of the Workshop on Context-oriented Programming Volume: 1 Pages: 1-8
  • DOI: 10.1145/3340671.3343356
  • Peer Reviewed
• [Journal Article] An Approach for Persistent Time-Varying Values (2019)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani
  • Journal Title: Onward! 2019: Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software Volume: 1 Pages: 17-31
  • DOI: 10.1145/3359591.3359730
  • Peer Reviewed
• [Journal Article] Visualizing Reactive Execution History using Propagation Traces (2018)
  • Author(s): Takumi Hikosaka, Tetsuo Kamina, Katsuhisa Maruyama
  • Journal Title: 5th Workshop on Reactive and Event-based Languages & Systems Volume: 1 Pages: 1-6
  • Peer Reviewed / Open Access
• [Journal Article] Method safety mechanism for asynchronous layer deactivation (2018)
  • Author(s): Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko、Igarashi Atsushi
  • Journal Title: Science of Computer Programming Volume: 156 Pages: 104-120
  • DOI: 10.1016/j.scico.2018.01.006
  • Peer Reviewed
• [Journal Article] Harmonizing Signals and Events with a Lightweight Extension to Java (2018)
  • Author(s): Kamina Tetsuo、Aotani Tomoyuki
  • Journal Title: The Art, Science, and Engineering of Programming Volume: 2 Issue: 3
  • DOI: 10.22152/programming-journal.org/2018/2/5
  • Peer Reviewed / Open Access
• [Journal Article] Push-based reactive layer activation in context-oriented programming (2017)
  • Author(s): Kamina Tetsuo、Aotani Tomoyuki、Masuhara Hidehiko
  • Journal Title: Proceedings of the 9th International Workshop on Context-Oriented Programming (COP'17) Volume: 9 Pages: 17-21
  • DOI: 10.1145/3117802.3117805
  • Peer Reviewed
• [Presentation] リアクティブプログラミングに基づく分散計算基盤の実現に向けて (2021)
  • Author(s): 紙名哲生
  • Organizer: ソフトウェアシンポジウム2021
• [Presentation] リアクティブプログラミングにおけるシグナルの永続化 (2019)
  • Author(s): 紙名哲生, 青谷知幸
  • Organizer: ソフトウェアエンジニアリングシンポジウム2019(SES2019)
• [Presentation] Harmonizing Signals and Events with a Lightweight Extension to Java (2019)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani
  • Organizer: 第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）
• [Presentation] Harmonizing Signals and Events with a Lightweight Extension to Java (2018)
  • Author(s): Tetsuo Kamina, Tomoyuki Aotani
  • Organizer: <Programming> 2018
  • Int'l Joint Research
• [Presentation] イベントとシグナルの統合：プログラミング言語のアプローチ (2017)
  • Author(s): 紙名哲生, 青谷知幸
  • Organizer: 第24回ソフトウェア工学の基礎ワークショップ(FOSE2017)
• [Book] REBLS 2019: Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (2019)
  • Author(s): Guido Salvaneschi, Wolfgang De Meuter, Patrick Th Eugster, Francisco Sant’Anna, Lukasz S Ziarek, Tetsuo Kamina, Hidehiko Masuhara
  • Total Pages: 41
  • Publisher: Association for Computing Machinery
  • ISBN: 9781450369862