📄 图书馆管理系统.mdl
字号:
quid "494E59390157"
supplier "$UNNAMED$66"
quidu "494E593003D8"
sendEvent (object sendEvent
quid "494E5939015A"))))
(object ActivityState "Login"
quid "494E58430242"
transitions (list transition_list
(object State_Transition
quid "494E5920037A"
supplier "Search for books"
quidu "494E578300DA"
sendEvent (object sendEvent
quid "494E5920037D"))))
(object ActivityState "View book information"
quid "494E585D0213"
transitions (list transition_list
(object State_Transition
quid "494E594B001F"
supplier "Leave Computer"
quidu "494E58D6004E"
sendEvent (object sendEvent
quid "494E594B0022"))))
(object ActivityState "Reserve the book"
quid "494E589C0280"
transitions (list transition_list
(object State_Transition
quid "494E596E005D"
supplier "login?"
quidu "494E59640280"
sendEvent (object sendEvent
quid "494E596E0060"))))
(object ActivityState "Exit System"
quid "494E58BF01F4"
transitions (list transition_list
(object State_Transition
quid "494E595803A9"
supplier "Leave Computer"
quidu "494E58D6004E"
sendEvent (object sendEvent
quid "494E595803AC"))))
(object ActivityState "Leave Computer"
quid "494E58D6004E"
transitions (list transition_list
(object State_Transition
quid "494E59530148"
supplier "$UNNAMED$67"
quidu "494E58E603D8"
sendEvent (object sendEvent
quid "494E5953014B"))))
(object State "$UNNAMED$67"
quid "494E58E603D8"
type "EndState")
(object SynchronizationState "$UNNAMED$65"
quid "494E58FC0000"
transitions (list transition_list
(object State_Transition
quid "494E591800CB"
supplier "Search for books"
quidu "494E578300DA"
sendEvent (object sendEvent
quid "494E591800CE"))
(object State_Transition
quid "494E591C00DA"
supplier "Login"
quidu "494E58430242"
sendEvent (object sendEvent
quid "494E591C00DD"))))
(object SynchronizationState "$UNNAMED$66"
quid "494E593003D8"
transitions (list transition_list
(object State_Transition
quid "494E5942009C"
supplier "View book information"
quidu "494E585D0213"
sendEvent (object sendEvent
quid "494E5942009F"))
(object State_Transition
quid "494E59450167"
supplier "Reserve the book"
quidu "494E589C0280"
sendEvent (object sendEvent
quid "494E5945016A"))))
(object Decision "login?"
quid "494E59640280"
transitions (list transition_list
(object State_Transition
quid "494E59770148"
supplier "Exit System"
quidu "494E58BF01F4"
sendEvent (object sendEvent
quid "494E5977014B"))
(object State_Transition
quid "494E59840280"
label ""
supplier "Login"
quidu "494E58430242"
Event (object Event "no"
quid "494E59840281")
sendEvent (object sendEvent
quid "494E59840283"))))
(object ActivityState "Login the system"
quid "494E5BE7003E"
transitions (list transition_list
(object State_Transition
quid "494E5C3E01A5"
supplier "$UNNAMED$68"
quidu "494E5C3A00FA"
sendEvent (object sendEvent
quid "494E5C3E01A8"))))
(object ActivityState "Get book"
quid "494E5BF400CB"
transitions (list transition_list
(object State_Transition
quid "494E5C6300FA"
supplier "Out of date?"
quidu "494E5C5B036B"
sendEvent (object sendEvent
quid "494E5C6300FD"))))
(object ActivityState "Lend book"
quid "494E5BFC01F4"
transitions (list transition_list
(object State_Transition
quid "494E5C9E00AB"
supplier "Is number limit?"
quidu "494E5C9902DE"
sendEvent (object sendEvent
quid "494E5C9E00AE"))))
(object ActivityState "Accept money"
quid "494E5C0901D4"
transitions (list transition_list
(object State_Transition
quid "494E5C760186"
supplier "Update borrower's information"
quidu "494E5C1E03D8"
sendEvent (object sendEvent
quid "494E5C760189"))))
(object ActivityState "Update borrower's information"
quid "494E5C1E03D8"
transitions (list transition_list
(object State_Transition
quid "494E5C910196"
supplier "$UNNAMED$67"
quidu "494E58E603D8"
sendEvent (object sendEvent
quid "494E5C910199"))))
(object SynchronizationState "$UNNAMED$68"
quid "494E5C3A00FA"
transitions (list transition_list
(object State_Transition
quid "494E5C510242"
supplier "Get book"
quidu "494E5BF400CB"
sendEvent (object sendEvent
quid "494E5C510245"))
(object State_Transition
quid "494E5C54031C"
supplier "Lend book"
quidu "494E5BFC01F4"
sendEvent (object sendEvent
quid "494E5C54031F"))))
(object Decision "Out of date?"
quid "494E5C5B036B"
transitions (list transition_list
(object State_Transition
quid "494E5C6801F4"
label ""
supplier "Accept money"
quidu "494E5C0901D4"
Event (object Event "Yes"
quid "494E5C6801F5")
sendEvent (object sendEvent
quid "494E5C6801F7"))
(object State_Transition
quid "494E5C6D01E4"
supplier "Update borrower's information"
quidu "494E5C1E03D8"
sendEvent (object sendEvent
quid "494E5C6D01E7"))))
(object Decision "Is number limit?"
quid "494E5C9902DE"
transitions (list transition_list
(object State_Transition
quid "494E5CA600CB"
label ""
supplier "$UNNAMED$67"
quidu "494E58E603D8"
Event (object Event "yes"
quid "494E5CA600CC")
sendEvent (object sendEvent
quid "494E5CA600CE"))
(object State_Transition
quid "494E5CAC01D4"
label ""
supplier "Update borrower's information"
quidu "494E5C1E03D8"
Event (object Event "no"
quid "494E5CAC01D5")
sendEvent (object sendEvent
quid "494E5CAC01D7")))))
partitions (list Partitions)
objects (list Objects)
statediagrams (list StateDiagrams
(object State_Diagram "StateOfBook"
quid "494E5011035B"
title "StateOfBook"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 0
items (list diagram_item_list
(object StateView "StartState" "$UNNAMED$61" @9
location (308, 237)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @9
location (350, 207)
nlines 2
max_width 600
label "")
icon_style "Icon"
line_color 3342489
quidu "494E503C00FA"
autoResize TRUE)
(object StateView "Normal" "New book" @10
location (309, 456)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @10
location (309, 451)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 204
justify 0
label "New book")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "494E503F0280"
autoResize TRUE)
(object StateView "Normal" "Available" @11
location (309, 792)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @11
location (309, 787)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 204
justify 0
label "Available")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "494E504B029F"
autoResize TRUE)
(object StateView "Normal" "Delete" @12
location (309, 1173)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @12
location (309, 1168)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 204
justify 0
label "Delete")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "494E505400BB"
autoResize TRUE)
(object StateView "Normal" "Reserved" @13
location (894, 792)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @13
location (894, 787)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 204
justify 0
label "Reserved")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "494E50600271"
autoResize TRUE)
(object StateView "Normal" "Borrowed" @14
location (1443, 792)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @14
location (1443, 787)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 204
justify 0
label "Borrowed")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "494E5073033C"
autoResize TRUE)
(object TransView "" @15
stereotype TRUE
line_color 3342489
quidu "494E508200FA"
client @9
supplier @10
line_style 0
x_offset FALSE)
(object TransView "" @16
stereotype TRUE
line_color 3342489
quidu "494E509801C5"
client @10
supplier @11
line_style 0
x_offset FALSE)
(object StateView "EndState" "$UNNAMED$62" @17
location (309, 1452)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object ItemLabel
Parent_View @17
location (363, 1410)
nlines 2
max_width 600
label "")
icon_style "Icon"
line_color 3342489
quidu "494E50DB0399"
autoResize TRUE)
(object TransView "" @18
stereotype TRUE
line_color 3342489
quidu "494E50DF005D"
client @12
supplier @17
line_style 0
x_offset FALSE)
(object TransView "" @19
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @20
Parent_View @19
location (1168, 748)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
anchor_loc 1
nlines 1
max_width 450
justify 0
label "Borrow"
pctDist 0.500000
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -