图书馆借还书系统逻辑视图

ABLE OF CONTENTS
TABLE OF CONTE NTS (1)
LOGICAL VIE W RE PORT (2)
L OGICAL V IEW (2)
account (2)
book (4)
bookwork (5)
borrowbook (7)
borrower (8)
librarian (8)
loan (9)
returnbook (10)
searchbook (11)
LOGICAL VIEW REPORT
Logical View
account
account类，借书卡类，此类包含了借书卡的基本信息，卡号，借阅者姓名，
累计借阅图书数量等，并定义了一系列对借书卡进行的操作，完成了验证借书
卡卡号，判断借阅图书是否已满，修改卡号借阅数量等功能。

Private Properties:
accountid: Integer
accountid，为Integer类型，私有变量，表示借书卡的卡号。

borrower: String
borrower，为String类型，私有变量，表示拥有该卡的借阅者的姓名。

borrowbooknum: Integer
borrowbooknum,Integer类型，私有变量，表示累计借阅图书数量address: String
address，为String类型，私有变量，表示借阅者的住址
tel: String
tel，String类型，私有变量，表示借阅者电话
allowborrowday: Integer
allowborrowday，为Integer类型，私有变量，表示该借书卡的借阅者借书的最
长日期。

allowborrowmax: Integer
allowborrowbook，为Integer类型，私有变量，表示该借书卡的借阅者能借阅
图书的最大数量
Public Methods:
Boolean matchaccount();
matchaccount函数，是一个公有函数，用于实现验证卡号是否存在。

返回值为Boolean型数值，若为真，表示卡号存在；若为假，表示卡号不存
在。

Boolean isfull();
isfull函数，借阅是否满函数，是一个公有函数，用于实现判断卡号的累积借阅
图书数量是否超过最大值。

返回值为Boolean型数值，若为真，表示借阅图书数量已达最大值，若为假，
则没有达最大值。

account();
account函数为account类的默认构造函数。

Integer getaccountid();
getaccountid函数，是一个公有函数，用于获得借书卡卡号。

返回值为Integer型数值，表示借书卡的卡号。

String getborrower();
getborrower函数，用于获得拥有卡号的借阅者姓名。

返回值为String型数值，表示借阅者姓名。

Integer getborrowbooknum();
getborrowbooknum函数，用于获得卡号累计借阅图书数量。

返回值为Integer型数值，表示累计借阅图书数量。

Void setborrowbooknum(Integer borrowbooknum);
Setborrowbooknum函数，用于用于将参数borrowbooknum赋给私有变量
borrowbooknum，借阅图书数量。

Boolean accountaddbook();
accountaddbook函数，是一个公有函数，用于实现使卡号累计借阅图书数量加1。

返回值为Boolean型数值，若为真，表示修改成功；若为假，表示失败。

Boolean accountdeletebook();
accountdeletebook函数，是一个公有函数，用于实现使卡号累计借阅图书数量减1。

返回值为Boolean型数值，若为真，表示修改成功；若为假，表示失败。

Void setallowborrowday(Integer allowborrowday);
setallowborrowday函数，用于将参数allowborrowday赋给私有变量
allowborrowday。

返回值为空。

Integer getallowborrowday();
getallowborrowday函数，用于获得允许图书借阅的最长日期。

返回值为Integer型数值，表示允许图书借阅的最长日期。

Void setallowborrowmax(Integer allowborrowmax);
setallowborrowmax函数，用于将参数allowborrowmax赋给私有变量
allowborrowmax。

返回值为空。

Integer getallowborrowmax();
getallowborrowmax函数，用于获得能借阅图书的最大数量。

返回值为Integer型数值，表示能借阅图书的最大数量。

book
book类，图书类，该类定义了图书的基本信息，包括图书编号，图书名称，作者，出版社，图书状态是否可借等，也定义了对图书的一系列操作，获得图书信息，修改图书信息，验证图书编号是否存在，查找图书等功能。

Private Properties:
bookid: Integer
bookid，Integer类型，私有变量，表示图书编号。

bookname: String
bookname，为String类型，私有变量，表示图书名称
author: String
author，为String类型，私有变量，表示图书作者姓名。

press: String
press，为String类型，私有变量，表示图书的出版社名称。

allowborrow: Boolean
allowborrow，为Boolean类型，私有变量，表示图书是否可借
Public Methods:
Boolean matchbook();
matchbook函数，是一个公有函数，用于实现验证图书编号是否存在。

返回值为Boolean型数值，若为真，表示图书编号存在，若为假，表示图书编
号不存在。

Integer searchbook(String searchinf);
searchbook函数，是一个公有函数，用于实现根据传入参数searchinf搜索相关图书。

返回值为Integer型数值，表示图书编号。

book();
book函数是book类的默认构造函数。

Integer getbookid();
getbookid函数，用于获得图书编号。

返回值为Integer型数值，表示图书编号。

String getauthor();
getauthor函数，用于获得图书作者姓名。

返回值为String型数值，表示作者姓名。

String getbookname();
getbookname函数，用于获得图书名称。

返回值为String型数值，表示图书名称。

String getpress();
getpress函数，用于获得图书的出版社。

返回值为String型数值，表示出版社名称。

Void setallowborrow(Boolean allowborrow);
setallowborrow函数，用于将参数allowborrow赋给私有变量allowborrow。

返回值为空。

Boolean getallowborrow();
getallowborrow函数，用于获得图书状态是否可借。

返回值为Boolean型数值，若为着，表示图书可借；若为假，表示图书不可
借。

Void setbookid(Integer bookid);
setbookid函数，用于将参数bookid赋给图书编号变量。

返回值为空。

Void setauthor(String author);
setauthor函数，用于将参数author赋给作者变量。

返回值为空。

Void setboookname(String bookname);
setbookname函数，用于将参数bookname赋给图书名称变量。

返回值为空。

Void setpress(String press);
setpress函数，用于将参数press 赋给出版社变量。

返回值为空。

bookwork
图书处理事务父类，是一个抽象类，其子类为returnbook和borrowbook，继承父类的属性和操作。

该类主要实现了对借书卡卡号和图书编号的获取，验证，对图书状态和卡号累计图书数量的修改，和对借阅信息的修改及相关错误操作的提示。

Protected Properties:
bookid: Integer
bookid，为Integer类型，保护变量，因为还要被其子类所用，表示图书编号。

accountid: Integer
accountid，为Integer类型，保护变量，因为还要被其子类所用，表示借书卡的卡号。

Public Methods:
Void setaccountid(Integer accountid);
setaccountid函数，是一个公有函数，用于将传入的参数借书卡卡号accountid 赋给bookwork类的私有变量accountid。

即获取借书卡的卡号。

参数accountid表示借书卡卡号。

返回值为空。

Void showaccount();
showaccount函数，是一个公有函数，用于显示一个借阅者卡号的基本信息及借阅信息。

返回值为空。

Void setbookid(Integer bookid);
setbookid函数，是一个公有函数，用于将传入的参数bookid赋给bookwork类的私有变量bookid。

参数bookid表示图书编号。

返回值为空。

Boolean matchbookinf();
matchbookinf函数，是一个公有函数，用于验证所读取图书的编号是否存在，其实现调用book类中的matchbook函数实现即可。

返回Boolean型数值，若为真，表示该图书编号存在；若为假，表示该图书编号不存在。

Boolean modifyloan();
modifyloan函数，是一个公有函数，且是一个虚函数，因为在bookwork父类所派生的子类中对该函数的实现方式不一样，要用到动态绑定。

该函数用于实现对卡号accountid和图书编号bookid的借阅信息的修改，在returnbook子类中为删除借阅信息，在borrowbook子类中为添加借阅信息。

返回值为Boolean型数值，若为真，表示添加成功，若为假，表示添加失败。

Boolean modifyaccountinf();
modifyaccountinf函数，是一个公有函数，也是一个虚函数，因为在returnbook 子类和borrowbook子类中实现方法不一样。

用于修改借书卡卡号中借阅图书数量，在returnbook子类中为加1，在borrowbook子类中为减1。

返回值为Boolean型数值，若为真，表示修改借阅图书数量成功，若为假，表示失败。

Boolean modifybookinf();
modifybookinf函数，是一个公有函数，也是一个虚函数，因为在returnbook子类和borrowbook子类中的实现方式不一样。

用于修改图书是否可借信息，在returnbook子类中是将图书状态改为可借，在borrowbook子类中是将图书状态改为不可借。

返回值为Boolean型数值，若为真，表示修改借阅图书数量成功，若为假，表示失败。

bookwork();
bookwork函数为bookwork类的默认构造函数。

Void showbookerror();
showbookerror函数，是一个公有函数，用于当图书编号不存在时，提示图书
编号不存在，不能借阅或归还。

返回值为空。

Integer getaccountid();
getaccountid函数，是一个公有函数，用于获得当前图书处理对象的借书卡卡
号accountid。

返回值为Integer型数值，表示当前图书处理对象的借书卡卡号。

Integer getbookid();
getbookid函数，是一个公有函数，用于获得当前图书处理对象的图书编号
bookid。

返回值为Integer型数值，表示当前图书处理对象的图书编号。

borrowbook
borrowbook类，借书事务类，为bookwork类的子类，继承了bookwork类的
属性和操作，在此基础之上，重置了修改卡号借阅信息，修改图书状态信息和修改借阅信息函数，并增加了当借阅图书超过借阅最大值时的处理。

Derived from bookwork
Public Methods:
Boolean matchaccountinf();
matchaccountinf函数，是一个公有函数，用于验证卡号是否存在，可调用
account类的matchaccount函数实现。

返回值为Boolean型数值，若为真，表示该卡号存在；若为假，表示该卡号不
存在。

Boolean isfullinf();
isfullinf函数，是一个公有函数，用于判断卡号图书是否已借满，可调用
account类的isfull函数实现。

返回值为Boolean型数值，若为真，表示卡号图书已借满，若为假，则表示未
借满。

borrowbook();
borrowbook函数为borrowbook类的默认构造函数。

Void showaccounterror();
showaccounterror函数，是一个公有函数，用于实现当借书卡卡号不存在时，
提示卡号错误。

返回值为空。

Void showfull();
showfull函数，是一个公有函数，用于实现当借书卡卡号的累积借阅图书数量
为最大值，还想再借阅图书时，提示图书已借满。

返回值为空。

Boolean modifyloan();
modifyloan函数是父类bookwork类中的一个公有虚函数，实现函数重置。

用于修改图书借阅信息，在returnbook类中要实现添加accountid和bookid相对应
的图书借阅信息，可调用loan类中的addloan函数实现。

返回值为Boolean型数值，若为真，表示借阅信息修改成功；若为假，表示借
阅信息修改失败。

Boolean modifyaccountinf();
modifyaccountinf函数，是父类bookwork类的一个公有虚函数。

用于实现修改
借书卡中累计借阅的图书数量，可调用accountid类中的accountaddbook函数
实现。

返回值为Boolean型数值，若为真，表示累计借阅图书数量加1成功，若为
假，则表示失败。

Boolean modifybookinf();
modifybookinf函数是父类bookwork类的一个公有虚函数，用于实现修改图书
状态，可调用book类的setallowborrow函数实现，参数为false。

返回值为Boolean型数值，若为真，表示修改图书状态成功，若为假，则为失
败。

borrower
borrower类，借阅者类，因为在系统中已有一个类account表示借阅者信息，
因此此类也可省去。

Private Properties:
name: String
name，表示借阅者姓名
Public Methods:
borrower();
librarian
librarian类，图书管理员类，因为图书管理员在系统外，所以此类可省去。

Private Properties:
name: String
name，表示图书管理员姓名
Public Methods:
librarian();
loan
loan类，借阅信息类，此类包含了一条借阅记录的卡号，图书编号，借阅日期
等信息，还有对借阅记录的一系列操作，添加，删除借阅记录，判断借阅是否过期等。

Private Properties:
accountid: Integer
accountid，为Integer类型，私有变量，表示借书卡的卡号。

bookid: Integer
bookid，Integer类型，私有变量，表示图书编号。

borrowday: Date
borrowday，Date类型，私有变量，表示借阅图书的日期。

Public Methods:
Boolean addloan();
addloan函数，是一个公有函数，用于向借阅信息中添加一条借阅记录，包括卡号，图书编号，借阅日期。

返回值为Boolean型数值，若为真，表示添加成功；若为假，表示添加失败。

Double overtime();
overtime函数，是一个公有函数，用于实现判断一条借阅记录中的图书是否超
期，若超期则计算出其罚款数额。

返回值为Double型数值，若为0，表示图书未超期；若不为0，表示图书超期
应罚款现金数额。

Boolean deleteloan();
deleteloan函数，是一个公有函数，用于实现删除一条图书借阅记录。

返回值为Boolean型数值，若为真，表示删除成功；若为假，表示失败。

loan();
loan函数是loan类的默认构造函数。

Integer getaccountid();
getaccountid函数，用于获得一天图书借阅记录对应的卡号。

返回值为Integer型数值，表示借书卡卡号。

Integer getbookid();
getbookid函数，用于获得一条图书借阅记录的图书编号。

返回值为Integer型数值，表示图书编号。

java.sql.Date getborrowday();
getborrowday函数，用于获得一条图书借阅记录的借阅时间。

返回值为Date型数值，表示借阅时间。

Void setaccountid(Integer accountid);
setaccountid函数，用于把传入参数accountid（Integer类型）赋给私有变量
accountid。

返回值为空。

Void setbookid(Integer bookid);
setbookid函数，用于将传入的参数bookid（Integer）赋给私有变量bookid。

返回值为空。

Void setborrowday(java.sql.Date borrowday);
setborrowday函数，用于将传入的参数borrowday赋给私有变量borrowday。

返回值为空。

returnbook
returnbook类，还书事务类，为bookwork类的子类，继承了bookwork类的属
性和操作，在此基础之上，增加了新属性罚款数额fine,并重置了修改卡号借阅信息，修改图书状态信息和修改借阅信息函数，且扩展了还书罚款功能。

Derived from bookwork
Public Methods:
Double overtimeinf();
overtimeinf函数，是一个公有函数，用于判断图书是否超期，调用account类
中的overtime函数实现，并返回罚款现金数额。

返回值为Double型数值，若为0，表示未超期，若不为0，表示超期，并且返
回罚款现金数额。

returnbook();
returnbook函数，是returnbook类的默认构造函数。

Boolean modifyloan();
modifyloan函数是父类bookwork类中的一个公有虚函数，实现函数重置。

用于修改图书借阅信息，在returnbook类中要实现删除accountid和bookid相对应
的图书借阅信息，可调用loan类中的deleteloan函数实现。

返回值为Boolean型数值，若为真，表示借阅信息修改成功；若为假，表示借
阅信息修改失败。

Boolean dealovertime();
dealovertime函数，是一个公有函数，用于实现若借阅者图书超期，对其的罚款操作。

返回值为Boolean型数值，若为真，表示已交罚款，若为假，则为未交罚款，
还书失败。

Boolean modifyaccountinf();
modifyaccountinf函数，是父类bookwork类的一个公有虚函数。

用于实现修改
借书卡中累计借阅的图书数量，可调用accountid类中的accountdeletebook函数实现。

返回值为Boolean型数值，若为真，表示累计借阅图书数量减1成功，若为
假，则表示失败。

Integer bookgetaccount(Integer bookid);
bookgetaccount函数，是一个公有函数，用于找到对应图书编号的卡号。

返回值为Integer型数值，表示卡号。

Boolean modifybookinf();
modifybookinf函数是父类bookwork类的一个公有虚函数，用于实现修改图书
状态，可调用book类的setallowborrow函数实现，参数为true。

返回值为Boolean型数值，若为真，表示修改图书状态成功，若为假，则为失
败。

searchbook
Private Properties:
searchinf: String
searchinf，为String类型，私有变量，表示要搜索图书的关键信息。

Public Methods:
Void setsearchinf(String searchinf);
setsearchinf函数，用于将参数searchinf赋给私有变量searchinf。

返回值为空。

Void showresult();
showresult函数，用于搜索图书，并显示搜索结果，搜索图书可调用book类中的searchbook函数实现。

返回值为空。

searchbook();
searchbook函数，为searchbook类的默认构造函数。

String getsearchinf();
getsearchinf函数，用于获得搜索图书的关键信息。

返回值为String型数值，表示关键信息。

最后ROSE可以自动生成代码框架，代码框架实例类returnbook的代码框架：
//Source file: E:\\UML\\returnbook.java
/**
* returnbook类，还书事务类，为bookwork类的子类，继承了bookwork类的属性和操作，在此
* 基础之上，增加了新属性罚款数额fine,并重置了修改卡号借阅信息，修改图书状态信息和? * 改借阅信息函数，且扩展了还书罚款功能。

*/
public class returnbook extends bookwork
{
/**
* returnbook函数，是returnbook类的默认构造函数。

* @roseuid 4A1CDA5503C8
*/
public returnbook()
{
}
/**
* overtimeinf函数，是一个公有函数，用于判断图书是否超期，调用account类中的overtime * 函数实现，并返回罚款现金数额。

* 返回值为Double型数值，若为0，表示未超期，若不为0，表示超期，并且返回罚款现金数额
* 。

* @return Double
* @roseuid 4A1CD8000328
*/
public Double overtimeinf()
{
return null;
}
/**
* modifyloan函数是父类bookwork类中的一个公有虚函数，实现函数重置。

用于修改图书借阅* 信息，在returnbook类中要实现删除accountid和bookid相对应的图书借阅信息，可调用loa * n类中的deleteloan函数实现。

* 返回值为Boolean型数值，若为真，表示借阅信息修改成功；若为假，表示借阅信息修改失败
* 。

* @return Boolean
* @roseuid 4A1CE87F022A
*/
public Boolean modifyloan()
{
return null;
}
/**
* dealovertime函数，是一个公有函数，用于实现若借阅者图书超期，对其的罚款操作。

* 返回值为Boolean型数值，若为真，表示已交罚款，若为假，则为未交罚款，还书失败。

* @return Boolean
* @roseuid 4A1E0883029F
*/
public Boolean dealovertime()
{
return null;
}
/**
* modifyaccountinf函数，是父类bookwork类的一个公有虚函数。

用于实现修改借书卡中累计* 借阅的图书数量，可调用accountid类中的accountdeletebook函数实现。

* 返回值为Boolean型数值，若为真，表示累计借阅图书数量减1成功，若为假，则表示失败。

* @return Boolean
* @roseuid 4A24D40201D4
*/
public Boolean modifyaccountinf()
{
return null;
}
/**
* bookgetaccount函数，是一个公有函数，用于找到对应图书编号的卡号。

* 返回值为Integer型数值，表示卡号。

* @param bookid
* @return Integer
* @roseuid 4A2B20CA03B9
*/
public Integer bookgetaccount(Integer bookid)
{
return null;
}
/**
* modifybookinf函数是父类bookwork类的一个公有虚函数，用于实现修改图书状态，可调用b
* ook类的setallowborrow函数实现，参数为true。

* 返回值为Boolean型数值，若为真，表示修改图书状态成功，若为假，则为失败。

* @return Boolean
* @roseuid 4A24D40201F4
*/
public Boolean modifybookinf()
{
return null;
}
}。