情報処理学会 第77回全国大会講演要旨

階層型システムにおいて，その提供サービスを無停止で機能更新することは容易ではない．システム内のある構成要素の機能更新が他の構成要素の動作に悪影響を与えないように，構成要素間の依存関係を把握し適切な更新手順を組み立てる必要があるためである．そのため，従来，サービスを無停止で機能更新する手順は，熟練管理者でなければ作成できなかった．そこで，現状のシステム構成から機能更新後のシステム構成に至るまでに取り得る中間状態を列挙し，サービスを停止させる手順を制約に基づき除外することで，無停止での更新手順を生成する手法を提案する．