试题一（20分）：

阅读以下关于软件系统分析与建模的叙述，在纸上回答问题1至3.

说明：某软件公司拟开发一套汽车租赁系统，科学，安全和方便的管理租赁公司的各项业务，提高公司效率，提升利率。注册用户在使用系统做车辆预约时需执行以下操作：
（a）用户登录系统
（b）查询车辆信息
（c）预订车辆
（d）提取车辆
（e）归还车辆
（f）计算结余
（g）查询应还车时间

                                        图1-1 系统状态机图

(1)  ：（a）用户登录系统

(2)  ：（b）查询车辆信息

(3)  ：（g）查询应还车时间

(4)  ：（c）预订车辆

(5)  ：（e）归还车辆

(6)  ：（d）提取车辆

(7)  ：（f）计算结余

(8)  ：查询到有车辆需要归还

(9)  ：查询到无车辆需归还

根据题目描述和图1-1的系统状态机图，我们可以对注册用户的状态交换过程进行补充和完善。

1. (a)用户登录系统：这是用户与系统交互的起点，用户需要输入正确的用户名和密码才能进入系统。
2. (b)查询车辆信息：登录后，用户可以查询当前可用的车辆信息。
3. (g)查询应还车时间：用户可能需要查询自己预约车辆的应还车时间。
4. (c)预订车辆：在查询车辆信息后，用户可以预订需要的车辆。
5. (e)归还车辆：用户在使用完车辆后需要归还，系统进行相应的记录。
6. (d)提取车辆：在成功预订后，用户可以提取车辆。
7. (f)计算结余：用户可能需要计算其账户中的结余或租赁费用。

对于状态转移的执行动作(8)和(9)，根据系统功能和业务流程逻辑：

• (8) 查询到有车辆需要归还：当用户需要归还车辆时，系统应提示用户进行归还操作。
• (9) 查询到无车辆需归还：如果用户尝试提取车辆但当前无车可供提取，系统应提示用户无法提取车辆或进行其他相关操作。