图书管理系统需求规格说明书
IF 在学生文件中找不到该学生或者图书目录文件中显示该图书属
于注销图书或者该图书属于已借 THEN 输出非法借书请求（相当于拒绝借书）ELSE输出借书成功并将借书信息写入借书文件 END
<2: 加工1.3：处理学生还书
加工逻辑： BEGIN
读取学生还书请求信息，当前日期，学生文件，图书目录文件和借
书文件
IF （在图书目录文找到该图书是未借出或者该图书是挂失）
THEN 输出非法还书请求
ELSE IF 在借书文件中找到到当日为止，该书超期
THEN 罚款
ELSE END
<3: 加工1.4：处理图书注销
加工逻辑： BEGIN
读取注销图书请求信息，当前日期和图书目录文件 IF 在图书目录文件说明该图书已经注销 THEN 输出非法注销请求信息（或者说重复注销） ELSE 注销成功并且更新图书目录文件 END
<4: 加工2.1：学生信息查询
加工逻辑： BEGIN
输出还书成功并且更新借书文件