Abstract: A change planning system includes a state machine set conversion unit 11 which converts a state machine set made up of one or more state machines, into a single state machine including one or more states, wherein a state in a state machine included in the state machine set transitions to another state according to a transition condition designating a state in a state machine included in the state machine set other than the state machine, wherein a state in the single state machine corresponds to a state of all state machines in the state machine set, and wherein, while the transition condition according to which the state in the state machine makes a predetermined transition is satisfied, the state in the single state machine transitions to another state corresponding to another state of all state machines that results from the predetermined transition.

Abstract: A change management system includes a system definition expansion unit 11 which generates information of a state machine set made up of one or more state machines, from a system definition. The system definition includes one or more primitives and any number of wirings. Each of the primitives includes any number of wire ports. Each of the wire ports includes one state machine. Each of the wirings connects to two wire ports included in different primitives. The system definition expansion unit 11 generates the information of the state machine set, by connecting existing definitions of the primitives by the wirings.

Abstract: A fast change planning system includes: a state machine set division unit 11 which divides a state machine set made up of one or more state machines, into a state machine group set; and a state machine set integration unit 12 which integrates transition orders derived from each of the state machine groups obtained by dividing the state machine group set.