📄 greed.mdl
字号:
quid "45934D1F02BF"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "显示游戏者的信息"
quid "459507F20242"
concurrency "Sequential"
opExportControl "Public"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "游戏者ID"
quid "45934A060186"
type "int")))
(object Class "游戏控制"
quid "4593481A0213"
operations (list Operations
(object Operation "获得游戏者的ID"
attributes (list Attribute_Set
(object Attribute
tool "Data Modeler"
name "KeyList"
value ""))
quid "4593491001C5"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "检查是否入局"
attributes (list Attribute_Set
(object Attribute
tool "Data Modeler"
name "KeyList"
value ""))
quid "45934915034B"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "检查是否轮到"
attributes (list Attribute_Set
(object Attribute
tool "Data Modeler"
name "KeyList"
value ""))
quid "4593491B0271"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "总得分检查"
attributes (list Attribute_Set
(object Attribute
tool "Data Modeler"
name "KeyList"
value ""))
quid "45934920031C"
concurrency "Sequential"
opExportControl "Public"
uid 0)
(object Operation "总得分计算"
attributes (list Attribute_Set
(object Attribute
tool "Data Modeler"
name "KeyList"
value ""))
quid "45934935008C"
concurrency "Sequential"
opExportControl "Public"
uid 0))
class_attributes (list class_attribute_list
(object ClassAttribute "当前总得分"
quid "45935A42037A"
type "int")
(object ClassAttribute "是否入局"
quid "45935A640109"
type "bool")
(object ClassAttribute "是否轮到"
quid "45935A860213"
type "bool")))
(object Association "$UNNAMED$6"
quid "45934827003E"
roles (list role_list
(object Role "$UNNAMED$7"
quid "459348280271"
supplier "Logical View::显示窗口"
quidu "45934802002E"
is_navigable TRUE)
(object Role "$UNNAMED$8"
quid "459348280273"
supplier "Use Case View::游戏者"
quidu "459262BD0128")))
(object Association "$UNNAMED$9"
quid "4593482C0138"
roles (list role_list
(object Role "$UNNAMED$10"
quid "4593482C02FD"
supplier "Logical View::游戏控制"
quidu "4593481A0213"
is_navigable TRUE)
(object Role "$UNNAMED$11"
quid "4593482C02FF"
supplier "Logical View::显示窗口"
quidu "45934802002E")))
(object Association "$UNNAMED$12"
quid "459348380196"
roles (list role_list
(object Role "$UNNAMED$13"
quid "459348390128"
supplier "Use Case View::游戏者"
quidu "459262BD0128"
is_navigable TRUE)
(object Role "$UNNAMED$14"
quid "45934839012A"
supplier "Logical View::游戏控制"
quidu "4593481A0213")))
(object Association "$UNNAMED$15"
quid "459348420000"
roles (list role_list
(object Role "$UNNAMED$16"
quid "45934842033C"
supplier "Use Case View::游戏者"
quidu "459262BD0128"
is_navigable TRUE)
(object Role "$UNNAMED$17"
quid "45934842034B"
supplier "Logical View::显示窗口"
quidu "45934802002E")))
(object Association "$UNNAMED$18"
quid "4593485401A5"
roles (list role_list
(object Role "$UNNAMED$19"
quid "45934854038A"
supplier "Logical View::骰子组"
quidu "45926445000F"
is_navigable TRUE)
(object Role "$UNNAMED$20"
quid "459348540399"
supplier "Logical View::游戏控制"
quidu "4593481A0213")))
(object Association "$UNNAMED$21"
quid "45934856031C"
roles (list role_list
(object Role "$UNNAMED$22"
quid "4593485701B5"
supplier "Logical View::游戏控制"
quidu "4593481A0213"
is_navigable TRUE)
(object Role "$UNNAMED$23"
quid "4593485701B7"
supplier "Logical View::骰子组"
quidu "45926445000F")))
(object Association "$UNNAMED$24"
quid "45934D2F002E"
roles (list role_list
(object Role "$UNNAMED$25"
quid "45934D2F0271"
supplier "Logical View::显示窗口"
quidu "45934802002E"
is_navigable TRUE)
(object Role "$UNNAMED$26"
quid "45934D2F0280"
supplier "Use Case View::游戏者"
quidu "459262BD0128")))
(object Association "$UNNAMED$27"
quid "4593510803C8"
roles (list role_list
(object Role "$UNNAMED$28"
quid "4593510A007D"
supplier "Use Case View::游戏者"
quidu "459262BD0128"
is_navigable TRUE)
(object Role "$UNNAMED$29"
quid "4593510A008C"
supplier "Logical View::显示窗口"
quidu "45934802002E")))
(object Association "$UNNAMED$30"
quid "45936ED901E4"
roles (list role_list
(object Role "$UNNAMED$31"
quid "45936EDB000F"
supplier "Logical View::游戏控制"
quidu "4593481A0213"
is_navigable TRUE)
(object Role "$UNNAMED$32"
quid "45936EDB001F"
supplier "Use Case View::游戏者"
quidu "459262BD0128")))
(object Association "$UNNAMED$33"
quid "45950C5102EE"
roles (list role_list
(object Role "$UNNAMED$34"
quid "45950C530167"
supplier "Logical View::骰子组"
quidu "45926445000F"
is_navigable TRUE)
(object Role "$UNNAMED$35"
quid "45950C530177"
supplier "Use Case View::游戏者"
quidu "459262BD0128")))
(object Mechanism @9
logical_models (list unit_reference_list
(object Object "$UNNAMED$36"
quid "45935C2002BF"
collaborators (list link_list
(object Link
quid "45936705038A"
supplier "$UNNAMED$36"
quidu "45935C2002BF"
messages (list Messages
(object Message "获取游戏者信息"
quid "45936705038B"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "1"
ordinal 0
quidu "000000000000"
creation FALSE))))
class "Logical View::显示窗口"
quidu "45934802002E"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "$UNNAMED$37"
quid "45935C3A0157"
collaborators (list link_list
(object Link
quid "45935CC802DE"
supplier "$UNNAMED$38"
quidu "45935C45034B"
messages (list Messages
(object Message "进入游戏（激活）"
quid "45935D67000F"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "3"
ordinal 2
quidu "000000000000"
creation FALSE)
(object Message "返回游戏者得分情况"
quid "45935E06038A"
frequency "Aperiodic"
synchronization "Simple"
dir "ToClientFromSupplier"
sequence "3.1"
ordinal 7
quidu "000000000000"
creation FALSE)
(object Message "发送决策信息"
quid "45935E630232"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "6"
ordinal 8
quidu "000000000000"
creation FALSE)
(object Message "返回游戏者胜利情况"
quid "45935F5600BB"
frequency "Aperiodic"
synchronization "Simple"
dir "ToClientFromSupplier"
sequence "7"
ordinal 9
quidu "000000000000"
creation FALSE)))
(object Link
quid "4593604A00DA"
supplier "$UNNAMED$36"
quidu "45935C2002BF"
messages (list Messages
(object Message "返回最终信息"
quid "459395E300EA"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "8"
ordinal 10
quidu "000000000000"
creation FALSE)))
(object Link
quid "459367440000"
supplier "$UNNAMED$37"
quidu "45935C3A0157"
messages (list Messages
(object Message "等待"
quid "459367440001"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "2"
ordinal 1
quidu "000000000000"
creation FALSE))))
class "Use Case View::游戏者"
quidu "459262BD0128"
persistence "Transient"
creationObj TRUE
multi FALSE)
(object Object "$UNNAMED$38"
quid "45935C45034B"
collaborators (list link_list
(object Link
quid "45935CE30196"
supplier "$UNNAMED$38"
quidu "45935C45034B"
messages (list Messages
(object Message "计算当前总得分"
quid "4593653D000F"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "5.1"
ordinal 6
quidu "000000000000"
creation FALSE)))
(object Link
quid "45935D3F02CE"
supplier "$UNNAMED$39"
quidu "45935C4B00EA"
messages (list Messages
(object Message "发送执骰子信息或决策信息"
quid "45935D3F02CF"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "4"
ordinal 3
quidu "000000000000"
creation FALSE)
(object Message "结束本轮执骰子后返回当前得分"
quid "45935DF90119"
frequency "Aperiodic"
synchronization "Simple"
dir "ToClientFromSupplier"
sequence "5"
ordinal 5
quidu "000000000000"
creation FALSE)))
(object Link
quid "45935FE800DA"
supplier "$UNNAMED$36"
quidu "45935C2002BF"))
class "Logical View::游戏控制"
quidu "4593481A0213"
persistence "Transient"
creationObj FALSE
multi FALSE)
(object Object "$UNNAMED$39"
quid "45935C4B00EA"
collaborators (list link_list
(object Link
quid "4593650E0167"
supplier "$UNNAMED$39"
quidu "45935C4B00EA"
messages (list Messages
(object Message "执骰子并计算得分情况和可用骰子数"
quid "4593650E0168"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "4.1"
ordinal 4
quidu "000000000000"
creation FALSE))))
class "Logical View::骰子组"
quidu "45926445000F"
persistence "Transient"
creationObj FALSE
multi FALSE)))
(object Mechanism @10
logical_models (list unit_reference_list
(object Object "$UNNAMED$40"
quid "45939599038A"
collaborators (list link_list
(object Link
quid "4593964C03C8"
supplier "$UNNAMED$41"
quidu "4593959B01A5"
messages (list Messages
(object Message "发送执骰子信息和决策信息"
quid "4593965002FD"
frequency "Aperiodic"
synchronization "Simple"
dir "FromClientToSupplier"
sequence "4"
ordinal 3
quidu "000000000000"
creation FALSE)
(object Message "结束本轮执骰子后返回当前得分"
quid "4593967A0290"
frequency "Aperiodic"
synchronization "Simple"
dir "ToClientFromSupplier"
sequence "6"
ordinal 5
quidu "000000000000"
creation FALSE)))
(object Link
quid "4593969C029F"
supplier "$UNNAMED$40"
quidu "45939599038A"
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -