面向对象分析中，构建用例模型一般分为四个阶段，其中，除了( )阶段之外，其他阶段是必需的。