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

Claim 6:
7. A system update procedure planning method 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 method comprising:
outputting a simplified state element model by applying a simplification transformation based on the unit affiliation information to the state element model;
outputting an executable route, for the simplified state element model, from an initial state thereof to a target state; and
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.