在软件开发过程中,需求分析和设计是整个软件开发过程的关键阶段,为了保证需求分析和设计的正确性,需要一些模型语言对用户需求和系统设计进行建模。统一建模语言（UML）是一种适用于软件系统开发的图形化语言,功能强大且易于表达,其中用例图和顺序图被广泛用于在需求分析和设计阶段的建模。用例图由事件流、执行者等构成,事件流描述了用户要求系统执行过程的功能行为,是用户需求的具体描述。一个完整的系统的用例图复杂且庞大,将一个个用例自动分解成用例切片,每个用例切片由多个用例故事组成,更易于分析和理解。顺序图是设计阶段具有代表性的模型,它是用例驱动开发过程中用例的实现图,为了系统设计满足用户的需求,必须保证用例图和顺序图的一致性。为了检验顺序图和用例图的一致性,传统的一致性检验方法直接检查两个模型的一致性。本文提出了一种新的方法来检验顺序图和用例图一致性,该方法是通过检验顺序图的子图与用例切片的一致性来判断顺序图和用例图的一致性。首先讨论了模型一致性检验基本原理,并提出了模型间一致性检验的新方法,即通过检验一个模型的子模型与另一个模型的子模型的一致性来判断这两个模型的一致性;其次,研究了将用例图中的用例自动分解成用例切片的方法;接着,讨论了将顺序图分解成子顺序图,每个子顺序图应该是一个完整的用例故事的实现;最后,检验每个顺序图的子图是否与相应的用例故事一致。这个方法是利用两个模型的对应的子模型之间的一致性来判断这两个模型之间的一致性。本文从理论上证明了这个方法的正确性,并且用实例演示了顺序图和用例图一致性的具体检验过程。