2026-05-21T16:46:57Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00217293 2025-01-19T15:33:05Z 1164:1384:10896:10897

永続時変値の分散化に向けた基盤システムの試作 An implementation of infrastructure system for distributed persistent signals 上野, 颯太 紙名, 哲生 Sota, Ueno Tetsuo, Kamina 形式手法，モデル検査，プログラミング リアクティブプログラミング（RP）における時変値では，変数への明示的な再代入を行うかわりに，変数の値が時間とともに変化する．さらに Java に基づく RP 言語 SignalJ においては，時変値の値変化の履歴を時系列データとみなし，その値を指定された時刻の関数とする永続時変値の機構が提供される．SignalJ は元々ローカルなシステムを対象としてきたが，永続時変値の実体は言語処理系の外部にある時系列データベースであり，オープンなリアクティブシステムの基盤となりうるものである．本研究ではこの特徴を生かした，永続時変値のための分散計算基盤の実現方法を示す．またそれを用いたソフトウェア開発を現実のものにするために解決すべき様々な問題について議論する． 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. 情報処理学会 2022-03-04 jpn technical report https://ipsj.ixsq.nii.ac.jp/records/217293 2188-8825 AN10112981 研究報告ソフトウェア工学（SE） 2022-SE-210 7 1 8 https://ipsj.ixsq.nii.ac.jp/record/217293/files/IPSJ-SE22210007.pdf application/pdf 909.9 kB 2024-03-04