作业7

选题

12306订票系统

用例图

说明：图中蓝色高亮部分为【题目描述文档】中未提及但是在【截图或直接从12306应用】中找到的一些功能部分，因此我用高亮标识，之后的建模只对【文档中提及部分】进行考虑。

车票查询业务活动图

说明：仅考虑车票查询业务。

领域模型

订单对象状态图

说明：仅针对订单对象。

订票场景的系统顺序图

说明：仅针对订票场景；个人认为用例操作已经描述清楚，因此未利用操作契约进行补充。