The method includes describing and validating system by SDL/MSC, generating directed acyclic graph (DAG) , and dividing DAG into some sub DAGs.

• 这种方法包括系统的 SDL/ MSC描述与验证、有向无环图 (DAG)的产生、DAG子图划分等几部分 .