Patent ID: 11861353
Assignee: NEC CORPORATION
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A system update procedure planning apparatus for outputting an executable route on a state element model as a system update procedure, based on the state element model describing a system update by a plurality of state elements and a constraint expression specified with the plurality of state elements, unit affiliation information indicating to which of a plurality of units each state element in the state element model belongs,
the system update procedure planning apparatus comprising:
a state element model simplification section that outputs a simplified state element model by applying a simplification transformation based on the unit affiliation information to the state element model;
an automatic planning section that outputs an executable route, for the simplified state element model, from an initial state thereof to a target state; and
an internal transition completion section that converts the executable route from the initial state to the target state on the simplified state element model into the executable route from an initial state to a target state on the state element model before simplification.