プロセス間競合を考慮した自己適応システムの形式仕様構築

• Item type: Journal(1)
• 公開日: 2010-09-15
• タイトル: プロセス間競合を考慮した自己適応システムの形式仕様構築
• タイトル / 言語: en
• タイトル: Constructing Formal Specifications for Self-adaptive Systems with Handling Conflicts among Processes
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：未来志向のソフトウェア工学
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 電気通信大学
• 著者所属: 電気通信大学
• 著者所属: 国立情報学研究所／東京大学
• 著者所属(英): en
• 著者所属(英): The University of Electro-Communications
• 著者所属(英): en
• 著者所属(英): The University of Electro-Communications
• 著者所属(英): en
• 著者所属(英): National Institute of Infomatics / The University of Tokyo
• 著者名: 中川, 博之; 大須賀, 昭彦; 本位田真一
• 著者名(英): Hiroyuki, Nakagawa; Akihiko, Ohsuga; Shinichi, Honiden
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，ソフトウェアの利用環境が広がり，状況の変化に応じて自発的に振舞いや構成を変化させる自己適応システムの実現に対する期待が高まっている．自己適応システムは様々な関心事に対応するための並行プロセスにより構成されるが，状況によって振舞いやそれを構成するプロセス群が変わる可能性があることから，プロセス間で発生する競合に対しては，対処法の検討だけでなくその検出さえも困難である．そこで本研究では，システム開発の早期段階における分析・検証技術に着目し，自己適応システムに対する要求モデルと形式仕様を用いた競合検出法と，競合を検出するための形式仕様構築法を提案する．また，提案手法の有効性を仕様構築実験の実験結果から評価する．本提案手法により，自己適応システム構築に対する早期段階での競合への対応が期待できる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Self-adaptive systems have recently attracted attention as flexible software because they can change their own behaviors to react to changes in their environments. However, these systems usually have multi-processes within them and developers are forced to design and construct these processes deliberately not to induce conflicts. This paper describes our approach to developing self-adaptive systems utilizing a requirements model and formal specification to detect conflicts and design the behavior keeping away the conflicts. The paper also discusses our evaluation of the effectiveness of our development process through a case study.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 51, 号 9, p. 1751-1764, 発行日 2010-09-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764