Based on the abstraction of atomic patterns, a method for pattern extraction of MSC is provided and its correctness is proven.

• 在抽象原子模式的基础上,提出了一种基于图连通性判定的模式抽取方法,并给出了其正确性证明。