| 摘要 |
<p>PROBLEM TO BE SOLVED: To manage a complicated state transition diagram while dividing it into categories. SOLUTION: An attribute setting part 15 sets an attribute, which is registered on an attribute managing table 14, to each of transition elements stored in a transition element storage part 13 on the basis of the category thereof. A condition designating part 16 designates the attribute of the category to intensify display. An element extracting part 17 extracts the transition element, with which the designated attribute is set, from the transition element storage part 13 and extracts related state elements from a state element storage part 12. An element intensifying part 18 applies intensifying process to the extracted element and an element display part 19 displays the element while intensifying it on a display 20. Thus, the state elements and the transition elements comprising the complicated transition state diagram are managed for respective categories by a state transition diagram managing part 10. Therefore, only the state elements and the transition elements related to the specified category can be extracted, and displayed intensively.</p> |
