摘要 |
PROBLEM TO BE SOLVED: To suppress the destabilization of behavior of a system even in case that the system is laid in an unexpected state in executing a generated program in a program generation based on correspondence information for assigning an action to each set of system state and event. SOLUTION: A personal computer reads a state transition table from a storage medium, selects events in the state transition table one by one, and selects one state for each selected event. The personal computer determines whether each state is an exceptional state or a general state based on whether information showing that this state is an exceptional state is contained in the state transition table as an exception mark or not. Based on the determination result, the personal computer further generates, when an exception is generated in the state, a program for executing the state transition or processing assigned to the exceptional state in the state transition table. COPYRIGHT: (C)2006,JPO&NCIPI
|