STATE TRANSITION SPECIFICATION GENERATOR

• Main Authors: MIYAZAKI SATOSHI, NISHIKI KENYA, FUKUZAWA YASUKO, TANIDA KOUSUKE, SAKURAI HARUO
• Format: Patent
• Language: English
• Published: 04.11.1994
• Edition: 5
• Subjects: CALCULATING; COMPUTING; COUNTING; ELECTRIC COMMUNICATION TECHNIQUE; ELECTRIC DIGITAL DATA PROCESSING; ELECTRICITY; PHYSICS; TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHICCOMMUNICATION

PURPOSE:To affect the correction of message sequence on a generated state transition specification by attaching common transition information between the message sequence. CONSTITUTION:A module selection setting function 104 displays a module name which comprises each message sequence set at a state transition specification generating condition setting function 103, and adds a selected module name on state transition specification generating condition information 112. A state transition specification generating function 105 generates state transition specification information 114 based on the state transition specification generating condition information 112, and stores information with respect to common transition between the message sequence by which the state transition specification is generated in common transition information 113. A state transition specification update function 106 updates the state transition specification information 114 from message sequence information 111, generated state transition specification information 114, and the common transition information 113 when update such as the correction of the message sequence, etc., is performed according to the state transition specification generating condition 112.