JavaScriptにおける永続時変値の実現法の提案

• Item type: SIG Technical Reports(1)
• 公開日: 2022-03-04
• タイトル: JavaScriptにおける永続時変値の実現法の提案
• タイトル / 言語: en
• タイトル: A method for realizing persistent time-varying values in JavaScript
• 言語: 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
• 著者名: 日高, 大地; 紙名, 哲生
• 著者名(英): Daichi, Hidaka; Tetsuo, Kamina
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: リアクティブプログラミング（RP）における時変値では，変数への明示的な再代入を行うかわりに，変数の値が時間とともに変化する．さらに Java に基づく RP 言語 SignalJ においては，時変値の値変化の履歴を時系列データとみなし，その値を指定された時刻の関数とする永続時変値の機構が提供される．永続時変値は現在 SignalJ でのみ実現されている機構であるが，その実体は言語処理系の外部にある時系列データベースであり，特定のプログラミング言語には依存しない設計となっている．本研究ではこの特徴を生かした，JavaScript における永続時変値の実現方法について議論する．本提案では SignalJ と異なり，JavaScript の言語拡張は行わず，JavaScript のライブラリとして永続時変値の機構を実現する．
• 論文抄録(英) / 内容記述タイプ: 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. Currently, this mechanism is only supported by SignalJ; however, the entity of a persistent signal exists in the time-series database, which exists in the outside of the language, and thus, this mechanism can be reused by the other language. In this paper, we propose a method for realizing persistent signals in JavaScript by utilizing this characteristic. Unlike SignalJ, in this implementation, persistent signals are realized not as a language extension but as a library executable on a standard JavaScript runtime.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2022-SE-210, 号 5, p. 1-7, 発行日 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
• 出版者: 情報処理学会