System update device and system update method

A system update method comprising:

• generating a reverse operation, which is an operation for transitioning the state of a state element to the current state from an arbitrary state during execution of an update procedure on the basis of operations included in the update procedure, wherein the operations are for transitioning, from the current state to a target state, the state of a state element configuring a system being updated, and the update procedure is a procedure including multiple operations arranged in a predetermined order;
• generating a reverse execution procedure, which is a procedure including multiple reverse operations generated on the basis of a part of the update procedure that does not include operations for which a reverse operation cannot be generated, wherein said multiple reverse operations are arranged in a reverse order of the predetermined order;
• planning an operation procedure for transitioning, from an arbitrary state during execution of the update procedure to the current state, the state of a state element which corresponds to a part of the update procedure that includes operations for which a reverse operation cannot be generated;
• and
• generating a rollback procedure by combining the generated reverse execution procedure and the planned procedure.

A non-transitory computer-readable recording medium storing a system update program causing, when executed by a computer, the computer to execute:

• generating a reverse operation, which is an operation for transitioning the state of a state element to the current state from an arbitrary state during execution of an update procedure on the basis of operations included in the update procedure, wherein the operations are for transitioning, from the current state to a target state, the state of a state element configuring a system being updated, and the update procedure is a procedure including multiple operations arranged in a predetermined order;
• generating a reverse execution procedure, which is a procedure including multiple reverse operations generated on the basis of a part of the update procedure that does not include operations for which a reverse operation cannot be generated, wherein said multiple reverse operations are arranged in a reverse order of the predetermined order;
• planning an operation procedure for transitioning, from an arbitrary state during execution of the update procedure to the current state, the state of a state element which corresponds to a part of the update procedure that includes operations for which a reverse operation cannot be generated;
• and
• generating a rollback procedure by combining the generated reverse execution procedure and the planned procedure.