信息时代的今天，信息技术(Information Technology，IT)产业已成为推动世界经济增长的主要动力之一。随着计算机硬件技术的不断成熟，产业竞争正逐渐转向软件开发领域。软件开发实践表明：用户需求是软件系统成功的关键。本文主要研究软件需求建模问题，其主要思想是：软件需求必须反映市场和用户的真实需要，这是开发新软件系统的基础。因此在需求建模初期采用场景概念来获取用户需求，在后期采用形式化方法加以描述。这样，具有形式化特点的需求规约说明为软件系统的后期开发奠定了坚实的基础。 具体来说，本文主要研究如下问题： (1)软件需求建模。论文采用场景概念来获取用户需求，并用Use Case Maps和Use Case相结合进行表示。 (2)软件需求形式化。基于Use Case Maps的软件系统全局行为模式，可转换为基于SDL表示的软件需求规约说明，这样的需求规约说明具有形式化的特点。 (3)需求规约的确认与验证。本文主要采用支持SDL语言的工具来进行需求的确认和验证。 本文主要贡献在于定义了一个基于UCM和SDL的软件需求描述模型，讨论了整个建模过程，并基于该方法描述了自动柜员机系统需求。另外，本文介绍了如何使用Telelogic Tau工具集确认和验证SDL规约说明以及将来进一步研究的方向。