📄 银行aym机.mdl
字号:
is_navigable TRUE
is_aggregate TRUE)))
(object Association "$UNNAMED$42"
quid "48156D190242"
roles (list role_list
(object Role "$UNNAMED$43"
quid "48156D1C00AB"
supplier "Logical View::银行储户"
quidu "48118BCD034B"
client_cardinality (value cardinality "1")
is_navigable TRUE)
(object Role "$UNNAMED$44"
quid "48156D1C00AD"
supplier "Logical View:: 账户"
quidu "48118385000F"
client_cardinality (value cardinality "1")
is_navigable TRUE)))
(object Association "$UNNAMED$45"
quid "48156D3D0251"
roles (list role_list
(object Role "$UNNAMED$46"
quid "48156D41002E"
supplier "Logical View:: ATM机"
quidu "48118D01032C"
is_navigable TRUE)
(object Role "$UNNAMED$47"
quid "48156D410030"
supplier "Logical View::银行储户"
quidu "48118BCD034B"
is_navigable TRUE)))
(object Mechanism @1
logical_models (list unit_reference_list
(object Object "银行储户"
quid "48156EAB0290"
collaborators (list link_list
(object Link
quid "48157028006D"
supplier "读卡机"
quidu "48156EC40157"
messages (list Messages
(object Message "插入ATM卡"
quid "48157028006E"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1"
ordinal 0
quidu "000000000000"
creation FALSE)))
(object Link
quid "481571C5007D"
supplier "输入设备"
quidu "48156EDC00BB"
messages (list Messages
(object Message "输入密码"
quid "481571C5007E"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1"
ordinal 4
quidu "000000000000"
creation FALSE)
(object Message "输入取款请求"
quid "4815731D0157"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1"
ordinal 10
quidu "000000000000"
creation FALSE)
(object Message "输入取款数额"
quid "481573CD00AB"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 14
quidu "000000000000"
creation FALSE)
(object Message "输入确认"
quid "4815757302BF"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 18
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "读卡机"
quid "48156EC40157"
collaborators (list link_list
(object Link
quid "481570EE0213"
supplier "客户管理"
quidu "48156EEC0213"
messages (list Messages
(object Message "接受ATM卡"
quid "481570EE0214"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1"
ordinal 1
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "显示"
quid "48156ED003D8"
collaborators (list link_list
(object Link
quid "4815716A01C5"
supplier "银行储户"
quidu "48156EAB0290"
messages (list Messages
(object Message "显示输入密码请求"
quid "4815716A01C6"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1"
ordinal 3
quidu "000000000000"
creation FALSE)
(object Message "显示输入服务类别请求"
quid "481572D50157"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1"
ordinal 9
quidu "000000000000"
creation FALSE)
(object Message "显示输入数额请求"
quid "4815739600FA"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 13
quidu "000000000000"
creation FALSE)
(object Message "显示确认数额请求"
quid "4815752C03A9"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 17
quidu "000000000000"
creation FALSE)
(object Message "显示储户余额并显示其它服务"
quid "48157BE10157"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "3.1"
ordinal 27
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "输入设备"
quid "48156EDC00BB"
collaborators (list link_list
(object Link
quid "4815720001A5"
supplier "客户管理"
quidu "48156EEC0213"
messages (list Messages
(object Message "密码传递"
quid "4815720001A6"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1"
ordinal 5
quidu "000000000000"
creation FALSE)
(object Message "取消请求"
quid "4815734A0138"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 11
quidu "000000000000"
creation FALSE)
(object Message "传递取款数额"
quid "481573F201C5"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 15
quidu "000000000000"
creation FALSE)
(object Message "传递确认信息"
quid "481575910148"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 19
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "客户管理"
quid "48156EEC0213"
collaborators (list link_list
(object Link
quid "4815714802FD"
supplier "显示"
quidu "48156ED003D8"
messages (list Messages
(object Message "查询密码"
quid "4815714802FE"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1"
ordinal 2
quidu "000000000000"
creation FALSE)
(object Message "询问服务类别"
quid "481572A300FA"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1"
ordinal 8
quidu "000000000000"
creation FALSE)
(object Message "询问取款数额"
quid "481573760138"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 12
quidu "000000000000"
creation FALSE)
(object Message "询问取款数额确认"
quid "48157444035B"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 16
quidu "000000000000"
creation FALSE)
(object Message "传递余额并询问是否需要其它服务"
quid "48157B950280"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "3"
ordinal 26
quidu "000000000000"
creation FALSE)))
(object Link
quid "4815722D0242"
supplier "事务管理"
quidu "48156F1500CB"
messages (list Messages
(object Message "请求确认密码的合法性"
quid "4815722D0243"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1"
ordinal 6
quidu "000000000000"
creation FALSE)
(object Message "确认密码的合法性"
quid "4815725B01A5"
frequency "Aperiodic"
synchronization "Simple"
dir "ToClientFromSupplier"
sequence "1.1.1.1.1.1.1.1"
ordinal 7
quidu "000000000000"
creation FALSE)
(object Message "数额合法性确认请求"
quid "481575BC0213"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 20
quidu "000000000000"
creation FALSE)
(object Message "确认数额的合法性"
quid "481575DA0128"
frequency "Aperiodic"
synchronization "Simple"
dir "ToClientFromSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 21
quidu "000000000000"
creation FALSE)))
(object Link
quid "48157783005D"
supplier "客户管理"
quidu "48156EEC0213"
messages (list Messages
(object Message "计算储户余额"
quid "48157783005E"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1.1"
ordinal 22
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "点钞机"
quid "48156F050232"
collaborators (list link_list
(object Link
quid "4815786A008C"
supplier "银行储户"
quidu "48156EAB0290"
messages (list Messages
(object Message "出钞"
quid "4815786A008D"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "2.1"
ordinal 24
quidu "000000000000"
creation FALSE)
(object Message "取钞"
quid "481578990242"
frequency "Aperiodic"
synchronization "Simple"
dir "ToClientFromSupplier"
sequence "2.1.1"
ordinal 25
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "事务管理"
quid "48156F1500CB"
collaborators (list link_list
(object Link
quid "481577DD02DE"
supplier "点钞机"
quidu "48156F050232"
messages (list Messages
(object Message "出钞请求"
quid "481577DD02DF"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "2"
ordinal 23
quidu "000000000000"
creation FALSE))))
persistence "Transient"
creationObj FALSE
multi FALSE))))
statemachine (object State_Machine "State/Activity Model2"
quid "481585F3002E"
states (list States
(object State "$UNNAMED$48"
quid "48158636005D"
type "StartState")
(object State " 输入密码"
quid "481586490109"
type "Normal")
(object State "选择服务类型"
quid "481586A1006D"
type "Normal")
(object State " 存款"
quid "481586D8035B"
type "Normal")
(object State " 取款"
quid "481588590290"
type "Normal")
(object State "$UNNAMED$49"
quid "481588DD035B"
type "EndState"))
partitions (list Partitions)
objects (list Objects)
transitions (list transition_list
(object State_Transition
quid "4815866503B9"
label ""
supplier "Logical View::State/Activity Model2:: 输入密码"
supplier_quidu "481586490109"
client "Logical View::State/Activity Model2::"
client_quidu "48158636005D"
Event (object Event "插入磁卡"
quid "4815866503BA")
sendEvent (object sendEvent
quid "4815866503BC"))
(object State_Transition
quid "4815868502BF"
label ""
supplier "Logical View::State/Activity Model2:: 输入密码"
supplier_quidu "481586490109"
client "Logical View::State/Activity Model2:: 输入密码"
client_quidu "481586490109"
Event (object Event "密码输入不正确"
quid "4815868502C0")
sendEvent (object sendEvent
quid "4815868502C2"))
(object State_Transition
quid "48158700029F"
label ""
supplier "Logical View::State/Activity Model2::选择服务类型"
supplier_quidu "481586A1006D"
client "Logical View::State/Activity Model2:: 输入密码"
client_quidu "481586490109"
Event (object Event "密码输入正确"
quid "4815870002A0")
sendEvent (object sendEvent
quid "4815870002A2"))
(object State_Transition
quid "4815873E002E"
label ""
supplier "Logical View::State/Activity Model2:: 存款"
supplier_quidu "481586D8035B"
client "Logical View::State/Activity Model2:: 存款"
client_quidu "481586D8035B"
Event (object Event "选择存款"
quid "4815873E002F")
sendEvent (object sendEvent
quid "4815873E0031"))
(object State_Transition
quid "4815875A0128"
label ""
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -