12306订票系统
说明：图中蓝色高亮部分为【题目描述文档】中未提及但是在【截图或直接从12306应用】中找到的一些功能部分，因此我用高亮标识，之后的建模只对【文档中提及部分】进行考虑。
说明：仅考虑车票查询业务。
说明：仅针对订单对象。
说明：仅针对订票场景；个人认为用例操作已经描述清楚，因此未利用操作契约进行补充。
