需求建模就是把由文本表示的需求和由图形或数学符号表示的需求结合起来,绘制出对目标系统的完整性描述,以检测软件需求的一致性、完整性和错误等。对于大规模复杂系统来说,其开发过程会涉及到多个参与者。尤其在需求分析阶段,这些不同参与者出于各自不同的知识背景、肩负的责任以及出发点,往往会从各种不同的角度和立场来提出自己的观点与需求,因此,最后会形成不同的视点需求,而且在建立软件系统需求模型的过程中,他们也可能会使用不同的需求建模技术与符号,因此,为获得复杂系统的高质量和可信需求模型,就需要根据不同的用户视点从不同的角度来构建系统的需求模型。一个软件系统能否满足用户的需求,这又是通过软件实际执行的行为所决定的。因此,软件行为是否正确就决定了该软件系统最终能否完全满足用户的需求。此外,软件特性如可信特性也是通过软件行为来验证的。但在需求阶段由于软件还未开发出来,所以要验证软件特性是一件相当困难的工作。如果能在需求阶段分析待开发软件的需求,并根据系统的需求信息,建立严格地描述基于软件行为的需求模型,这将是一项非常现实和重要的工作。本文正是希望通过分析和研究,能够促进这一系列问题的解决,本文分为八章,涉及三个部分的研究：基础理论部分的讨论和分析,建模方法和建模过程的研究,关于需求验证的研究,主要工作如下：在基础理论部分讨论了需求工程以及需求建模方法在软件工程领域的地位以及其重要意义,总结了几种形式化的需求建模方法,分析了几种有代表性的多视点需求工程方法。在建模方法的相关研究部分,本文基于软件行为,引入多视点需求建模的思想,提出了一种面向行为和视点的需求建模方法,给出了本方法的详细步骤和需要依循的原则,以及面向行为的需求模型框架的理论基础。并且,针对本方法的特点,提出了一种行为描述语言(BDL)作为行为模型的描述方式。在需求验证部分,本文主要针对行为模型的静态语义和一致性分别提出了适合本方法的检测方法。对于静态语义检测,本文通过语法检查、类型检查来验证行为模型的正确性,主要针对领域无关的需求正确性验证。对于需求一致性检测,本文通过等价行为来发现重叠需求,并构建行为模型的动态类型系统,利用行为类型问的子类型规则来进行一致性检测。本文以校园通系统为实例,利用本文提出的方法,对系统进行问题域划分、视点标识以及行为建模,最后得到系统的行为模型,展示了本文所提方法的可行性和有效性。