分析阶段的活动概括为（），这些模型详细定义了系统需求而没有局限于某一具体技术，也称（）。