(EN) The present invention provides a system updating procedure planning device with which it is possible to prevent an explosive increase in a calculation volume when solving the problem of automatically planning a system update. A state element model simplification unit 101 applies simplification conversion based on unit belonging information to a state element model and thereby outputs a simplified state element model. An automatic planning unit 102 outputs, to the simplified state element model, an executable path from an initial state to a target state thereof. An internal transition complementing unit 103 converts the executable path from the initial state to the target state in the simplified state element model into an executable path from an initial state to a target state in the state element model before being simplified.
(FR) La présente invention concerne un dispositif de planification de procédure de mise à jour de système au moyen duquel il est possible d'empêcher une augmentation explosive d'un volume de calcul lors de la résolution du problème de planification automatique d'une mise à jour de système. Une unité de simplification de modèle d'élément d'état 101 applique une conversion de simplification sur la base d'informations d'appartenance à une unité à un modèle d'élément d'état et délivre ainsi un modèle d'élément d'état simplifié. Une unité de planification automatique 102 délivre, au modèle d'élément d'état simplifié, un trajet exécutable d'un état initial à un état cible de celui-ci. Une unité de complémentation de transition interne 103 convertit le trajet exécutable de l'état initial à l'état cible dans le modèle d'élément d'état simplifié en un trajet exécutable d'un état initial à un état cible dans le modèle d'élément d'état avant sa simplification.
(JA) システム更新における自動計画問題を解く際に、爆発的な計算量の増加を防止することができるシステム更新手順計画装置を提供する。状態要素モデル簡略化部１０１は、状態要素モデルに対しユニット所属情報に基づいた簡略化変換を施すことで、簡略化された状態要素モデルを出力する。自動計画部１０２は、簡略化された状態要素モデルに対し、その初期状態から目的状態までの実行可能な経路を出力する。内部遷移補完部１０３は、簡略化された状態要素モデル上の初期状態から目的状態までの実行可能な経路を、簡略化する前の状態要素モデル上の初期状態から目的状態までの実行可能な経路に変換する。