永続時変値の分散化に向けた基盤システムの試作

• Item type: SIG Technical Reports(1)
• 公開日: 2022-03-04
• タイトル: 永続時変値の分散化に向けた基盤システムの試作
• タイトル / 言語: en
• タイトル: An implementation of infrastructure system for distributed persistent signals
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 形式手法，モデル検査，プログラミング
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大分大学理工学部共創理工学科知能情報システムコース
• 著者所属: 大分大学理工学部共創理工学科知能情報システムコース
• 著者所属(英): en
• 著者所属(英): Division of Computer Science and Intelligent Systems, Oita University
• 著者所属(英): en
• 著者所属(英): Division of Computer Science and Intelligent Systems, Oita University
• 著者名: 上野, 颯太; 紙名, 哲生
• 著者名(英): Sota, Ueno; Tetsuo, Kamina
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: リアクティブプログラミング（RP）における時変値では，変数への明示的な再代入を行うかわりに，変数の値が時間とともに変化する．さらに Java に基づく RP 言語 SignalJ においては，時変値の値変化の履歴を時系列データとみなし，その値を指定された時刻の関数とする永続時変値の機構が提供される．SignalJ は元々ローカルなシステムを対象としてきたが，永続時変値の実体は言語処理系の外部にある時系列データベースであり，オープンなリアクティブシステムの基盤となりうるものである．本研究ではこの特徴を生かした，永続時変値のための分散計算基盤の実現方法を示す．またそれを用いたソフトウェア開発を現実のものにするために解決すべき様々な問題について議論する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A signal in reactive programming (RP) is considered as a function of time and its value is updated automatically without performing explicit assignments. Furthermore, the Java-based RP language SignalJ provides persistent signals, where the update history of a signal is considered time-series data, and the value of the signal is considered as a function of a specified (possibly past) time. SignalJ have been targeting to local systems; however, the entity of a persistent signal exists in the time-series database, which exists in the outside of the language and can be a basis of open reactive systems. In this paper, we propose an implementation of infrastructure system for open and distributed persistent signals by utilizing such a characteristic. We also discuss several issues on realizing software development based on this infrastructure.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2022-SE-210, 号 7, p. 1-8, 発行日 2022-03-04
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会