MESSAGE SEQUENCE CHART EXTRACTING METHOD USING REGULAR EXPRESSION

摘要

PURPOSE: To extract a message sequence chart from a general arrivable analytic tree having loop structure by generating the arrivable analytic tree from a finite state transition machine description and representing it from a specific regular expression by using an output format determined according to a label of a closure, sum, run, etc. ;CONSTITUTION: An arrival possibility analytic part 2 takes an arrival possibility analysis of a finite state transition machine 1 given to each input process to generate an arrivable analytic tree. This generated arrivable analytic tree is converted by a regular expression conversnon part 3 into a regular expression and a message sequence chart generation part 4 outputs a message sequence chart 5 according to the regular expression. Thus, the arrivable analytic tree obtained by the arrival possibility analysis is regarded as a finite automaton and an optional finite automaton can be converted into a regular expression.;COPYRIGHT: (C)1996,JPO