1. A method for generating a control program that implements a plurality of practical means to a computer by using a program generation program, the method in the program generation program comprising the steps of: reading and storing correspondence information that specifies allocation of an action to a process state stored in a storage medium in the computer; determining whether the process state in the correspondence information is either of an exceptional process state or a normal process state based on an exception attribute of the process state in the correspondence information; and generating the control program based on the correspondence information, wherein the execution of the control program implements the practical means to the computer, the practical means includes: a process state detection means for detecting that the process state in process state information stored in the storage medium in the computer is either of the normal process state or the exceptional process state in the correspondence information based on whether the process state indicates either of the normal process state or the exceptional process state in the correspondence information; a normal process handling means for performing the action allocated to the normal process state specified in the correspondence information if the process state detected by the process state detection means is the normal process state, wherein the action allocated to the normal process state generates a normal process state handling code that handles the normal process state; and an exceptional process handling means for performing the action allocated to the exceptional process state specified in the correspondence information if the process state detected by the execution of the control program is not the normal process state, wherein the action allocated to the exceptional process state generates an exceptional process state handling code that handles the process state not corresponding to the normal process state, the exceptional process state handling code is added to the control program for representing a state transition to a pre-defined state in the correspondence information stored in the storage medium, and the exceptional process state not corresponding to the normal process state is handled by the execution of the control program having the exceptional process state handling code.