摘要：软件需求分析是软件生命周期中最关键的一步。传统的需求建模方法主要有两个重大的缺陷：1) 非形式化的需求描述常常导致需求的歧义性和不一致性，因而难以确认和验证；2) 易变性，需求变更及其连锁反应是对项目质量、进度乃至合同履行影响最大的风险因素。本文针对软件需求分析阶段的难点，通过将形式化方法和敏捷建模理论相结合，提出一套基于敏捷建模的形式化需求分析方法。 全文查看链接 　　1) 研究分析前面得到的用例图； 全文查看链接