First, in UML sequence the control condition of messages are analyzed and construct IRCFG equitying with it.

• 首先,分析UML顺序图的消息控制条件,构造与其相等价的IRCFG图;