摘要 |
PURPOSE:To easily discover the lack of a state and a state variable by inquiring the lack of the state and the state variable to a designer on a stage in the middle of inputting a state transition diagram. CONSTITUTION:When the attention state is inputted from an input part 1, an information processing part 3 displays the state of refusing such a state on a display part 2 and it is promoted to the designaer to detect the lacked state in already prepared state transition specification. When the new state and the value of the state variable corresponding to this state are inputted based on the displayed state, the value of the state variable corresponding to the new state is compared with the value of the attention state variable. When all the values of the state variables corresponding to the new state and the attention state are coincident, a message is displayed to require the addition of the new state variable. Thus, on the stage in the middle of describing state transition, the lack of the state and the state variable can be easily discovered.
|