Skip to content

S
share
Commit e6113193 authored by 张振华's avatar 张振华
Browse files
Options

add

parent 17097dd9
Hide whitespace changes
Inline Side-by-side
Showing with 3053 additions and 0 deletions
Guess-State.mdj 0 → 100644
View file @ e6113193
{
"_type": "Project",
"_id": "AAAAAAFF+h6SjaM2Hec=",
"name": "Untitled",
"ownedElements": [
{
"_type": "UMLModel",
"_id": "AAAAAAFF+qBWK6M3Z8Y=",
"_parent": {
"$ref": "AAAAAAFF+h6SjaM2Hec="
},
"name": "Model",
"ownedElements": [
{
"_type": "UMLClassDiagram",
"_id": "AAAAAAFF+qBtyKM79qY=",
"_parent": {
"$ref": "AAAAAAFF+qBWK6M3Z8Y="
},
"name": "Main",
"defaultDiagram": true
}
]
},
{
"_type": "UMLStateMachine",
"_id": "AAAAAAFnU9NfZwsI7Og=",
"_parent": {
"$ref": "AAAAAAFF+h6SjaM2Hec="
},
"name": "StateMachine1",
"ownedElements": [
{
"_type": "UMLStatechartDiagram",
"_id": "AAAAAAFnU9NfaAsK0c0=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsI7Og="
},
"name": "StatechartDiagram1",
"ownedViews": [
{
"_type": "UMLPseudostateView",
"_id": "AAAAAAFnU9NxMAsQ43Y=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9NxMAsPUqc="
},
"subViews": [
{
"_type": "NodeLabelView",
"_id": "AAAAAAFnU9NxMAsR6BQ=",
"_parent": {
"$ref": "AAAAAAFnU9NxMAsQ43Y="
},
"model": {
"$ref": "AAAAAAFnU9NxMAsPUqc="
},
"visible": false,
"font": "Arial;13;0",
"left": 332.773193359375,
"top": 148,
"width": 27.45361328125,
"height": 13,
"alpha": 2.356194490192345,
"distance": 20,
"text": "Start"
},
{
"_type": "NodeLabelView",
"_id": "AAAAAAFnU9NxMQsSy48=",
"_parent": {
"$ref": "AAAAAAFnU9NxMAsQ43Y="
},
"model": {
"$ref": "AAAAAAFnU9NxMAsPUqc="
},
"visible": false,
"font": "Arial;13;0",
"left": 336.5,
"top": 138,
"height": 13,
"alpha": 2.356194490192345,
"distance": 35
},
{
"_type": "NodeLabelView",
"_id": "AAAAAAFnU9NxMQsTFfQ=",
"_parent": {
"$ref": "AAAAAAFnU9NxMAsQ43Y="
},
"model": {
"$ref": "AAAAAAFnU9NxMAsPUqc="
},
"visible": false,
"font": "Arial;13;0",
"left": 346.5,
"top": 177,
"height": 13,
"alpha": -2.356194490192345,
"distance": 20
}
],
"font": "Arial;13;0",
"containerChangeable": true,
"left": 352,
"top": 160,
"width": 20,
"height": 20,
"nameLabel": {
"$ref": "AAAAAAFnU9NxMAsR6BQ="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9NxMQsSy48="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9NxMQsTFfQ="
}
},
{
"_type": "UMLStateView",
"_id": "AAAAAAFnU9OVfQsiwEU=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"subViews": [
{
"_type": "UMLNameCompartmentView",
"_id": "AAAAAAFnU9OVfQsjEQ8=",
"_parent": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"model": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"subViews": [
{
"_type": "LabelView",
"_id": "AAAAAAFnU9OVfgsk4BM=",
"_parent": {
"$ref": "AAAAAAFnU9OVfQsjEQ8="
},
"visible": false,
"font": "Arial;13;0",
"left": -288,
"top": 80,
"height": 13
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9OVfgslbhM=",
"_parent": {
"$ref": "AAAAAAFnU9OVfQsjEQ8="
},
"font": "Arial;13;1",
"left": 85,
"top": 447,
"width": 50,
"height": 13,
"text": "Bet"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9OVfgsm9do=",
"_parent": {
"$ref": "AAAAAAFnU9OVfQsjEQ8="
},
"visible": false,
"font": "Arial;13;0",
"left": -288,
"top": 80,
"width": 38.27001953125,
"height": 13,
"text": "(from )"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9OVfgsnrRo=",
"_parent": {
"$ref": "AAAAAAFnU9OVfQsjEQ8="
},
"visible": false,
"font": "Arial;13;0",
"left": -288,
"top": 80,
"height": 13,
"horizontalAlignment": 1
}
],
"font": "Arial;13;0",
"left": 80,
"top": 440,
"width": 60,
"height": 25,
"stereotypeLabel": {
"$ref": "AAAAAAFnU9OVfgsk4BM="
},
"nameLabel": {
"$ref": "AAAAAAFnU9OVfgslbhM="
},
"namespaceLabel": {
"$ref": "AAAAAAFnU9OVfgsm9do="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9OVfgsnrRo="
}
},
{
"_type": "UMLInternalActivityCompartmentView",
"_id": "AAAAAAFnU9OVfgso2MU=",
"_parent": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"model": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"visible": false,
"font": "Arial;13;0",
"left": -144,
"top": 40,
"width": 10,
"height": 10
},
{
"_type": "UMLInternalTransitionCompartmentView",
"_id": "AAAAAAFnU9OVfgsp1tk=",
"_parent": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"model": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"visible": false,
"font": "Arial;13;0",
"left": -144,
"top": 40,
"width": 10,
"height": 10
},
{
"_type": "UMLDecompositionCompartmentView",
"_id": "AAAAAAFnU9OVfgsqPN4=",
"_parent": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"model": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"font": "Arial;13;0",
"left": 80,
"top": 465,
"width": 60
}
],
"font": "Arial;13;0",
"containerChangeable": true,
"left": 80,
"top": 440,
"width": 60,
"height": 40,
"nameCompartment": {
"$ref": "AAAAAAFnU9OVfQsjEQ8="
},
"internalActivityCompartment": {
"$ref": "AAAAAAFnU9OVfgso2MU="
},
"internalTransitionCompartment": {
"$ref": "AAAAAAFnU9OVfgsp1tk="
},
"decompositionCompartment": {
"$ref": "AAAAAAFnU9OVfgsqPN4="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9P6dAtJlMw=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9P6dAtIz9M="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9P6dAtKRjs=",
"_parent": {
"$ref": "AAAAAAFnU9P6dAtJlMw="
},
"model": {
"$ref": "AAAAAAFnU9P6dAtIz9M="
},
"font": "Arial;13;0",
"left": 364,
"top": 202,
"width": 25.28271484375,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9P6dAtJlMw="
},
"edgePosition": 1,
"text": "start"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9P6dAtLVGI=",
"_parent": {
"$ref": "AAAAAAFnU9P6dAtJlMw="
},
"model": {
"$ref": "AAAAAAFnU9P6dAtIz9M="
},
"visible": null,
"font": "Arial;13;0",
"left": 391,
"top": 201,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9P6dAtJlMw="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9P6dAtMt5o=",
"_parent": {
"$ref": "AAAAAAFnU9P6dAtJlMw="
},
"model": {
"$ref": "AAAAAAFnU9P6dAtIz9M="
},
"visible": false,
"font": "Arial;13;0",
"left": 347,
"top": 203,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9P6dAtJlMw="
},
"edgePosition": 1
}
],
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU926bg0H8+M="
},
"tail": {
"$ref": "AAAAAAFnU9NxMAsQ43Y="
},
"lineStyle": 1,
"points": "361:180;364:239",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9P6dAtKRjs="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9P6dAtLVGI="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9P6dAtMt5o="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9RcGwtd7+0=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9RcGwtcizA="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9RcGwteckU=",
"_parent": {
"$ref": "AAAAAAFnU9RcGwtd7+0="
},
"model": {
"$ref": "AAAAAAFnU9RcGwtcizA="
},
"font": "Arial;13;0",
"left": 45,
"top": 417,
"width": 18.07177734375,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9RcGwtd7+0="
},
"edgePosition": 1,
"text": "bet"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9RcGwtfyCM=",
"_parent": {
"$ref": "AAAAAAFnU9RcGwtd7+0="
},
"model": {
"$ref": "AAAAAAFnU9RcGwtcizA="
},
"visible": null,
"font": "Arial;13;0",
"left": 69,
"top": 417,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9RcGwtd7+0="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9RcGwtgGVU=",
"_parent": {
"$ref": "AAAAAAFnU9RcGwtd7+0="
},
"model": {
"$ref": "AAAAAAFnU9RcGwtcizA="
},
"visible": false,
"font": "Arial;13;0",
"left": 25,
"top": 418,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9RcGwtd7+0="
},
"edgePosition": 1
}
],
"lineColor": "#0000ff",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"tail": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"points": "88:440;88:424;40:424;40:459;80:459",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9RcGwteckU="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9RcGwtfyCM="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9RcGwtgGVU="
}
},
{
"_type": "UMLStateView",
"_id": "AAAAAAFnU9SfAgtzlXw=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"subViews": [
{
"_type": "UMLNameCompartmentView",
"_id": "AAAAAAFnU9SfAgt0F3I=",
"_parent": {
"$ref": "AAAAAAFnU9SfAgtzlXw="
},
"model": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"subViews": [
{
"_type": "LabelView",
"_id": "AAAAAAFnU9SfAgt1D9s=",
"_parent": {
"$ref": "AAAAAAFnU9SfAgt0F3I="
},
"visible": false,
"font": "Arial;13;0",
"left": -208,
"top": 160,
"height": 13
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9SfAgt2khQ=",
"_parent": {
"$ref": "AAAAAAFnU9SfAgt0F3I="
},
"font": "Arial;13;1",
"left": 149,
"top": 591,
"width": 50,
"height": 13,
"text": "StopBet"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9SfAgt3d78=",
"_parent": {
"$ref": "AAAAAAFnU9SfAgt0F3I="
},
"visible": false,
"font": "Arial;13;0",
"left": -208,
"top": 160,
"width": 38.27001953125,
"height": 13,
"text": "(from )"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9SfAgt4iUo=",
"_parent": {
"$ref": "AAAAAAFnU9SfAgt0F3I="
},
"visible": false,
"font": "Arial;13;0",
"left": -208,
"top": 160,
"height": 13,
"horizontalAlignment": 1
}
],
"font": "Arial;13;0",
"left": 144,
"top": 584,
"width": 60,
"height": 25,
"stereotypeLabel": {
"$ref": "AAAAAAFnU9SfAgt1D9s="
},
"nameLabel": {
"$ref": "AAAAAAFnU9SfAgt2khQ="
},
"namespaceLabel": {
"$ref": "AAAAAAFnU9SfAgt3d78="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9SfAgt4iUo="
}
},
{
"_type": "UMLInternalActivityCompartmentView",
"_id": "AAAAAAFnU9SfAgt5DzQ=",
"_parent": {
"$ref": "AAAAAAFnU9SfAgtzlXw="
},
"model": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"visible": false,
"font": "Arial;13;0",
"left": -104,
"top": 80,
"width": 10,
"height": 10
},
{
"_type": "UMLInternalTransitionCompartmentView",
"_id": "AAAAAAFnU9SfAgt6snM=",
"_parent": {
"$ref": "AAAAAAFnU9SfAgtzlXw="
},
"model": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"visible": false,
"font": "Arial;13;0",
"left": -104,
"top": 80,
"width": 10,
"height": 10
},
{
"_type": "UMLDecompositionCompartmentView",
"_id": "AAAAAAFnU9SfAgt7tCc=",
"_parent": {
"$ref": "AAAAAAFnU9SfAgtzlXw="
},
"model": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"font": "Arial;13;0",
"left": 144,
"top": 609,
"width": 60
}
],
"font": "Arial;13;0",
"containerChangeable": true,
"left": 144,
"top": 584,
"width": 60,
"height": 40,
"nameCompartment": {
"$ref": "AAAAAAFnU9SfAgt0F3I="
},
"internalActivityCompartment": {
"$ref": "AAAAAAFnU9SfAgt5DzQ="
},
"internalTransitionCompartment": {
"$ref": "AAAAAAFnU9SfAgt6snM="
},
"decompositionCompartment": {
"$ref": "AAAAAAFnU9SfAgt7tCc="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9ToGQuaBII=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9ToGQuZI5A="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9ToGQubYeM=",
"_parent": {
"$ref": "AAAAAAFnU9ToGQuaBII="
},
"model": {
"$ref": "AAAAAAFnU9ToGQuZI5A="
},
"font": "Arial;13;0",
"left": 145,
"top": 518,
"width": 18.07177734375,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9ToGQuaBII="
},
"edgePosition": 1,
"text": "bet"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9ToGQucpew=",
"_parent": {
"$ref": "AAAAAAFnU9ToGQuaBII="
},
"model": {
"$ref": "AAAAAAFnU9ToGQuZI5A="
},
"visible": null,
"font": "Arial;13;0",
"left": 168,
"top": 512,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9ToGQuaBII="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9ToGQud9zg=",
"_parent": {
"$ref": "AAAAAAFnU9ToGQuaBII="
},
"model": {
"$ref": "AAAAAAFnU9ToGQuZI5A="
},
"visible": false,
"font": "Arial;13;0",
"left": 127,
"top": 531,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9ToGQuaBII="
},
"edgePosition": 1
}
],
"lineColor": "#0000ff",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9SfAgtzlXw="
},
"tail": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"lineStyle": 1,
"points": "118:480;164:583",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9ToGQubYeM="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9ToGQucpew="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9ToGQud9zg="
}
},
{
"_type": "UMLStateView",
"_id": "AAAAAAFnU9WC+guuEME=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"subViews": [
{
"_type": "UMLNameCompartmentView",
"_id": "AAAAAAFnU9WC+guveXU=",
"_parent": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"model": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"subViews": [
{
"_type": "LabelView",
"_id": "AAAAAAFnU9WC+guws5Y=",
"_parent": {
"$ref": "AAAAAAFnU9WC+guveXU="
},
"visible": false,
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 1088,
"top": -16,
"height": 13
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9WC+guxvoY=",
"_parent": {
"$ref": "AAAAAAFnU9WC+guveXU="
},
"fillColor": "#ff2b2b",
"font": "Arial;13;1",
"left": 613,
"top": 479,
"width": 52.48876953125,
"height": 13,
"text": "TimeOut"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9WC+guyH6c=",
"_parent": {
"$ref": "AAAAAAFnU9WC+guveXU="
},
"visible": false,
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 1088,
"top": -16,
"width": 38.27001953125,
"height": 13,
"text": "(from )"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9WC+guzf3A=",
"_parent": {
"$ref": "AAAAAAFnU9WC+guveXU="
},
"visible": false,
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 1088,
"top": -16,
"height": 13,
"horizontalAlignment": 1
}
],
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 608,
"top": 472,
"width": 62.48876953125,
"height": 25,
"stereotypeLabel": {
"$ref": "AAAAAAFnU9WC+guws5Y="
},
"nameLabel": {
"$ref": "AAAAAAFnU9WC+guxvoY="
},
"namespaceLabel": {
"$ref": "AAAAAAFnU9WC+guyH6c="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9WC+guzf3A="
}
},
{
"_type": "UMLInternalActivityCompartmentView",
"_id": "AAAAAAFnU9WC+gu0fUc=",
"_parent": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"model": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"visible": false,
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 544,
"top": -8,
"width": 10,
"height": 10
},
{
"_type": "UMLInternalTransitionCompartmentView",
"_id": "AAAAAAFnU9WC+gu1zh8=",
"_parent": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"model": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"visible": false,
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 544,
"top": -8,
"width": 10,
"height": 10
},
{
"_type": "UMLDecompositionCompartmentView",
"_id": "AAAAAAFnU9WC+gu26s4=",
"_parent": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"model": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 608,
"top": 497,
"width": 62.48876953125
}
],
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"containerChangeable": true,
"left": 608,
"top": 472,
"width": 62.48876953125,
"height": 40,
"nameCompartment": {
"$ref": "AAAAAAFnU9WC+guveXU="
},
"internalActivityCompartment": {
"$ref": "AAAAAAFnU9WC+gu0fUc="
},
"internalTransitionCompartment": {
"$ref": "AAAAAAFnU9WC+gu1zh8="
},
"decompositionCompartment": {
"$ref": "AAAAAAFnU9WC+gu26s4="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9WrBwvUb9M=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9WrBwvTuU4="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9WrBwvVVFg=",
"_parent": {
"$ref": "AAAAAAFnU9WrBwvUb9M="
},
"model": {
"$ref": "AAAAAAFnU9WrBwvTuU4="
},
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 481,
"top": 463,
"width": 117.7998046875,
"height": 13,
"alpha": 0.09177254152357668,
"distance": 166.0903368652132,
"hostEdge": {
"$ref": "AAAAAAFnU9WrBwvUb9M="
},
"edgePosition": 1,
"text": "bet, publish"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9WrBwvW83I=",
"_parent": {
"$ref": "AAAAAAFnU9WrBwvUb9M="
},
"model": {
"$ref": "AAAAAAFnU9WrBwvTuU4="
},
"visible": null,
"font": "Arial;13;0",
"left": 374,
"top": 439,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9WrBwvUb9M="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9WrBwvXlM8=",
"_parent": {
"$ref": "AAAAAAFnU9WrBwvUb9M="
},
"model": {
"$ref": "AAAAAAFnU9WrBwvTuU4="
},
"visible": false,
"font": "Arial;13;0",
"left": 372,
"top": 483,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9WrBwvUb9M="
},
"edgePosition": 1
}
],
"lineColor": "#ff00ff",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"tail": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"lineStyle": 1,
"points": "140:461;607:489",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9WrBwvVVFg="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9WrBwvW83I="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9WrBwvXlM8="
}
},
{
"_type": "UMLStateView",
"_id": "AAAAAAFnU9YF9QvrZxI=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"subViews": [
{
"_type": "UMLNameCompartmentView",
"_id": "AAAAAAFnU9YF9gvsFPk=",
"_parent": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"model": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"subViews": [
{
"_type": "LabelView",
"_id": "AAAAAAFnU9YF9gvtYoY=",
"_parent": {
"$ref": "AAAAAAFnU9YF9gvsFPk="
},
"visible": false,
"fillColor": "#ff5656",
"font": "Arial;13;0",
"top": 480,
"height": 13
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9YF9gvu6jY=",
"_parent": {
"$ref": "AAAAAAFnU9YF9gvsFPk="
},
"fillColor": "#ff5656",
"font": "Arial;13;1",
"left": 421,
"top": 751,
"width": 50,
"height": 13,
"text": "Abort"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9YF9gvvk7s=",
"_parent": {
"$ref": "AAAAAAFnU9YF9gvsFPk="
},
"visible": false,
"fillColor": "#ff5656",
"font": "Arial;13;0",
"top": 480,
"width": 38.27001953125,
"height": 13,
"text": "(from )"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9YF9gvwTbs=",
"_parent": {
"$ref": "AAAAAAFnU9YF9gvsFPk="
},
"visible": false,
"fillColor": "#ff5656",
"font": "Arial;13;0",
"top": 480,
"height": 13,
"horizontalAlignment": 1
}
],
"fillColor": "#ff5656",
"font": "Arial;13;0",
"left": 416,
"top": 744,
"width": 60,
"height": 25,
"stereotypeLabel": {
"$ref": "AAAAAAFnU9YF9gvtYoY="
},
"nameLabel": {
"$ref": "AAAAAAFnU9YF9gvu6jY="
},
"namespaceLabel": {
"$ref": "AAAAAAFnU9YF9gvvk7s="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9YF9gvwTbs="
}
},
{
"_type": "UMLInternalActivityCompartmentView",
"_id": "AAAAAAFnU9YF9gvxLcg=",
"_parent": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"model": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"visible": false,
"fillColor": "#ff5656",
"font": "Arial;13;0",
"top": 240,
"width": 10,
"height": 10
},
{
"_type": "UMLInternalTransitionCompartmentView",
"_id": "AAAAAAFnU9YF9gvynDs=",
"_parent": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"model": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"visible": false,
"fillColor": "#ff5656",
"font": "Arial;13;0",
"top": 240,
"width": 10,
"height": 10
},
{
"_type": "UMLDecompositionCompartmentView",
"_id": "AAAAAAFnU9YF9gvznK8=",
"_parent": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"model": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"fillColor": "#ff5656",
"font": "Arial;13;0",
"left": 416,
"top": 769,
"width": 60
}
],
"fillColor": "#ff5656",
"font": "Arial;13;0",
"containerChangeable": true,
"left": 416,
"top": 744,
"width": 60,
"height": 40,
"nameCompartment": {
"$ref": "AAAAAAFnU9YF9gvsFPk="
},
"internalActivityCompartment": {
"$ref": "AAAAAAFnU9YF9gvxLcg="
},
"internalTransitionCompartment": {
"$ref": "AAAAAAFnU9YF9gvynDs="
},
"decompositionCompartment": {
"$ref": "AAAAAAFnU9YF9gvznK8="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9Yi+AwR0hc=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9Yi+AwQFUE="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9Yi+AwSGqU=",
"_parent": {
"$ref": "AAAAAAFnU9Yi+AwR0hc="
},
"model": {
"$ref": "AAAAAAFnU9Yi+AwQFUE="
},
"font": "Arial;13;0",
"left": 312,
"top": 615,
"width": 29.630859375,
"height": 13,
"alpha": 0.5142521987494829,
"distance": 50.21951811795888,
"hostEdge": {
"$ref": "AAAAAAFnU9Yi+AwR0hc="
},
"edgePosition": 1,
"text": "abort"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9Yi+AwTgh4=",
"_parent": {
"$ref": "AAAAAAFnU9Yi+AwR0hc="
},
"model": {
"$ref": "AAAAAAFnU9Yi+AwQFUE="
},
"visible": null,
"font": "Arial;13;0",
"left": 297,
"top": 582,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9Yi+AwR0hc="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9Yi+AwUeK0=",
"_parent": {
"$ref": "AAAAAAFnU9Yi+AwR0hc="
},
"model": {
"$ref": "AAAAAAFnU9Yi+AwQFUE="
},
"visible": false,
"font": "Arial;13;0",
"left": 266,
"top": 616,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9Yi+AwR0hc="
},
"edgePosition": 1
}
],
"lineColor": "#ff2b2b",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"tail": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"lineStyle": 1,
"points": "132:480;423:743",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9Yi+AwSGqU="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9Yi+AwTgh4="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9Yi+AwUeK0="
}
},
{
"_type": "UMLStateView",
"_id": "AAAAAAFnU9dd4wwxkpY=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9dd4wwwFqA="
},
"subViews": [
{
"_type": "UMLNameCompartmentView",
"_id": "AAAAAAFnU9dd4wwyCHk=",
"_parent": {
"$ref": "AAAAAAFnU9dd4wwxkpY="
},
"model": {
"$ref": "AAAAAAFnU9dd4wwwFqA="
},
"subViews": [
{
"_type": "LabelView",
"_id": "AAAAAAFnU9dd4wwzQ1w=",
"_parent": {
"$ref": "AAAAAAFnU9dd4wwyCHk="
},
"visible": false,
"font": "Arial;13;0",
"left": 80,
"top": 640,
"height": 13
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9dd4ww09yo=",
"_parent": {
"$ref": "AAAAAAFnU9dd4wwyCHk="
},
"font": "Arial;13;1",
"left": 85,
"top": 711,
"width": 50,
"height": 13,
"text": "Publish"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9dd4ww1Ws0=",
"_parent": {
"$ref": "AAAAAAFnU9dd4wwyCHk="
},
"visible": false,
"font": "Arial;13;0",
"left": 80,
"top": 640,
"width": 38.27001953125,
"height": 13,
"text": "(from )"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU9dd4ww24Es=",
"_parent": {
"$ref": "AAAAAAFnU9dd4wwyCHk="
},
"visible": false,
"font": "Arial;13;0",
"left": 80,
"top": 640,
"height": 13,
"horizontalAlignment": 1
}
],
"font": "Arial;13;0",
"left": 80,
"top": 704,
"width": 60,
"height": 25,
"stereotypeLabel": {
"$ref": "AAAAAAFnU9dd4wwzQ1w="
},
"nameLabel": {
"$ref": "AAAAAAFnU9dd4ww09yo="
},
"namespaceLabel": {
"$ref": "AAAAAAFnU9dd4ww1Ws0="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9dd4ww24Es="
}
},
{
"_type": "UMLInternalActivityCompartmentView",
"_id": "AAAAAAFnU9dd4ww3cbg=",
"_parent": {
"$ref": "AAAAAAFnU9dd4wwxkpY="
},
"model": {
"$ref": "AAAAAAFnU9dd4wwwFqA="
},
"visible": false,
"font": "Arial;13;0",
"left": 40,
"top": 320,
"width": 10,
"height": 10
},
{
"_type": "UMLInternalTransitionCompartmentView",
"_id": "AAAAAAFnU9dd4ww4Izc=",
"_parent": {
"$ref": "AAAAAAFnU9dd4wwxkpY="
},
"model": {
"$ref": "AAAAAAFnU9dd4wwwFqA="
},
"visible": false,
"font": "Arial;13;0",
"left": 40,
"top": 320,
"width": 10,
"height": 10
},
{
"_type": "UMLDecompositionCompartmentView",
"_id": "AAAAAAFnU9dd4ww5JDU=",
"_parent": {
"$ref": "AAAAAAFnU9dd4wwxkpY="
},
"model": {
"$ref": "AAAAAAFnU9dd4wwwFqA="
},
"font": "Arial;13;0",
"left": 80,
"top": 729,
"width": 60
}
],
"font": "Arial;13;0",
"containerChangeable": true,
"left": 80,
"top": 704,
"width": 60,
"height": 40,
"nameCompartment": {
"$ref": "AAAAAAFnU9dd4wwyCHk="
},
"internalActivityCompartment": {
"$ref": "AAAAAAFnU9dd4ww3cbg="
},
"internalTransitionCompartment": {
"$ref": "AAAAAAFnU9dd4ww4Izc="
},
"decompositionCompartment": {
"$ref": "AAAAAAFnU9dd4ww5JDU="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9eDHwxXM/w=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9eDHwxWcpc="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9eDHwxYIEI=",
"_parent": {
"$ref": "AAAAAAFnU9eDHwxXM/w="
},
"model": {
"$ref": "AAAAAAFnU9eDHwxWcpc="
},
"font": "Arial;13;0",
"left": 82,
"top": 528,
"width": 41.1962890625,
"height": 13,
"alpha": -3.0306643550890073,
"distance": 57.21887800367987,
"hostEdge": {
"$ref": "AAAAAAFnU9eDHwxXM/w="
},
"edgePosition": 1,
"text": "publish"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9eDHwxZPaA=",
"_parent": {
"$ref": "AAAAAAFnU9eDHwxXM/w="
},
"model": {
"$ref": "AAAAAAFnU9eDHwxWcpc="
},
"visible": null,
"font": "Arial;13;0",
"left": 139,
"top": 584,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9eDHwxXM/w="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9eDHwxafJ8=",
"_parent": {
"$ref": "AAAAAAFnU9eDHwxXM/w="
},
"model": {
"$ref": "AAAAAAFnU9eDHwxWcpc="
},
"visible": false,
"font": "Arial;13;0",
"left": 94,
"top": 585,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9eDHwxXM/w="
},
"edgePosition": 1
}
],
"lineColor": "#0000ff",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9dd4wwxkpY="
},
"tail": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"lineStyle": 1,
"points": "109:480;109:703",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9eDHwxYIEI="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9eDHwxZPaA="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9eDHwxafJ8="
}
},
{
"_type": "UMLFinalStateView",
"_id": "AAAAAAFnU9gB3gxtU64=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9gB3gxs3Ac="
},
"font": "Arial;13;0",
"containerChangeable": true,
"width": 26,
"height": 26
},
{
"_type": "UMLFinalStateView",
"_id": "AAAAAAFnU9gKaAxy4HA=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9gKaAxxZoE="
},
"font": "Arial;13;0",
"containerChangeable": true,
"left": 240,
"top": 816,
"width": 26,
"height": 26
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9g8xgx5mf0=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9g8xgx4s/8="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9g8xgx6bWU=",
"_parent": {
"$ref": "AAAAAAFnU9g8xgx5mf0="
},
"model": {
"$ref": "AAAAAAFnU9g8xgx4s/8="
},
"visible": false,
"font": "Arial;13;0",
"left": 196,
"top": 762,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9g8xgx5mf0="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9g8xgx7Jdg=",
"_parent": {
"$ref": "AAAAAAFnU9g8xgx5mf0="
},
"model": {
"$ref": "AAAAAAFnU9g8xgx4s/8="
},
"visible": null,
"font": "Arial;13;0",
"left": 205,
"top": 750,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9g8xgx5mf0="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9g8xgx8mMg=",
"_parent": {
"$ref": "AAAAAAFnU9g8xgx5mf0="
},
"model": {
"$ref": "AAAAAAFnU9g8xgx4s/8="
},
"visible": false,
"font": "Arial;13;0",
"left": 179,
"top": 787,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9g8xgx5mf0="
},
"edgePosition": 1
}
],
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9gKaAxy4HA="
},
"tail": {
"$ref": "AAAAAAFnU9dd4wwxkpY="
},
"lineStyle": 1,
"points": "138:744;239:818",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9g8xgx6bWU="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9g8xgx7Jdg="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9g8xgx8mMg="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9htLQyKqIw=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9htLQyJvOE="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9htLQyLWi8=",
"_parent": {
"$ref": "AAAAAAFnU9htLQyKqIw="
},
"model": {
"$ref": "AAAAAAFnU9htLQyJvOE="
},
"visible": false,
"font": "Arial;13;0",
"left": 344,
"top": 806,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9htLQyKqIw="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9htLQyM9MY=",
"_parent": {
"$ref": "AAAAAAFnU9htLQyKqIw="
},
"model": {
"$ref": "AAAAAAFnU9htLQyJvOE="
},
"visible": null,
"font": "Arial;13;0",
"left": 349,
"top": 820,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9htLQyKqIw="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9htLQyNfcI=",
"_parent": {
"$ref": "AAAAAAFnU9htLQyKqIw="
},
"model": {
"$ref": "AAAAAAFnU9htLQyJvOE="
},
"visible": false,
"font": "Arial;13;0",
"left": 335,
"top": 777,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9htLQyKqIw="
},
"edgePosition": 1
}
],
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9gKaAxy4HA="
},
"tail": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"lineStyle": 1,
"points": "415:773;266:823",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9htLQyLWi8="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9htLQyM9MY="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9htLQyNfcI="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9jjswygFtw=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9jjsgyfuB4="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9jjswyhj2c=",
"_parent": {
"$ref": "AAAAAAFnU9jjswygFtw="
},
"model": {
"$ref": "AAAAAAFnU9jjsgyfuB4="
},
"font": "Arial;13;0",
"left": 147,
"top": 665,
"width": 41.1962890625,
"height": 13,
"alpha": 1.7513480962850574,
"distance": 27.65863337187866,
"hostEdge": {
"$ref": "AAAAAAFnU9jjswygFtw="
},
"edgePosition": 1,
"text": "publish"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9jjswyiPyQ=",
"_parent": {
"$ref": "AAAAAAFnU9jjswygFtw="
},
"model": {
"$ref": "AAAAAAFnU9jjsgyfuB4="
},
"visible": null,
"font": "Arial;13;0",
"left": 167,
"top": 670,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9jjswygFtw="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9jjswyjXHw=",
"_parent": {
"$ref": "AAAAAAFnU9jjswygFtw="
},
"model": {
"$ref": "AAAAAAFnU9jjsgyfuB4="
},
"visible": false,
"font": "Arial;13;0",
"left": 127,
"top": 650,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9jjswygFtw="
},
"edgePosition": 1
}
],
"lineColor": "#0000ff",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9dd4wwxkpY="
},
"tail": {
"$ref": "AAAAAAFnU9SfAgtzlXw="
},
"lineStyle": 1,
"points": "162:624;120:703",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9jjswyhj2c="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9jjswyiPyQ="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9jjswyjXHw="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9kcHAy1Bo4=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9kcHAy0+ko="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9kcHAy21ls=",
"_parent": {
"$ref": "AAAAAAFnU9kcHAy1Bo4="
},
"model": {
"$ref": "AAAAAAFnU9kcHAy0+ko="
},
"fillColor": "#ff2b2b",
"font": "Arial;13;0",
"left": 503,
"top": 496,
"width": 70.103515625,
"height": 13,
"alpha": 0.08827740629719766,
"distance": 140.40655255364686,
"hostEdge": {
"$ref": "AAAAAAFnU9kcHAy1Bo4="
},
"edgePosition": 1,
"text": "bet / publish"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9kcHAy3XnE=",
"_parent": {
"$ref": "AAAAAAFnU9kcHAy1Bo4="
},
"model": {
"$ref": "AAAAAAFnU9kcHAy0+ko="
},
"visible": null,
"font": "Arial;13;0",
"left": 397,
"top": 511,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9kcHAy1Bo4="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9kcHAy4fT8=",
"_parent": {
"$ref": "AAAAAAFnU9kcHAy1Bo4="
},
"model": {
"$ref": "AAAAAAFnU9kcHAy0+ko="
},
"visible": false,
"font": "Arial;13;0",
"left": 408,
"top": 555,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9kcHAy1Bo4="
},
"edgePosition": 1
}
],
"lineColor": "#ff00ff",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"tail": {
"$ref": "AAAAAAFnU9SfAgtzlXw="
},
"lineStyle": 1,
"points": "204:596;607:498",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9kcHAy21ls="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9kcHAy3XnE="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9kcHAy4fT8="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9sXcwzUHTE=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9sXcwzTslA="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9sXcwzVAZY=",
"_parent": {
"$ref": "AAAAAAFnU9sXcwzUHTE="
},
"model": {
"$ref": "AAAAAAFnU9sXcwzTslA="
},
"font": "Arial;13;0",
"left": 264,
"top": 647,
"width": 29.630859375,
"height": 13,
"alpha": -3.36442324232353,
"distance": 42.44997055358225,
"hostEdge": {
"$ref": "AAAAAAFnU9sXcwzUHTE="
},
"edgePosition": 1,
"text": "abort"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9sXcwzWWEM=",
"_parent": {
"$ref": "AAAAAAFnU9sXcwzUHTE="
},
"model": {
"$ref": "AAAAAAFnU9sXcwzTslA="
},
"visible": null,
"font": "Arial;13;0",
"left": 324,
"top": 651,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9sXcwzUHTE="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9sXdAzXJNk=",
"_parent": {
"$ref": "AAAAAAFnU9sXcwzUHTE="
},
"model": {
"$ref": "AAAAAAFnU9sXcwzTslA="
},
"visible": false,
"font": "Arial;13;0",
"left": 301,
"top": 689,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9sXcwzUHTE="
},
"edgePosition": 1
}
],
"lineColor": "#ff2b2b",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"tail": {
"$ref": "AAAAAAFnU9SfAgtzlXw="
},
"lineStyle": 1,
"points": "204:621;415:745",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9sXcwzVAZY="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9sXcwzWWEM="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9sXdAzXJNk="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU9wxOQzy8is=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU9wxOQzxT0Q="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9wxOQzzlWw=",
"_parent": {
"$ref": "AAAAAAFnU9wxOQzy8is="
},
"model": {
"$ref": "AAAAAAFnU9wxOQzxT0Q="
},
"font": "Arial;13;0",
"left": 528,
"top": 673,
"width": 29.630859375,
"height": 13,
"alpha": 0.6399770702515474,
"distance": 52.773099207835045,
"hostEdge": {
"$ref": "AAAAAAFnU9wxOQzy8is="
},
"edgePosition": 1,
"text": "abort"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9wxOQz049c=",
"_parent": {
"$ref": "AAAAAAFnU9wxOQzy8is="
},
"model": {
"$ref": "AAAAAAFnU9wxOQzxT0Q="
},
"visible": null,
"font": "Arial;13;0",
"left": 565,
"top": 638,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU9wxOQzy8is="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU9wxOQz1LEg=",
"_parent": {
"$ref": "AAAAAAFnU9wxOQzy8is="
},
"model": {
"$ref": "AAAAAAFnU9wxOQzxT0Q="
},
"visible": false,
"font": "Arial;13;0",
"left": 528,
"top": 612,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU9wxOQzy8is="
},
"edgePosition": 1
}
],
"lineColor": "#ff7f00",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"tail": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"lineStyle": 1,
"points": "623:512;459:743",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU9wxOQzzlWw="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU9wxOQz049c="
},
"propertyLabel": {
"$ref": "AAAAAAFnU9wxOQz1LEg="
}
},
{
"_type": "UMLStateView",
"_id": "AAAAAAFnU926bg0H8+M=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"subViews": [
{
"_type": "UMLNameCompartmentView",
"_id": "AAAAAAFnU926bg0I+xQ=",
"_parent": {
"$ref": "AAAAAAFnU926bg0H8+M="
},
"model": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"subViews": [
{
"_type": "LabelView",
"_id": "AAAAAAFnU926bg0JEy8=",
"_parent": {
"$ref": "AAAAAAFnU926bg0I+xQ="
},
"visible": false,
"font": "Arial;13;0",
"left": 528,
"top": -112,
"height": 13
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU926bg0KCdo=",
"_parent": {
"$ref": "AAAAAAFnU926bg0I+xQ="
},
"font": "Arial;13;1",
"left": 341,
"top": 247,
"width": 50,
"height": 13,
"text": "Start"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU926bg0LxqI=",
"_parent": {
"$ref": "AAAAAAFnU926bg0I+xQ="
},
"visible": false,
"font": "Arial;13;0",
"left": 528,
"top": -112,
"width": 38.27001953125,
"height": 13,
"text": "(from )"
},
{
"_type": "LabelView",
"_id": "AAAAAAFnU926bg0M5E0=",
"_parent": {
"$ref": "AAAAAAFnU926bg0I+xQ="
},
"visible": false,
"font": "Arial;13;0",
"left": 528,
"top": -112,
"height": 13,
"horizontalAlignment": 1
}
],
"font": "Arial;13;0",
"left": 336,
"top": 240,
"width": 60,
"height": 25,
"stereotypeLabel": {
"$ref": "AAAAAAFnU926bg0JEy8="
},
"nameLabel": {
"$ref": "AAAAAAFnU926bg0KCdo="
},
"namespaceLabel": {
"$ref": "AAAAAAFnU926bg0LxqI="
},
"propertyLabel": {
"$ref": "AAAAAAFnU926bg0M5E0="
}
},
{
"_type": "UMLInternalActivityCompartmentView",
"_id": "AAAAAAFnU926bg0N6j0=",
"_parent": {
"$ref": "AAAAAAFnU926bg0H8+M="
},
"model": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"visible": false,
"font": "Arial;13;0",
"left": 264,
"top": -56,
"width": 10,
"height": 10
},
{
"_type": "UMLInternalTransitionCompartmentView",
"_id": "AAAAAAFnU926bg0OOgU=",
"_parent": {
"$ref": "AAAAAAFnU926bg0H8+M="
},
"model": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"visible": false,
"font": "Arial;13;0",
"left": 264,
"top": -56,
"width": 10,
"height": 10
},
{
"_type": "UMLDecompositionCompartmentView",
"_id": "AAAAAAFnU926bg0PmpU=",
"_parent": {
"$ref": "AAAAAAFnU926bg0H8+M="
},
"model": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"font": "Arial;13;0",
"left": 336,
"top": 265,
"width": 60
}
],
"font": "Arial;13;0",
"containerChangeable": true,
"left": 336,
"top": 240,
"width": 60,
"height": 40,
"nameCompartment": {
"$ref": "AAAAAAFnU926bg0I+xQ="
},
"internalActivityCompartment": {
"$ref": "AAAAAAFnU926bg0N6j0="
},
"internalTransitionCompartment": {
"$ref": "AAAAAAFnU926bg0OOgU="
},
"decompositionCompartment": {
"$ref": "AAAAAAFnU926bg0PmpU="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU95wAQ0z9pA=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU95wAQ0yn/E="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU95wAQ00uqk=",
"_parent": {
"$ref": "AAAAAAFnU95wAQ0z9pA="
},
"model": {
"$ref": "AAAAAAFnU95wAQ0yn/E="
},
"font": "Arial;13;0",
"left": 210,
"top": 340,
"width": 18.07177734375,
"height": 13,
"alpha": -1.3312974772686763,
"distance": 20.615528128088304,
"hostEdge": {
"$ref": "AAAAAAFnU95wAQ0z9pA="
},
"edgePosition": 1,
"text": "bet"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU95wAQ01HMM=",
"_parent": {
"$ref": "AAAAAAFnU95wAQ0z9pA="
},
"model": {
"$ref": "AAAAAAFnU95wAQ0yn/E="
},
"visible": null,
"font": "Arial;13;0",
"left": 254,
"top": 376,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU95wAQ0z9pA="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU95wAQ02hBg=",
"_parent": {
"$ref": "AAAAAAFnU95wAQ0z9pA="
},
"model": {
"$ref": "AAAAAAFnU95wAQ0yn/E="
},
"visible": false,
"font": "Arial;13;0",
"left": 226,
"top": 341,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU95wAQ0z9pA="
},
"edgePosition": 1
}
],
"lineColor": "#0000ff",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9OVfQsiwEU="
},
"tail": {
"$ref": "AAAAAAFnU926bg0H8+M="
},
"lineStyle": 1,
"points": "338:280;135:439",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU95wAQ00uqk="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU95wAQ01HMM="
},
"propertyLabel": {
"$ref": "AAAAAAFnU95wAQ02hBg="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU+sx4g1ZC00=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU+sx4g1YzFU="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU+sx4g1ac0w=",
"_parent": {
"$ref": "AAAAAAFnU+sx4g1ZC00="
},
"model": {
"$ref": "AAAAAAFnU+sx4g1YzFU="
},
"fontColor": "#ff0000",
"font": "Arial;13;0",
"left": 511,
"top": 376,
"width": 89,
"height": 13,
"alpha": 0.5797154799347988,
"distance": 54.45181356024793,
"hostEdge": {
"$ref": "AAAAAAFnU+sx4g1ZC00="
},
"edgePosition": 1,
"text": "bet, publish"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU+sx4g1b1n0=",
"_parent": {
"$ref": "AAAAAAFnU+sx4g1ZC00="
},
"model": {
"$ref": "AAAAAAFnU+sx4g1YzFU="
},
"visible": null,
"font": "Arial;13;0",
"left": 521,
"top": 346,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU+sx4g1ZC00="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU+sx4g1cmB8=",
"_parent": {
"$ref": "AAAAAAFnU+sx4g1ZC00="
},
"model": {
"$ref": "AAAAAAFnU+sx4g1YzFU="
},
"visible": false,
"font": "Arial;13;0",
"left": 492,
"top": 380,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU+sx4g1ZC00="
},
"edgePosition": 1
}
],
"lineColor": "#ff00ff",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"tail": {
"$ref": "AAAAAAFnU926bg0H8+M="
},
"lineStyle": 1,
"points": "390:280;614:471",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU+sx4g1ac0w="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU+sx4g1b1n0="
},
"propertyLabel": {
"$ref": "AAAAAAFnU+sx4g1cmB8="
}
},
{
"_type": "UMLTransitionView",
"_id": "AAAAAAFnU+0B7Q11Nqs=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"model": {
"$ref": "AAAAAAFnU+0B7Q10KEY="
},
"subViews": [
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU+0B7Q12ltA=",
"_parent": {
"$ref": "AAAAAAFnU+0B7Q11Nqs="
},
"model": {
"$ref": "AAAAAAFnU+0B7Q10KEY="
},
"font": "Arial;13;0",
"left": 384,
"top": 608,
"width": 29.630859375,
"height": 13,
"alpha": -0.22600765926155253,
"distance": 103.23759005323593,
"hostEdge": {
"$ref": "AAAAAAFnU+0B7Q11Nqs="
},
"edgePosition": 1,
"text": "abort"
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU+0B7Q13sY4=",
"_parent": {
"$ref": "AAAAAAFnU+0B7Q11Nqs="
},
"model": {
"$ref": "AAAAAAFnU+0B7Q10KEY="
},
"visible": null,
"font": "Arial;13;0",
"left": 434,
"top": 500,
"height": 13,
"alpha": 1.5707963267948966,
"distance": 30,
"hostEdge": {
"$ref": "AAAAAAFnU+0B7Q11Nqs="
},
"edgePosition": 1
},
{
"_type": "EdgeLabelView",
"_id": "AAAAAAFnU+0B7Q14Bos=",
"_parent": {
"$ref": "AAAAAAFnU+0B7Q11Nqs="
},
"model": {
"$ref": "AAAAAAFnU+0B7Q10KEY="
},
"visible": false,
"font": "Arial;13;0",
"left": 390,
"top": 507,
"height": 13,
"alpha": -1.5707963267948966,
"distance": 15,
"hostEdge": {
"$ref": "AAAAAAFnU+0B7Q11Nqs="
},
"edgePosition": 1
}
],
"lineColor": "#ff2b2b",
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnU9YF9QvrZxI="
},
"tail": {
"$ref": "AAAAAAFnU926bg0H8+M="
},
"lineStyle": 1,
"points": "368:280;442:743",
"showVisibility": true,
"nameLabel": {
"$ref": "AAAAAAFnU+0B7Q12ltA="
},
"stereotypeLabel": {
"$ref": "AAAAAAFnU+0B7Q13sY4="
},
"propertyLabel": {
"$ref": "AAAAAAFnU+0B7Q14Bos="
}
},
{
"_type": "UMLNoteView",
"_id": "AAAAAAFnY08BAA32i5c=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"font": "Arial;13;0",
"left": 696,
"top": 424,
"width": 137.00013732910156,
"height": 50,
"text": "游戏已超时且未开奖"
},
{
"_type": "UMLNoteLinkView",
"_id": "AAAAAAFnY08Bgw35djk=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"font": "Arial;13;0",
"head": {
"$ref": "AAAAAAFnY08BAA32i5c="
},
"tail": {
"$ref": "AAAAAAFnU9WC+guuEME="
},
"lineStyle": 1,
"points": "670:480;695:472"
},
{
"_type": "UMLTextView",
"_id": "AAAAAAFnY1xgww49d3U=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"font": "Arial;13;0",
"left": 568,
"top": 784,
"width": 60,
"height": 15
},
{
"_type": "UMLTextView",
"_id": "AAAAAAFnY1yJFA5A06Q=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"lineColor": "#ffaa56",
"fillColor": "#ffaa56",
"font": "Arial;13;0",
"left": 544,
"top": 600,
"width": 158.07191467285156,
"height": 57,
"text": "超时的游戏，\n任何人都可以发起Abort，\n将投注返还给玩家"
},
{
"_type": "UMLTextView",
"_id": "AAAAAAFnY12peA5TDzY=",
"_parent": {
"$ref": "AAAAAAFnU9NfaAsK0c0="
},
"font": "Arial;13;0",
"left": 312,
"top": 640,
"width": 158.07191467285156,
"height": 85,
"text": "如果游戏因为不可抗力\n无法正常开奖，\nAdmin地址可以\n发起Abort取消游戏，\n将投注返还给玩家"
}
]
}
],
"regions": [
{
"_type": "UMLRegion",
"_id": "AAAAAAFnU9NfZwsJiNs=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsI7Og="
},
"vertices": [
{
"_type": "UMLPseudostate",
"_id": "AAAAAAFnU9NxMAsPUqc=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"name": "Start",
"kind": "initial"
},
{
"_type": "UMLState",
"_id": "AAAAAAFnU9OVfQshj6g=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"name": "Bet"
},
{
"_type": "UMLState",
"_id": "AAAAAAFnU9SfAgtyG7o=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"name": "StopBet"
},
{
"_type": "UMLState",
"_id": "AAAAAAFnU9WC+gut96Q=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"name": "TimeOut"
},
{
"_type": "UMLState",
"_id": "AAAAAAFnU9YF9Qvqgjs=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"name": "Abort"
},
{
"_type": "UMLState",
"_id": "AAAAAAFnU9dd4wwwFqA=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"name": "Publish"
},
{
"_type": "UMLFinalState",
"_id": "AAAAAAFnU9gB3gxs3Ac=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
}
},
{
"_type": "UMLFinalState",
"_id": "AAAAAAFnU9gKaAxxZoE=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
}
},
{
"_type": "UMLState",
"_id": "AAAAAAFnU926bg0GvrU=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"name": "Start"
}
],
"transitions": [
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9P6dAtIz9M=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9NxMAsPUqc="
},
"target": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9QRXwtal60=",
"_parent": {
"$ref": "AAAAAAFnU9P6dAtIz9M="
},
"name": "start"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9RcGwtcizA=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"target": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9RrHQtuNTA=",
"_parent": {
"$ref": "AAAAAAFnU9RcGwtcizA="
},
"name": "bet"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9ToGQuZI5A=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"target": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9T3cQurTtQ=",
"_parent": {
"$ref": "AAAAAAFnU9ToGQuZI5A="
},
"name": "bet"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9WrBwvTuU4=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"target": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9W+rAvlHB4=",
"_parent": {
"$ref": "AAAAAAFnU9WrBwvTuU4="
},
"name": "bet"
},
{
"_type": "UMLEvent",
"_id": "AAAAAAFnY1dc5g4LN2Y=",
"_parent": {
"$ref": "AAAAAAFnU9WrBwvTuU4="
},
"name": "publish"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9Yi+AwQFUE=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"target": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9ZDaQwinpA=",
"_parent": {
"$ref": "AAAAAAFnU9Yi+AwQFUE="
},
"name": "abort"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9eDHwxWcpc=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"target": {
"$ref": "AAAAAAFnU9dd4wwwFqA="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9eXxgxowlo=",
"_parent": {
"$ref": "AAAAAAFnU9eDHwxWcpc="
},
"name": "publish"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9g8xgx4s/8=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9dd4wwwFqA="
},
"target": {
"$ref": "AAAAAAFnU9gKaAxxZoE="
}
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9htLQyJvOE=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"target": {
"$ref": "AAAAAAFnU9gKaAxxZoE="
}
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9jjsgyfuB4=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"target": {
"$ref": "AAAAAAFnU9dd4wwwFqA="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9jxPAyxw5k=",
"_parent": {
"$ref": "AAAAAAFnU9jjsgyfuB4="
},
"name": "publish"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9kcHAy0+ko=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"target": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9lAkwzGnGE=",
"_parent": {
"$ref": "AAAAAAFnU9kcHAy0+ko="
},
"name": "bet"
}
],
"effects": [
{
"_type": "UMLOpaqueBehavior",
"_id": "AAAAAAFnU+G2IA1Wwt0=",
"_parent": {
"$ref": "AAAAAAFnU9kcHAy0+ko="
},
"name": "publish"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9sXcwzTslA=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9SfAgtyG7o="
},
"target": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9skjAzl+5Q=",
"_parent": {
"$ref": "AAAAAAFnU9sXcwzTslA="
},
"name": "abort"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU9wxOQzxT0Q=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"target": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU9xAVA0D/is=",
"_parent": {
"$ref": "AAAAAAFnU9wxOQzxT0Q="
},
"name": "abort"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU95wAQ0yn/E=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"target": {
"$ref": "AAAAAAFnU9OVfQshj6g="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU957kQ1E4PY=",
"_parent": {
"$ref": "AAAAAAFnU95wAQ0yn/E="
},
"name": "bet"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU+sx4g1YzFU=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"target": {
"$ref": "AAAAAAFnU9WC+gut96Q="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU+ybTg1vUWk=",
"_parent": {
"$ref": "AAAAAAFnU+sx4g1YzFU="
},
"name": "bet"
},
{
"_type": "UMLEvent",
"_id": "AAAAAAFnY0pDwA27g2Q=",
"_parent": {
"$ref": "AAAAAAFnU+sx4g1YzFU="
},
"name": "publish"
}
]
},
{
"_type": "UMLTransition",
"_id": "AAAAAAFnU+0B7Q10KEY=",
"_parent": {
"$ref": "AAAAAAFnU9NfZwsJiNs="
},
"source": {
"$ref": "AAAAAAFnU926bg0GvrU="
},
"target": {
"$ref": "AAAAAAFnU9YF9Qvqgjs="
},
"triggers": [
{
"_type": "UMLEvent",
"_id": "AAAAAAFnU+0Slw2GaNE=",
"_parent": {
"$ref": "AAAAAAFnU+0B7Q10KEY="
},
"name": "abort"
}
]
}
]
}
]
}
]
}
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment