随着软件工程的发展,需求工程日益得到人们的重视。需求分析作为软件生命周期极为重要的一个环节,关系到软件工程项目的成功与否,并且在很大程度上决定了软件产品的质量。本文主要研究软件需求建模问题,其主要思想是:软件需求必须反映市场和用户的真实需要。在需求建模的初期采用场景概念来获取用户需求,在后期则采用形式化方法加以描述。这样,具有形式化特点的需求规约说明为软件系统的后期开发奠定了坚实的基础。具体来说,本文主要简要讨论了场景和形式化方法的相关知识。详细介绍了一种新的场景表示法IA--UCM。对于形式化方法主要介绍了有关概念、分类、形式规约语言、使用现状和评价、基于形式化方法的软件开发过程等。最后还简要综述了两种标准形式化描述技术,即消息序列图(MSC)和接口自动机,然后将流体变量引入消息序列图和接口自动机,介绍了带注释的消息序列图和带注释的接口自动机。提出一种基于接口自动机的软件需求建模方法的全部过程,重点讨论了如何获取需求,并如何将捕获的需求进行形式化以及软件需求规约的确认与验证等问题本文定义了一个基于UCM和接口自动机的软件需求描述模型,讨论了整个建模过程,并基于该方法描述了自动柜员机系统需求。另外,本文还介绍了如何使用带注释的消息序列图和带注释的接口自动机确认和验证接口自动机以及将来进一步研究的方向。