自己適応システムにおけるコンポーネントの安全な置き換え

摘要

Webアプリケーションに代表されるオープンなシステムでは，機能変更を柔軟に行う自己適応の方法を採用することがある．機能変更の方法として，実行時に構成コンポーネントを置き換える．このような置き換えが安全なことを確認しなければならない．本論文では，安全な置き換えの方法を論じる枠組みを提案し，さらに，インテグリティに基づく検査法を提案する．具体的な応用例として，簡単なWebアプリケーション・システムを用いて，提案方式を具体的に述べ，その有用性を論じる．