本课题在充分研究EFSM模型的新型控制依赖关系的基础上，结合数据依赖分析共同生成系统依赖关系图，最终实现了基于新型依赖关系的EFSM模型切片算法，全面解决包括具有非终止和非决定性的各类EFSM模型的控制依赖分析。在理论研究的同时，课题组建造标志性模型库并开发了工具软件，开展了实验研究。本课题的主要贡献如下：（1）本课题在比较EFSM模型和程序差异的前提下，全面研究了各种控制依赖关系，提出了基于 EFSM模型的NTSCD，NTICD和Order Dependence，可以有效地解决各种EFSM模型的控制依赖分析；（2）本课题形式化地描述了所有依赖关系的定义和对应算法的伪代码，首次发现了一些新的属性并提供了形式化证明，为EFSM模型的依赖性分析奠定了理论基础； （3）本课题研究了基于新型依赖关系的切片方法，首次提出了针对具有非终止和非决定性的EFSM模型切片算法，并给出了算法的伪代码描述。（4）本课题首次建立了标志性 EFSM模型库，并对这些模型进行了实验研究。实验结果表明我们提出的切片算法对各类 EFSM模型均可有效地生成模型切片，算法也可以扩展到具有一定尺寸规模的模型上。总之，本课题的研究成果可以有效地解决复杂模型的准确分析问题，为基于模型的软件测试、模型校验等技术提供有力的支持和高效的分析方法，降低了技术实施成本，进而有效地促进模型驱动开发的发展。