WEKO3
アイテム
実行時requirement enhancementのためのゲーム空間の差分分析アルゴリズム
https://ipsj.ixsq.nii.ac.jp/records/202422
https://ipsj.ixsq.nii.ac.jp/records/202422942adfdd-619a-41cf-b25a-92ce68d88157
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-DICOMO2019148.pdf (396.6 kB)
|
Copyright (c) 2019 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2019-06-26 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | 実行時requirement enhancementのためのゲーム空間の差分分析アルゴリズム | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | jpn | |||||||||||||||
| キーワード | ||||||||||||||||
| 主題Scheme | Other | |||||||||||||||
| 主題 | コンテクストアウェアネス | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||
| 著者所属 | ||||||||||||||||
| 早稲田大学 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 早稲田大学／国立情報学研究所 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 早稲田大学／国立情報学研究所 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 早稲田大学／国立情報学研究所 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 早稲田大学／国立情報学研究所 | ||||||||||||||||
| 著者名 |
李, 家隆
× 李, 家隆
× 相澤, 和也
× 鄭, 顕志
× 鷲崎, 弘宜
× 本位田, 真一
|
|||||||||||||||
| 論文抄録 | ||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||
| 内容記述 | 自己適応システムは，外部環境の変化に対し，システム自身が振る舞いを変更するシステムである．制御器合成技術[1]を利用した自己適応システムにおいて，システムは(1)変化した環境を検知し，(2)開発者が想定した要求から開発者の意図に沿って最大限に要求を保証する要求の集合を分析し，(3)分析された要求集合を保証するように振る舞いを変更する．相澤ら[2]は，ゲーム空間と勝利領域を構築し，保証できる最大限な要求集合を分析する手法と環境変化時の要求緩和分析手法を提案した．しかし，環境から望ましくない動作（開発者が想定してない外部環境から観測された動作）が発生しなくなる場合に，システムはより高いレベルの要求を保証可能(以下，requirementenhancementという)かどうかを分析するには数分間以上かかる．本研究は，保証可能な要求を効率的に分析するためのアルゴリズムを提案する．評価実験の生産工場モデルにおいて，実行時間の約99.95％が削減された． | |||||||||||||||
| 書誌情報 |
マルチメディア,分散協調とモバイルシンポジウム2019論文集 巻 2019, p. 1066-1067, 発行日 2019-06-26 |
|||||||||||||||
| 出版者 | ||||||||||||||||
| 言語 | ja | |||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||
