当前，对业务流程管理的重视正在影响着信息系统的构建方式。业务流程模型在信息系统构建中的地位越来越重要，同时数据模型描述了业务数据，是信息系统重要的结构模型。在很多情况下，信息系统的构建采用流程.数据混合式驱动的方法，即业务流程模型和数据模型共同构成信息系统构建的基础。　　 在信息系统自动化构建中，模型的质量是保证系统的正确性的基础，但是业务流程复杂性的增长使模型的设计可能包含逻辑冲突等不一致性问题。业务流程模型和数据模型都是对系统的描述，但是出发点不同。因此，业务流程模型和数据模型是否一致是一个关系到系统健壮性的实际问题。而传统的验证方法往往针对单独的业务流程模型或数据模型，难以解决此问题。本文研究并提出了一种业务流程模型和数据模型一致性验证的方法。该方法在国家自然基金项目“面向业务流程感知的Web信息系统自动化构建研究”(Process-Aware Web InformationSystem Constructing Environment，PASE)(基金编号：60673113)中得到实现，实际的应用证明了该方法的有效性。　　 本文的贡献主要包括以下几个方面：　　 ·提出并研究了业务流程模型与数据模型之间的一致性问题。并且总结出了业务流程模型与数据模型一致性的三种异常。　　 ·提出了Process-Data Graph模型作为业务流程和数据模型统一的形式化描述。它独立于具体的流程建模语言和数据建模语言，根据业务流程和数据模型的关系进行整合，作为业务流程模型与数据模型一致性问题分析的基础。　　 ·提出了进行业务流程模型与数据模型一致性验证的方法(PDGV)。该方法基于Process-Data Graph模型，可以有效地发现业务流程模型与数据模型之间的不一致问题，从而帮助提高系统构建的质量。在实际系统开发中的应用表明该方法是有效的。