Constructing Formal Specifications for Self-adaptive Systems with Handling Conflicts among Processes

IR IPSJ Web Site

Bibliographic Information

Other Title
  • プロセス間競合を考慮した自己適応システムの形式仕様構築
  • プロセス カン キョウゴウ オ コウリョ シタ ジコ テキオウ システム ノ ケイシキ シヨウ コウチク

Search this article

Abstract

近年，ソフトウェアの利用環境が広がり，状況の変化に応じて自発的に振舞いや構成を変化させる自己適応システムの実現に対する期待が高まっている．自己適応システムは様々な関心事に対応するための並行プロセスにより構成されるが，状況によって振舞いやそれを構成するプロセス群が変わる可能性があることから，プロセス間で発生する競合に対しては，対処法の検討だけでなくその検出さえも困難である．そこで本研究では，システム開発の早期段階における分析・検証技術に着目し，自己適応システムに対する要求モデルと形式仕様を用いた競合検出法と，競合を検出するための形式仕様構築法を提案する．また，提案手法の有効性を仕様構築実験の実験結果から評価する．本提案手法により，自己適応システム構築に対する早期段階での競合への対応が期待できる．

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.

Journal

Related Projects

See more

Keywords

Details 詳細情報について

Report a problem

Back to top