一艘船在静水中的速度是3m/s，它要横渡一条30m宽的河，水流速度为4m/s，下列说法正确的是

A．船不可能垂直河岸到达正对岸

B．船过河时相对河岸的速度一定是5m/s

C．船过河时间可能为6s

D．船过河时间可能为12s

阅读以下关于需求建模的叙述，在答题纸上回答问题1至问题3。

某软件公司拟为物流企业开发一套库存管理系统，该系统的部分需求陈述如下：

（1）库存管理系统主要包括货物入库管理、货物出库管理、仓库管理、统计报表和系统管理等功能。

（2）库存管理系统的用户包括仓库管理员、仓库经理和系统管理员，用户必须在注册后才能使用系统功能：用户可以选择使用邮件注册或电话注册。

（3）仓库管理员在进行出入库操作前必须先登录；仓库经理可以通过系统查看统计报表，如果前一个月的报表未生成，则系统自动生成统计报表，否则直接显示。

（4）系统管理员可以在系统中设置仓库温度范围，当仓库内温度超过最高值或者低于最低值时，系统自动调用温控管理操作，连接温度调节系统进行制冷或加热。

（5）仓库管理功能要求每个月1日零点对前一个月货物入库和出库记录进行数据汇总操作。项目组决定构造用例模型以描述系统需求

用例建模的主要工作是书写用例规约。用例规约通常包括哪几部分内容？