📄 senquence.mdl
字号:
quid "49421E4F029F"
transitions (list transition_list
(object State_Transition
quid "4942226203C8"
supplier "操作后台数据库"
quidu "4942223A02BF"
sendEvent (object sendEvent
quid "4942226203CB")))
statemachine (object State_Machine "State/Activity Model2"
quid "494222010157"
states (list States
(object State "$UNNAMED$25"
quid "494222010158"
type "StartState"))
partitions (list Partitions)
objects (list Objects)
statediagrams (list StateDiagrams)))
(object ActivityState "还书"
quid "49421E59038A"
transitions (list transition_list
(object State_Transition
quid "494222600148"
supplier "操作后台数据库"
quidu "4942223A02BF"
sendEvent (object sendEvent
quid "49422260014B"))))
(object ActivityState "续借"
quid "49421E820157"
transitions (list transition_list
(object State_Transition
quid "4942225E002E"
supplier "操作后台数据库"
quidu "4942223A02BF"
sendEvent (object sendEvent
quid "4942225E0031"))))
(object Decision "图书证无效或已过期"
quid "49421EF20167"
transitions (list transition_list
(object State_Transition
quid "49421F1703D8"
label ""
supplier "取消借阅"
quidu "49421F1500DA"
condition "Yes"
sendEvent (object sendEvent
quid "49421F1703DB"))
(object State_Transition
quid "494220960251"
label ""
supplier "$UNNAMED$26"
quidu "494220900196"
condition "No"
sendEvent (object sendEvent
quid "494220960254"))))
(object State "取消借阅"
quid "49421F1500DA"
type "EndState")
(object SynchronizationState "$UNNAMED$26"
quid "494220900196"
transitions (list transition_list
(object State_Transition
quid "494221CD02BF"
supplier "续借"
quidu "49421E820157"
sendEvent (object sendEvent
quid "494221CD02C2"))
(object State_Transition
quid "494221D60196"
supplier "还书"
quidu "49421E59038A"
sendEvent (object sendEvent
quid "494221D60199"))
(object State_Transition
quid "494221DC03C8"
supplier "借书"
quidu "49421E4F029F"
sendEvent (object sendEvent
quid "494221DC03CB"))))
(object ActivityState "操作后台数据库"
quid "4942223A02BF"
transitions (list transition_list
(object State_Transition
quid "494222D8009C"
supplier "所有操作完成"
quidu "4942227D008C"
sendEvent (object sendEvent
quid "494222D8009F"))))
(object Decision "所有操作完成"
quid "4942227D008C"
transitions (list transition_list
(object State_Transition
quid "494222F60167"
label ""
supplier "借阅成功"
quidu "494222E10167"
condition "Yes"
sendEvent (object sendEvent
quid "494222F6016A"))
(object State_Transition
quid "494223D003B9"
label ""
supplier "借阅失败"
quidu "494223C400DA"
condition "No"
sendEvent (object sendEvent
quid "494223D003BC"))))
(object State "借阅成功"
quid "494222E10167"
type "EndState")
(object ActivityState "NewActivity3"
quid "4942233200FA")
(object State "借阅失败"
quid "494223C400DA"
type "EndState"))
partitions (list Partitions
(object Partition "读者"
quid "49421CE10167"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Partition "系统"
quid "49421CE3030D"
class "Use Case View::MainFace"
quidu "49420DE10148"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Partition "后台管理员"
quid "49421CEA003E"
class "Logical View::User"
quidu "4941F88600CB"
persistence "Transient"
creationObj FALSE
multi FALSE))
objects (list Objects)
statediagrams (list StateDiagrams
(object ActivityDiagram "NewDiagram3"
quid "494218C00119"
title "NewDiagram3"
zoom 100
max_height 28350
max_width 21600
origin_x 0
origin_y 0
items (list diagram_item_list
(object Swimlane "读者" @2
line_color 3342489
quidu "49421CE10167"
width 812)
(object StateView "StartState" "读者" @3
Parent_View @2
location (404, 126)
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 @3
location (446, 96)
nlines 2
max_width 600
label "读者")
icon_style "Icon"
line_color 3342489
quidu "494218CC002E"
autoResize TRUE)
(object ActivityStateView "检查图书证" @4
Parent_View @2
location (403, 361)
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 @4
location (403, 355)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 285
justify 0
label "检查图书证")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "49421AE500FA"
width 411
height 136
annotation 1
autoResize TRUE)
(object TransView "" @5
stereotype TRUE
line_color 3342489
quidu "49421B1900EA"
client @3
supplier @4
line_style 0
x_offset FALSE)
(object DecisionView "图书证无效或已过期" @6
Parent_View @2
location (206, 765)
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 @6
location (262, 716)
nlines 2
max_width 300
label "图书证无效或已过期")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "49421EF20167"
autoResize TRUE)
(object TransView "" @7
stereotype TRUE
line_color 3342489
quidu "4942213402FD"
client @4
supplier @6
line_style 0
x_offset FALSE)
(object StateView "EndState" "取消借阅" @8
Parent_View @2
location (208, 1142)
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 @8
location (262, 1100)
nlines 2
max_width 600
label "取消借阅")
icon_style "Icon"
line_color 3342489
quidu "49421F1500DA"
autoResize TRUE)
(object TransView "" @9
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
strike FALSE
color 0
default_color TRUE)
label (object SegLabel @10
Parent_View @9
location (281, 979)
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 "[ Yes ]"
pctDist 0.594798
height 74
orientation 0)
stereotype TRUE
line_color 3342489
quidu "49421F1703D8"
client @6
supplier @8
line_style 0
x_offset FALSE)
(object Swimlane "系统" @11
location (812, 0)
line_color 3342489
quidu "49421CE3030D"
width 822)
(object ActivityStateView "借书" @12
Parent_View @11
location (1343, 831)
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 (1343, 827)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 338
justify 0
label "借书")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "49421E4F029F"
width 462
height 132
annotation 1
autoResize TRUE)
(object ActivityStateView "还书" @13
Parent_View @11
location (1341, 531)
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 (1341, 525)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 285
justify 0
label "还书")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "49421E59038A"
width 411
height 136
annotation 1
autoResize TRUE)
(object ActivityStateView "续借" @14
Parent_View @11
location (1365, 200)
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 (1365, 194)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 285
justify 0
label "续借")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "49421E820157"
width 411
height 136
annotation 1
autoResize TRUE)
(object Swimlane "后台管理员" @15
location (1634, 0)
line_color 3342489
quidu "49421CEA003E"
width 878)
(object ActivityStateView "操作后台数据库" @16
Parent_View @15
location (2069, 520)
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 @16
location (2069, 514)
fill_color 13434879
anchor_loc 1
nlines 2
max_width 285
justify 0
label "操作后台数据库")
icon_style "Icon"
line_color 3342489
fill_color 13434879
quidu "4942223A02BF"
width 411
height 136
annotation 1
autoResize TRUE)
(object TransView "" @17
stereotype TRUE
line_color 3342489
quidu "4942225E002E"
client @14
supplier @16
line_style 0
x_offset FALSE)
(object TransView "" @18
stereotype TRUE
line_color 3342489
quidu "494222600148"
client @13
supplier @16
line_style 0
x_offset FALSE)
(object TransView "" @19
stereotype TRUE
line_color 3342489
quidu "4942226203C8"
client @12
supplier @16
line_style 0
x_offset FALSE)
(object DecisionView "所有操作完成" @20
Parent_View @15
location (2069, 800)
font (object Font
size 12
face "Arial"
bold FALSE
italics FALSE
underline FALSE
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -