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

ABLE OF CONTENTS
TABLE OF CONTENTS 2
LOGICAL VIEW REPORT 3
Logical View 3
account 3
book 4
bookwork 6
borrowbook 7
borrower 8
librarian 9
loan 9
returnbook 10
searchbook 11
C:Model:Rose:Model:MDLFileName=^S
LOGICAL VIEW REPORT
Rose:Package:Rose||Package('E:\UML\\','0','4A1C85E902DF')
Logical View
Rose:Class:Rose||Class('E:\UML\\','0','4A1C8C4E01B5')
account
account类,借书卡类,此类包含了借书卡的基本信息,卡号,借阅者姓名,累计借阅图书数量等,并定义了一系列对借书卡进行的操作,完成了验证借书卡卡号,判断借阅图书是否已满,修改卡号借阅数量等功能。
Private Properties:
Rose:Attribute:Rose||Attribute('E:\UML\\','0','4A1C9B8A0062')
accountid: Integer
accountid,为Integer类型,私有变量,表示借书卡的卡号。
Rose:Attribute:Rose||Attribute('E:\UML\\','0','4A1C9B9200D0')
borrower: String
borrower,为String类型,私有变量,表示拥有该卡的借阅者的姓名。
Rose:Attribute:Rose||Attribute('E:\UML\\','0','4A1DFFB0004E')
borrowbooknum: Integer
borrowbooknum,Integer类型,私有变量,表示累计借阅图书数量
Rose:Attribute:Rose||Attribute('E:\UML\\','0','4A24E2DB0251')
address: String
address,为String类型,私有变量,表示借阅者的住址
Rose:Attribute:Rose||Attribute('E:\UML\\','0','4A24E30D02BF')
tel: String
tel,String类型,私有变量,表示借阅者电话
Rose:Attribute:Rose||Attribute('E:\UML\\','0','4A2689A400BB')
allowborrowday: Integer
allowborrowday,为Integer类型,私有变量,表示该借书卡的借阅者借书的最长日期。
Rose:Attribute:Rose||Attribute('E:\UML\\','0','4A268A530167')
allowborrowmax: Integer
allowborrowbook,为Integer类型,私有变量,表示该借书卡的借阅者能借阅图书的最大数量
Public Methods:
Rose:Operation:Rose||Operation('E:\UML\\','0','4A1CD2F50003')
Boolean ount();
ount函数,是一个公有函数,用于实现验证卡号是否存在。
返回值为Boolean型数值,若为真,表示卡号存在;若为假,表示卡号不存在。
Rose:Operation:Rose||Operation('E:\UML\\','0','4A1CD54B02B7')
Boolean isfull();
isfull函数,借阅是否满函数,是一个公有函数,用于实现判断卡号的累积借阅图书数量是否超过最大值。
返回值为Boolean型数值,若为真,表示借阅图书数量已达最大值,若为假,则没有达最大值。
Rose:Operation:Rose||Operation('E:\UML\\','0','4A1CDA460196')
account();
ount类的默认构造函数。
Ros