📄 图书馆管理系统.mdl
字号:
(object Link
quid "494E6D3503A9"
supplier ":Maintenance Window"
quidu "494E6C8B032C"
messages (list Messages
(object Message "add item()"
quid "494E6CCC003F"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1"
ordinal 0
quidu "000000000000"
creation FALSE))))
class "Use Case View::Administrator"
quidu "494A3EEB035B"
persistence "Transient"
creationObj TRUE
multi FALSE)
(object Object ":Maintenance Window"
quid "494E6C8B032C"
collaborators (list link_list
(object Link
quid "494E6D570186"
supplier ":Title"
quidu "494E6CA20167"
messages (list Messages
(object Message "find(String)"
quid "494E6D570187"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1"
ordinal 1
quidu "000000000000"
creation FALSE)
(object Message "return true"
quid "494E6D7B0167"
frequency "Aperiodic"
synchronization "Return"
dir "ToClientFromSupplier"
sequence "1.1.1"
ordinal 2
quidu "000000000000"
creation FALSE)))
(object Link
quid "494E6DC002FD"
supplier ":Item"
quidu "494E6CAE033C"
messages (list Messages
(object Message "create(Integer,Title0)"
quid "494E6DC002FE"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "2"
ordinal 3
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object ":Title"
quid "494E6CA20167"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object ":Item"
quid "494E6CAE033C"
persistence "Transient"
creationObj TRUE
multi FALSE)))
(object Mechanism @7
logical_models (list unit_reference_list
(object Object "$UNNAMED$57"
quid "494EECFC004E"
collaborators (list link_list
(object Link
quid "494EED55003E"
supplier "$UNNAMED$58"
quidu "494EED21004E")
(object Link
quid "494EED82006D"
supplier "$UNNAMED$58"
quidu "494EED21004E")
(object Link
quid "494EED8502BF"
supplier ":Maintenance Window"
quidu "494EED21004E"
messages (list Messages
(object Message "create borrower()"
quid "494EED55003F"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1"
ordinal 0
quidu "000000000000"
creation FALSE))))
class "Use Case View::Administrator"
quidu "494A3EEB035B"
persistence "Transient"
creationObj TRUE
multi FALSE)
(object Object ":Maintenance Window"
quid "494EED21004E"
collaborators (list link_list
(object Link
quid "494EEDD701D4"
supplier ":Borrower"
quidu "494EED34001F"
messages (list Messages
(object Message "create(Sting,String)"
quid "494EEDD701D5"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1"
ordinal 1
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object ":Borrower"
quid "494EED34001F"
persistence "Transient"
creationObj FALSE
multi FALSE)))
(object Mechanism @8
logical_models (list unit_reference_list
(object Object "$UNNAMED$59"
quid "494EEF0602CE"
collaborators (list link_list
(object Link
quid "494EEFB80242"
supplier "$UNNAMED$60"
quidu "494EEF9601B5")
(object Link
quid "494EEFC40399"
supplier ":Maintenance Window"
quidu "494EEF9601B5"
messages (list Messages
(object Message "remove item()"
quid "494EEFB80243"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1"
ordinal 0
quidu "000000000000"
creation FALSE))))
class "Use Case View::Administrator"
quidu "494A3EEB035B"
persistence "Transient"
creationObj TRUE
multi FALSE)
(object Object ":Title"
quid "494EEF43000F"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object ":Item"
quid "494EEF4E031C"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object ":Maintenance Window"
quid "494EEF9601B5"
collaborators (list link_list
(object Link
quid "494EEFEA0128"
supplier ":Title"
quidu "494EEF43000F"
messages (list Messages
(object Message "find(String0)"
quid "494EEFEA0129"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1"
ordinal 1
quidu "000000000000"
creation FALSE)
(object Message "destroy(0)"
quid "494EF0660290"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.4"
ordinal 4
quidu "000000000000"
creation FALSE)))
(object Link
quid "494EF0040242"
supplier ":Item"
quidu "494EEF4E031C"
messages (list Messages
(object Message "find on title(Title)"
quid "494EF0040243"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.2"
ordinal 2
quidu "000000000000"
creation FALSE)
(object Message "destroy()"
quid "494EF057034B"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.3"
ordinal 3
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE))))
statemachine (object State_Machine "State/Activity Model"
quid "494E501102BF"
states (list States
(object State "$UNNAMED$61"
quid "494E503C00FA"
transitions (list transition_list
(object State_Transition
quid "494E508200FA"
supplier "New book"
quidu "494E503F0280"
sendEvent (object sendEvent
quid "494E508200FD"))
(object State_Transition
quid "494E552B036B"
supplier "New Borrower"
quidu "494E54900119"
sendEvent (object sendEvent
quid "494E552B037C"))
(object State_Transition
quid "494E58F103D8"
supplier "Self-help Service"
quidu "494E576802EE"
sendEvent (object sendEvent
quid "494E58F103DB"))
(object State_Transition
quid "494E5C3301D4"
supplier "Login the system"
quidu "494E5BE7003E"
sendEvent (object sendEvent
quid "494E5C3301D7")))
type "StartState")
(object State "New book"
quid "494E503F0280"
transitions (list transition_list
(object State_Transition
quid "494E509801C5"
supplier "Available"
quidu "494E504B029F"
sendEvent (object sendEvent
quid "494E509801C8")))
type "Normal")
(object State "Available"
quid "494E504B029F"
transitions (list transition_list
(object State_Transition
quid "494E509C008C"
supplier "Delete"
quidu "494E505400BB"
sendEvent (object sendEvent
quid "494E509C008F"))
(object State_Transition
quid "494E50C6000F"
label ""
supplier "Reserved"
quidu "494E50600271"
Event (object Event "Reserve"
quid "494E50C60010")
sendEvent (object sendEvent
quid "494E50C60012"))
(object State_Transition
quid "494E50FA00AB"
supplier "Available"
quidu "494E504B029F"
sendEvent (object sendEvent
quid "494E50FA00AE"))
(object State_Transition
quid "494E5108035B"
label ""
supplier "Borrowed"
quidu "494E5073033C"
Event (object Event "Borrow"
quid "494E5108035C")
sendEvent (object sendEvent
quid "494E5108035E"))
(object State_Transition
quid "494E51C00251"
label ""
supplier "Borrowed"
quidu "494E5073033C"
Event (object Event "Return back"
quid "494E51C00252")
sendEvent (object sendEvent
quid "494E51C00254")))
type "Normal")
(object State "Delete"
quid "494E505400BB"
transitions (list transition_list
(object State_Transition
quid "494E50DF005D"
supplier "$UNNAMED$62"
quidu "494E50DB0399"
sendEvent (object sendEvent
quid "494E50DF0060")))
type "Normal")
(object State "Reserved"
quid "494E50600271"
transitions (list transition_list
(object State_Transition
quid "494E50CE030D"
label ""
supplier "Borrowed"
quidu "494E5073033C"
Event (object Event "Borrow"
quid "494E50CE030E")
sendEvent (object sendEvent
quid "494E50CE0310"))
(object State_Transition
quid "494E51880203"
label ""
supplier "Available"
quidu "494E504B029F"
Event (object Event "Time out"
quid "494E51880204")
sendEvent (object sendEvent
quid "494E51880206"))
(object State_Transition
quid "494E519C0000"
label ""
supplier "Available"
quidu "494E504B029F"
Event (object Event "Cancel"
quid "494E519C0001")
sendEvent (object sendEvent
quid "494E519C0003")))
type "Normal")
(object State "Borrowed"
quid "494E5073033C"
type "Normal")
(object State "$UNNAMED$62"
quid "494E50DB0399"
type "EndState")
(object State "New Borrower"
quid "494E54900119"
transitions (list transition_list
(object State_Transition
quid "494E54FB0242"
supplier "Account Available"
quidu "494E549D0213"
sendEvent (object sendEvent
quid "494E54FB0245")))
type "Normal")
(object State "Account Available"
quid "494E549D0213"
transitions (list transition_list
(object State_Transition
quid "494E55020167"
label ""
supplier "Account Unavailable"
quidu "494E54B200EA"
Event (object Event "the number of bool extends the limit"
quid "494E55020168")
sendEvent (object sendEvent
quid "494E5502016A"))
(object State_Transition
quid "494E553302BF"
label ""
supplier "Account Available"
quidu "494E549D0213"
Event (object Event "the number of book is ok"
quid "494E553302C0")
sendEvent (object sendEvent
quid "494E553302C2")))
type "Normal")
(object State "Account Unavailable"
quid "494E54B200EA"
transitions (list transition_list
(object State_Transition
quid "494E550C004E"
supplier "Delete Account"
quidu "494E54C102CE"
sendEvent (object sendEvent
quid "494E550C0051"))
(object State_Transition
quid "494E553F00CB"
label ""
supplier "Account Available"
quidu "494E549D0213"
Event (object Event "return some books"
quid "494E553F00CC")
sendEvent (object sendEvent
quid "494E553F00CE")))
type "Normal")
(object State "Delete Account"
quid "494E54C102CE"
transitions (list transition_list
(object State_Transition
quid "494E5523035B"
supplier "$UNNAMED$63"
quidu "494E54D001C5"
sendEvent (object sendEvent
quid "494E5523035E")))
type "Normal")
(object State "$UNNAMED$63"
quid "494E54D001C5"
type "EndState")
(object State "$UNNAMED$64"
quid "494E54E502EE"
type "EndState")
(object State "Self-help Service"
quid "494E576802EE"
transitions (list transition_list
(object State_Transition
quid "494E5905032C"
supplier "$UNNAMED$65"
quidu "494E58FC0000"
sendEvent (object sendEvent
quid "494E5905032F")))
type "Normal")
(object ActivityState "Search for books"
quid "494E578300DA"
transitions (list transition_list
(object State_Transition
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -