确定电子商务系统的高层逻辑模型属于软件生命周期中的（）阶段。