自己適応システムのための環境モデル実行時更新手法

• Item type: Journal(1)
• 公開日: 2019-10-15
• タイトル: 自己適応システムのための環境モデル実行時更新手法
• タイトル / 言語: en
• タイトル: Updating Environment Model at Runtime for Self-adaptive System
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：エージェント理論・技術とその応用] 自己適応システム，環境モデル，Labeled Transition System，実行時モデル
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 早稲田大学
• 著者所属: 早稲田大学
• 著者所属: 早稲田大学
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者名: 田邉, 萌香; 鄭, 顕志; 本位田, 真一
• 著者名(英): Moeka, Tanabe; Kenji, Tei; Shinichi, Honiden
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェアシステムは実行時に環境変化が生じても要求を充足し続ける自己適応性を備えることが望ましい．近年では，これまで開発時にのみ用いられてきた要求，環境，振舞い仕様モデルをシステム実行中にも活用し，モデル検査やコントローラ生成手法と組み合わせることで要求充足を保証した自己適応を実現する実行時モデル（[e-mail]）技術が開発されている．しかしながら，これらの実行時モデル技術によってもたらされる保証は，実行環境に生じた変化が正確に環境モデルに反映されていることを前提としている．環境モデルが実行環境を正確にモデル化していない場合，モデル上での検証や意思決定の結果は何の保証も持たない．本論文では，環境変化を正確，迅速，かつ少ない計算オーバヘッドでモデルに反映する環境モデル実行時更新技術を提案する．具体的には，Labeled Transition System（LTS）形式の環境モデルを対象とし，システムから得られた実行トレースをもとに環境モデルを実行時に更新する．環境モデル更新に必要となる実行中の計算オーバヘッドを軽減するために，確率的勾配降下法を応用した差分学習手法を提案する．自動倉庫管理システムを例題としたケーススタディを通して，従来のバッチ処理形式の環境モデル更新手法と比較して，提案手法は同程度の正確度，より早い収束時間，より少ない計算オーバヘッドで環境モデルを実行時更新可能であることを確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Software systems should be able to adapt in response to changes in the environment in order to keep satisfying its requirements. [e-mail] approach, which utilizes models such as requirements, environment, and specification models, at runtime for verification and/or decision making, is one of the promising approaches to provide a formal guarantee of self-adaptation. However, the guarantee depends on the correctness of the environment model. If the environment model becomes inconsistent with the environment due to changes, the system works without any formal guarantee. In this paper, we aim to enable runtime update of the environment model. We propose a difference learning technique to reflect changes in the environment to environment model accurately, in a fast settling time, and with low computational overhead. We evaluate our techniques through case studies based on automated warehouse scenario. The results show that our runtime update achieves close accuracy to, faster settling time than, and lower computational overhead than the existing batch-based update technique.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 60, 号 10, p. 1617-1630, 発行日 2019-10-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764