针对基于《国防部体系结构框架1.0版》的系统体系结构设计中存在的一致性研究问题。本文讨论了静态约束和动态检验相结合的一致性保证方法,力求保证系统在静态数据和动态行为表现两方面都能够获得良好的一致性。最后以一个案例说明了该方法在工程应用上的具体实现。文章首先阐述了体系结构设计的几种常用方法和常用的建模方法,介绍了《国防部体系结构框架1.0版》的主要内容和产品,分析了系统一致性问题的各种产生原因和表现。文章中间部分将系统一致性分为静态和动态两方面研究,分别予以解决并给出了一个体系结构设计的概要过程。静态部分采用了基于集成字典的静态一致性约束和检验机制,集成字典是在原有集成字典产品基础上融合了数据字典、关系字典、产品字典,赋予了它静态一致性约束的能力,可以在建模过程中提供有效的约束机制;动态部分则基于活动模型、规则模型、数据模型,应用层次着色Petri网建立可执行模型,通过对可执行模型的仿真来验证系统中多个产品间的动态一致性。本文最后在该方法的指导下,完成了一个保卫A岛作战系统的部分建模,并生成层次Petri网的可执行模型,利用给定典型初始标识集对该模型进行了仿真,通过评价检验了系统的一致性,说明了该方法的应用方式和工程应用上的意义。