📄 图书馆管理信息系统.mdl
字号:
(object Petal
version 45
_written "Rose 7.6.0109.2314"
charSet 134)
(object Design "Logical View"
is_unit TRUE
is_loaded TRUE
attributes (list Attribute_Set
(object Attribute
tool "Java"
name "IDE"
value "Internal Editor")
(object Attribute
tool "Java"
name "UserDefineTagName1"
value "")
(object Attribute
tool "Java"
name "UserDefineTagText1"
value "")
(object Attribute
tool "Java"
name "UserDefineTagApply1"
value "")
(object Attribute
tool "Java"
name "UserDefineTagName2"
value "")
(object Attribute
tool "Java"
name "UserDefineTagText2"
value "")
(object Attribute
tool "Java"
name "UserDefineTagApply2"
value "")
(object Attribute
tool "Java"
name "UserDefineTagName3"
value "")
(object Attribute
tool "Java"
name "UserDefineTagText3"
value "")
(object Attribute
tool "Java"
name "UserDefineTagApply3"
value ""))
quid "406FB61600E0"
defaults (object defaults
rightMargin 0.250000
leftMargin 0.250000
topMargin 0.250000
bottomMargin 0.500000
pageOverlap 0.250000
clipIconLabels TRUE
autoResize TRUE
snapToGrid TRUE
gridX 16
gridY 16
defaultFont (object Font
size 10
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
showMessageNum 1
showClassOfObject TRUE
notation "Unified")
root_usecase_package (object Class_Category "Use Case View"
quid "406FB61600E2"
exportControl "Public"
global TRUE
logical_models (list unit_reference_list
(object Class "图书馆管理员"
quid "406FBE160077"
stereotype "Actor")
(object UseCase "管理员信息管理"
quid "406FBE8D014A")
(object UseCase "借阅卡信息管理"
quid "406FBEB900B7")
(object UseCase "书刊借阅管理"
quid "406FBED5016C")
(object UseCase "书刊返还管理"
quid "406FBEF102D4")
(object UseCase "库存管理"
quid "406FBF0101B5")
(object UseCase "书刊查询管理"
quid "406FBF1B0126")
(object Association "$UNNAMED$0"
quid "406FBF6103BC"
roles (list role_list
(object Role "$UNNAMED$1"
quid "406FBF6300C6"
supplier "Use Case View::管理员信息管理"
quidu "406FBE8D014A"
is_navigable TRUE)
(object Role "$UNNAMED$2"
quid "406FBF6300F8"
supplier "Use Case View::图书馆管理员"
quidu "406FBE160077")))
(object Association "$UNNAMED$3"
quid "406FBF6F03E4"
roles (list role_list
(object Role "$UNNAMED$4"
quid "406FBF730014"
supplier "Use Case View::借阅卡信息管理"
quidu "406FBEB900B7"
is_navigable TRUE)
(object Role "$UNNAMED$5"
quid "406FBF73001E"
supplier "Use Case View::图书馆管理员"
quidu "406FBE160077")))
(object Association "$UNNAMED$6"
quid "406FBF870208"
roles (list role_list
(object Role "$UNNAMED$7"
quid "406FBF880141"
supplier "Use Case View::书刊借阅管理"
quidu "406FBED5016C"
is_navigable TRUE)
(object Role "$UNNAMED$8"
quid "406FBF88014B"
supplier "Use Case View::图书馆管理员"
quidu "406FBE160077")))
(object Association "$UNNAMED$9"
quid "406FBF8A0112"
roles (list role_list
(object Role "$UNNAMED$10"
quid "406FBF8B0019"
supplier "Use Case View::书刊返还管理"
quidu "406FBEF102D4"
is_navigable TRUE)
(object Role "$UNNAMED$11"
quid "406FBF8B001B"
supplier "Use Case View::图书馆管理员"
quidu "406FBE160077")))
(object Association "$UNNAMED$12"
quid "406FBF8C0350"
roles (list role_list
(object Role "$UNNAMED$13"
quid "406FBF8D033D"
supplier "Use Case View::库存管理"
quidu "406FBF0101B5"
is_navigable TRUE)
(object Role "$UNNAMED$14"
quid "406FBF8D033F"
supplier "Use Case View::图书馆管理员"
quidu "406FBE160077")))
(object Association "$UNNAMED$15"
quid "406FBF8F0304"
roles (list role_list
(object Role "$UNNAMED$16"
quid "406FBF90037D"
supplier "Use Case View::书刊查询管理"
quidu "406FBF1B0126"
is_navigable TRUE)
(object Role "$UNNAMED$17"
quid "406FBF90037F"
supplier "Use Case View::图书馆管理员"
quidu "406FBE160077")))
(object Mechanism @1
logical_models (list unit_reference_list
(object Object "$UNNAMED$18"
quid "40874EEC02D3"
collaborators (list link_list
(object Link
quid "40874F3B01C8"
supplier "借书登记界面"
quidu "40874EF00383"
messages (list Messages
(object Message "登录"
quid "40874F3B01D2"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1"
ordinal 0
quidu "000000000000"
creation FALSE))))
class "Use Case View::图书馆管理员"
quidu "406FBE160077"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "借书登记界面"
quid "40874EF00383"
collaborators (list link_list
(object Link
quid "40874F7D0303"
supplier "借阅者信息"
quidu "40874EF501F9"
messages (list Messages
(object Message "查找"
quid "40874F7D0304"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1"
ordinal 1
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "借阅者信息"
quid "40874EF501F9"
collaborators (list link_list
(object Link
quid "40874F930034"
supplier "借阅者信息"
quidu "40874EF501F9"
messages (list Messages
(object Message "身份无效"
quid "40874F930048"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1"
ordinal 2
quidu "000000000000"
creation FALSE)))
(object Link
quid "4087504303DA"
supplier "所借书刊信息"
quidu "40874EF70274"
messages (list Messages
(object Message "查询"
quid "4087504303DB"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.2"
ordinal 3
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "所借书刊信息"
quid "40874EF70274"
collaborators (list link_list
(object Link
quid "4087507302DF"
supplier "系统借书登记"
quidu "4087505202C3"
messages (list Messages
(object Message "借出"
quid "4087507302E0"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.2.1"
ordinal 4
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "系统借书登记"
quid "4087505202C3"
persistence "Transient"
creationObj FALSE
multi FALSE)))
(object Mechanism @2
logical_models (list unit_reference_list
(object Object "$UNNAMED$19"
quid "4087509B0029"
collaborators (list link_list
(object Link
quid "408750BE03AF"
supplier "还书登记界面"
quidu "408750A001FD"
messages (list Messages
(object Message "登录"
quid "408750BE03B0"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1"
ordinal 0
quidu "000000000000"
creation FALSE))))
class "Use Case View::图书馆管理员"
quidu "406FBE160077"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "还书登记界面"
quid "408750A001FD"
collaborators (list link_list
(object Link
quid "408750E30290"
supplier "所还书刊信息"
quidu "408750C7009B"
messages (list Messages
(object Message "录入"
quid "408750E30291"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1"
ordinal 1
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "所还书刊信息"
quid "408750C7009B"
collaborators (list link_list
(object Link
quid "4087512B02D9"
supplier "用户借书时间"
quidu "408750FF02AE"
messages (list Messages
(object Message "查看"
quid "4087512B02DA"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1"
ordinal 2
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "用户借书时间"
quid "408750FF02AE"
collaborators (list link_list
(object Link
quid "4087515C0226"
supplier "系统还书登记"
quidu "4087514902B5"
messages (list Messages
(object Message "还书"
quid "4087515C0227"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1"
ordinal 3
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "系统还书登记"
quid "4087514902B5"
persistence "Transient"
creationObj FALSE
multi FALSE))))
statemachine (object State_Machine "State/Activity Model"
quid "4087496F00C0"
states (list States
(object State "$UNNAMED$20"
quid "4087497A0300"
transitions (list transition_list
(object State_Transition
quid "408749CF0208"
label ""
supplier "添加书种和书刊"
quidu "4087497D0066"
Event (object Event "添加"
quid "408749CF0209")
sendEvent (object sendEvent
quid "408749CF020B")))
type "StartState")
(object State "添加书种和书刊"
quid "4087497D0066"
transitions (list transition_list
(object State_Transition
quid "40874BBD028B"
supplier "书刊有库存"
quidu "40874B7702A8"
sendEvent (object sendEvent
quid "40874BBD028E"))
(object State_Transition
quid "40874C7B01DA"
supplier "书刊无库存"
quidu "40874C2C02A8"
sendEvent (object sendEvent
quid "40874C7B01DD"))
(object State_Transition
quid "40874D0500DE"
supplier "还书"
quidu "40874CB5002E"
sendEvent (object sendEvent
quid "40874D0500E1")))
actions (list action_list
(object action "记录该书种的库存(Num)"
quid "40874A00008C"
ActionTime (object ActionTime
when "Entry"))
(object action "标识书刊状态为\"在库\""
quid "40874A7902D5"
ActionTime (object ActionTime
when "Entry")))
type "Normal")
(object State "书刊有库存"
quid "40874B7702A8"
transitions (list transition_list
(object State_Transition
quid "40874C29005F"
supplier "借书"
quidu "40874BC002F3"
sendEvent (object sendEvent
quid "40874C290062")))
actions (list action_list
(object action "余量:＝库存(Num)"
quid "40874B85012C"
ActionTime (object ActionTime
when "Entry")))
type "Normal")
(object State "借书"
quid "40874BC002F3"
actions (list action_list
(object action "标识书刊状态为\"借出\""
quid "40874BC403D5"
ActionTime (object ActionTime
when "Entry"))
(object action "库存(Num)=余量－1"
quid "40874BF20309"
ActionTime (object ActionTime
when "Entry")))
type "Normal")
(object State "书刊无库存"
quid "40874C2C02A8"
actions (list action_list
(object action "库存(Num):＝0"
quid "40874C4800BE"
ActionTime (object ActionTime
when "Entry")))
type "Normal")
(object State "还书"
quid "40874CB5002E"
actions (list action_list
(object action "标识书刊状态为\"在库\""
quid "40874CC403BF"
ActionTime (object ActionTime
when "Entry"))
(object action "库存(Num):＝库存+1"
quid "40874CDE00CE"
ActionTime (object ActionTime
when "Entry")))
type "Normal"))
partitions (list Partitions)
objects (list Objects)
statediagrams (list StateDiagrams
(object State_Diagram "状态图"
quid "4087496F00CA"
title "状态图"
zoom 85
max_height 28350
max_width 21600
origin_x 0
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -