ソフトウェア・マイグレーションのための計算環境のモデル化

概要

論文の詳細を見る
利用者の用途、サイト、ネットワークの構成や負荷などの状況に応じ、自在に、あるサイトで使用されるソフトウェアを取得し、他のサイトの計算環境へ融合できること、即ちソフトウェア・マイグレーションは、ネットワーク環境の柔軟な構築を可能にする。従来は、ソフトウェアが動作可能であるための条件、換言すれば適切な実装状態が、非形式的に表される前提条件と、これに基づいた実装手続きとして、間接的に表現されている(インストール用スクリプトなど)。このためマイグレーショシの成否を明確にできず、取得の成否を確認するためのソフトウェアの動作試験と、融合の成否を確認するための既存ソフトウェアヘの副作用の検出が試行錯誤的となり、安全かつ容易にマイグレーションを行えない。本稿では、この問題を解決するため、ソフトウェアと計算環境に対して、動作可能条件を宣言的な形式で直接的に表すモデルを作成する。モデル上でソフトウェアの、取得の妥当性と、融合時の副作用について考察し、モデルの妥当性を検討する。
一般社団法人情報処理学会の論文
1993-09-27