系统分析与设计HW7

题目地址

1.用例图

2.订单填写业务的活动图

3.领域模型

4.状态图

5.订单填写的系统顺序图

契约1：登录

-操作：LoginAndIdentify()

-交叉引用：订单查询，订单填写

-前置条件：

-后置条件：用户登陆后才能进行订单详细的填写

契约2：座位选择

-操作：ChooseSeat()

-交叉引用：订单填写

-前置条件：成功添加了乘客ConfirmAdd()

-后置条件：成功选择座位后才能进行订单确认及支付等操作

契约3：订单确认

-操作：returnReservationID()

-交叉引用：订单填写

-前置条件：用户提交订单相关信息，乘车人，车次，座位号，手机号等，SubmitReservation()

-后置条件：返回订单ID号后说明订单生成成功，可进行支付操作