Next, a construction process is given for proving the pattern composition theorem and the behavior equivalence is also proven for MSC.

• 接着，详尽分析和给出了模式组合定理的一个构造性证明以及模式组合前后的消息序列图的行为等价性证明。