文献

J-GLOBAL ID：201002239683097832   整理番号：10A0995057

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

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

著者 (4件)： 中川博之 (電通大) ,  大須賀昭彦 (電通大) ,  本位田真一 (国立情報学研) ,  本位田真一 (東大)
資料名： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
巻： 51  号： 9  ページ： 1751-1764  発行年： 2010年09月15日 
JST資料番号： Z0778B  ISSN： 1882-7837  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

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

シソーラス用語： *適応系 ,  計算機システム開発 ,  ライフサイクル ,  プログラム検証 ,  *要求仕様 ,  *形式記述 ,  検出 ,  競争 ,  葛藤 ,  システム評価 ,  評価試験 ,  *自己適応システム
準シソーラス用語： コンフリクト ,  競合 ,  競合検出

分類 (3件)： 人工知能  (JE08000Z) ,  計算機システム開発  (JD02010R) ,  計算理論  (JB02000A)

引用文献 (30件)：

• Oreizy, P., Gorlick, M. M., Taylor, R. N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D. S. and Wolf, A. L.: An architecture-based approach to self-adaptive software, IEEE Intelligent Systems, Vol.14, No.3, pp. 54-62(1999).
• Kramer, J. and Magee, J.: Self-managed systems: An architectural challenge, Fu-ture of Software Engineering (FOSE ’07), pp. 259-268(2007).
• Martin-Flatin, J.-P., Sventek, J. and Geihs, K.: Self-managed systems and services, Comm. ACM, Vol.49, No.3, pp. 37-39(2006).
• Cheng, B. H. C., de Lemos, R., Giese, H., Inverardi, P., Magee, J., et al.: Software engineering for self-adaptive systems: A research road map, Dagstuhl Seminar Proceedings 08031(2008).
• van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour, 5th IEEE International Symposium on Requirements Engineering (RE’01), Toronto, Canada, pp. 249-262(2001).

タイトルに関連する用語 (6件)： プロセス ,  競合 ,  自己適応システム ,  形式 ,  仕様 ,  構築