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

Claim 7:
8. A non-transitory computer-readable recording medium in which a system update procedure planning program is recorded, the system update procedure planning program being executed on a computer 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 program causing the computer to perform:
a state element model simplification process of outputting a simplified state element model by applying a simplification transformation based on the unit affiliation information to the state element model;
an automatic planning process of outputting an executable route, for the simplified state element model, from an initial state thereof to a target state; and
an internal transition completion process of converting 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.