"$ref": "AAAAAAFLwFBPCYMWU6I="
},
"name": "Book Rural House",
+ "ownedElements": [
+ {
+ "_type": "UMLInteraction",
+ "_id": "AAAAAAFMvfSw//OoHwE=",
+ "_parent": {
+ "$ref": "AAAAAAFLwFHuipI2mY8="
+ },
+ "name": "Interaction1",
+ "ownedElements": [
+ {
+ "_type": "UMLSequenceDiagram",
+ "_id": "AAAAAAFMvfSxAPOp1Mg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSw//OoHwE="
+ },
+ "name": "BRHSequenceDiagram",
+ "visible": true,
+ "defaultDiagram": false,
+ "ownedViews": [
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvfTJQPOvLdY=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSxAPOp1Mg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfTJQPOuSHQ="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvfTJQPOw3iU=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTJQPOvLdY="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfTJQPOuSHQ="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfTJQfOxwfs=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTJQPOw3iU="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -126,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfTJQfOy6Jo=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTJQPOw3iU="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 9,
+ "top": 87,
+ "width": 100,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "Cl: Client",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfTJQfOziiY=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTJQPOw3iU="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -126,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction1)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfTJQfO0FH4=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTJQPOw3iU="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -126,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 4,
+ "top": 80,
+ "width": 110,
+ "height": 25,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfTJQfOxwfs="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfTJQfOy6Jo="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvfTJQfOziiY="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfTJQfO0FH4="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvfTJQfO1ymo=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTJQPOvLdY="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfTJQPOuSHQ="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 59,
+ "top": 105,
+ "width": 1,
+ "height": 122,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 4,
+ "top": 40,
+ "width": 110,
+ "height": 187,
+ "autoResize": false,
+ "stereotypeDisplay": "icon",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvfTJQPOw3iU="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvfTJQfO1ymo="
+ }
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvfTn3/PQ4Y4=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSxAPOp1Mg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfTn3vPP9tY="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvfTn3/PRQB0=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTn3/PQ4Y4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfTn3vPP9tY="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfTn3/PS+6Y=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTn3/PRQB0="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 432,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfTn3/PT2Xk=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTn3/PRQB0="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 361,
+ "top": 47,
+ "width": 264,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "a: BookRuralHouseConfirmationWindow",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfTn3/PUlAo=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTn3/PRQB0="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 432,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction1)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfTn3/PV5/s=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTn3/PRQB0="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 432,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 356,
+ "top": 40,
+ "width": 274,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfTn3/PS+6Y="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfTn3/PT2Xk="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvfTn3/PUlAo="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfTn3/PV5/s="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvfTn4PPWb3o=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfTn3/PQ4Y4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfTn3vPP9tY="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 493,
+ "top": 80,
+ "width": 1,
+ "height": 160,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 356,
+ "top": 40,
+ "width": 274,
+ "height": 200,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvfTn3/PRQB0="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvfTn4PPWb3o="
+ }
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvfVHBfPxxfw=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSxAPOp1Mg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfVHBPPw9qQ="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvfVHBfPyus4=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfVHBfPxxfw="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfVHBPPw9qQ="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfVHBfPza7s=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfVHBfPyus4="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -60,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfVHBfP0zM8=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfVHBfPyus4="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 149,
+ "top": 47,
+ "width": 127,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "HouseFeaturesGUI",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfVHBfP19mk=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfVHBfPyus4="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -60,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction1)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfVHBfP2Des=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfVHBfPyus4="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -60,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 144,
+ "top": 40,
+ "width": 137,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfVHBfPza7s="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfVHBfP0zM8="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvfVHBfP19mk="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfVHBfP2Des="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvfVHBfP3ve0=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfVHBfPxxfw="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfVHBPPw9qQ="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 213,
+ "top": 80,
+ "width": 1,
+ "height": 163,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 144,
+ "top": 40,
+ "width": 137,
+ "height": 203,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvfVHBfPyus4="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvfVHBfP3ve0="
+ }
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMvfV5TfQS4xg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSxAPOp1Mg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfV5TfQRgPg="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfV5TfQT0K4=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfV5TfQS4xg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfV5TfQRgPg="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 64,
+ "top": 99,
+ "width": 131,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -4.4209331033382675,
+ "distance": 10.44030650891055,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfV5TfQS4xg="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "1 : offer, phoneNumber",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfV5TvQUINA=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfV5TfQS4xg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfV5TfQRgPg="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 132,
+ "top": 85,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfV5TfQS4xg="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfV5TvQVTVU=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfV5TfQS4xg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfV5TfQRgPg="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 132,
+ "top": 120,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfV5TfQS4xg="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMvfV5TvQWGpg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfV5TfQS4xg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfV5TfQRgPg="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 206,
+ "top": 116,
+ "width": 14,
+ "height": 113,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvfVHBfP3ve0="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvfTJQfO1ymo="
+ },
+ "lineStyle": 0,
+ "points": "59:116;206:116",
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfV5TfQT0K4="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfV5TvQUINA="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfV5TvQVTVU="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMvfV5TvQWGpg="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMvfYPBfQ0HWo=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSxAPOp1Mg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfYPBfQzgTQ="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfYPBfQ1eag=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfYPBfQ0HWo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfYPBfQzgTQ="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 106,
+ "top": 116,
+ "width": 61,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfYPBfQ0HWo="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "2 : confirm",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfYPBvQ2H6I=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfYPBfQ0HWo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfYPBfQzgTQ="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 136,
+ "top": 101,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfYPBfQ0HWo="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfYPBvQ3+ng=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfYPBfQ0HWo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfYPBfQzgTQ="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 136,
+ "top": 136,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfYPBfQ0HWo="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMvfYPBvQ4oig=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfYPBfQ0HWo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfYPBfQzgTQ="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 213,
+ "top": 132,
+ "width": 14,
+ "height": 61,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvfVHBfP3ve0="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvfTJQfO1ymo="
+ },
+ "lineStyle": 0,
+ "points": "59:132;213:132",
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfYPBfQ1eag="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfYPBvQ2H6I="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfYPBvQ3+ng="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMvfYPBvQ4oig="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMvfY2pfRL+ig=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSxAPOp1Mg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfY2pPRKAGQ="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfY2pfRMpF0=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfY2pfRL+ig="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfY2pPRKAGQ="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 296,
+ "top": 159,
+ "width": 118,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -4.641082226259334,
+ "distance": 14.035668847618199,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfY2pfRL+ig="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "3 : a.displayBooking",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfY2pfRNzFM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfY2pfRL+ig="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfY2pPRKAGQ="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 356,
+ "top": 149,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfY2pfRL+ig="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfY2pfROCCM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfY2pfRL+ig="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfY2pPRKAGQ="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 356,
+ "top": 184,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfY2pfRL+ig="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMvfY2pfRP34s=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfY2pfRL+ig="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfY2pPRKAGQ="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 486,
+ "top": 180,
+ "width": 14,
+ "height": 29,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvfTn4PPWb3o="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvfVHBfP3ve0="
+ },
+ "lineStyle": 0,
+ "points": "226:180;486:180",
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfY2pfRMpF0="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfY2pfRNzFM="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfY2pfROCCM="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMvfY2pfRP34s="
+ },
+ "showProperty": true,
+ "showType": true
+ }
+ ],
+ "showSequenceNumber": true,
+ "showSignature": true,
+ "showActivation": true
+ }
+ ],
+ "visibility": "public",
+ "isReentrant": true,
+ "messages": [
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMvfV5TfQRgPg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSw//OoHwE="
+ },
+ "name": "offer, phoneNumber",
+ "source": {
+ "$ref": "AAAAAAFMvfTJQPOuSHQ="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvfVHBPPw9qQ="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMvfYPBfQzgTQ=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSw//OoHwE="
+ },
+ "name": "confirm",
+ "source": {
+ "$ref": "AAAAAAFMvfTJQPOuSHQ="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvfVHBPPw9qQ="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMvfY2pPRKAGQ=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSw//OoHwE="
+ },
+ "name": "a.displayBooking",
+ "source": {
+ "$ref": "AAAAAAFMvfVHBPPw9qQ="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvfTn3vPP9tY="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ }
+ ],
+ "participants": [
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvfTJQPOuSHQ=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSw//OoHwE="
+ },
+ "name": "Cl",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvfTJP/OtTEM="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvfTn3vPP9tY=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSw//OoHwE="
+ },
+ "name": "a: BookRuralHouseConfirmationWindow",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvfTn3vPO3B0="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvfVHBPPw9qQ=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfSw//OoHwE="
+ },
+ "name": "HouseFeaturesGUI",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvfVHBPPvwz8="
+ },
+ "isMultiInstance": false
+ }
+ ]
+ }
+ ],
"documentation": "#Description\n\n##Flow of Events\n\n#Basic Flow\n\n* 1. User clicks an available offer.\n* 2. **System** shows the details of the house alongside with a confirmation button.\n* 3. **System** shows the owner bank account and the amount to be transfered.\n* 4. User enters phone number and clicks *Confirm*.\n\n\n#Alternative Flow\n\n* 4.a) User enters invalid formated data: System displays an error message.\n\n#Precondition\n\n* Have looked before a list of available Offers.",
"visibility": "public",
- "isAbstract": false,
- "isFinalSpecialization": false,
- "isLeaf": false
- },
- {
- "_type": "UMLUseCase",
- "_id": "AAAAAAFLwHR/ScB8iVM=",
- "_parent": {
- "$ref": "AAAAAAFLwFBPCYMWU6I="
- },
- "name": "Search Availability",
- "ownedElements": [
+ "attributes": [
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvfTJP/OtTEM=",
+ "_parent": {
+ "$ref": "AAAAAAFLwFHuipI2mY8="
+ },
+ "name": "Role1",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "type": {
+ "$ref": "AAAAAAFLwEShFXaH7MA="
+ },
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvfTn3vPO3B0=",
+ "_parent": {
+ "$ref": "AAAAAAFLwFHuipI2mY8="
+ },
+ "name": "Role2",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "type": "",
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvfVHBPPvwz8=",
+ "_parent": {
+ "$ref": "AAAAAAFLwFHuipI2mY8="
+ },
+ "name": "Role3",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ }
+ ],
+ "isAbstract": false,
+ "isFinalSpecialization": false,
+ "isLeaf": false
+ },
+ {
+ "_type": "UMLUseCase",
+ "_id": "AAAAAAFLwHR/ScB8iVM=",
+ "_parent": {
+ "$ref": "AAAAAAFLwFBPCYMWU6I="
+ },
+ "name": "Search Availability",
+ "ownedElements": [
+ {
+ "_type": "UMLInclude",
+ "_id": "AAAAAAFMUlV4w3F9DJs=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "An offer has been picked",
+ "source": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "target": {
+ "$ref": "AAAAAAFLwFHuipI2mY8="
+ },
+ "visibility": "public"
+ },
+ {
+ "_type": "UMLInteraction",
+ "_id": "AAAAAAFMveijkPEAPr4=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "Interaction1",
+ "ownedElements": [
+ {
+ "_type": "UMLSequenceDiagram",
+ "_id": "AAAAAAFMveijkfEBrJ4=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkPEAPr4="
+ },
+ "name": "SA1Sequencediagram",
+ "visible": true,
+ "defaultDiagram": false,
+ "ownedViews": [
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvfC5ivJ/lNE=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkfEBrJ4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfC5ivJ+rR4="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvfC5ivKANFM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfC5ivJ/lNE="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfC5ivJ+rR4="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfC5ivKBluE=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfC5ivKANFM="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -147,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfC5ivKCkhc=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfC5ivKANFM="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 17,
+ "top": 87,
+ "width": 100,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "Cl: Client",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfC5i/KD1wg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfC5ivKANFM="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -147,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction1)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfC5i/KEaFE=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfC5ivKANFM="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -147,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 12,
+ "top": 80,
+ "width": 110,
+ "height": 25,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfC5ivKBluE="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfC5ivKCkhc="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvfC5i/KD1wg="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfC5i/KEaFE="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvfC5i/KFskc=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfC5ivJ/lNE="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfC5ivJ+rR4="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 67,
+ "top": 105,
+ "width": 1,
+ "height": 188,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 12,
+ "top": 40,
+ "width": 110,
+ "height": 253,
+ "autoResize": false,
+ "stereotypeDisplay": "icon",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvfC5ivKANFM="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvfC5i/KFskc="
+ }
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvfDVrvKgSBY=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkfEBrJ4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfDVrvKfDWc="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvfDVrvKhe6I=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfDVrvKgSBY="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfDVrvKfDWc="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfDVrvKi6Ao=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfDVrvKhe6I="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 468,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfDVrvKjc6g=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfDVrvKhe6I="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 413,
+ "top": 47,
+ "width": 109,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "House Manager",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfDVrvKkI/o=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfDVrvKhe6I="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 468,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction1)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfDVrvKlvsA=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfDVrvKhe6I="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 468,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 408,
+ "top": 40,
+ "width": 119,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfDVrvKi6Ao="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfDVrvKjc6g="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvfDVrvKkI/o="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfDVrvKlvsA="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvfDVrvKmEMk=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfDVrvKgSBY="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfDVrvKfDWc="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 468,
+ "top": 80,
+ "width": 1,
+ "height": 160,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 408,
+ "top": 40,
+ "width": 119,
+ "height": 200,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvfDVrvKhe6I="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvfDVrvKmEMk="
+ }
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvfHAzfLBPXY=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkfEBrJ4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfHAzfLAzSs="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvfHAzfLCGTs=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfHAzfLBPXY="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfHAzfLAzSs="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfHAzvLDgJY=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfHAzfLCGTs="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -516,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfHAzvLEXPg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfHAzfLCGTs="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 181,
+ "top": 47,
+ "width": 153,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "QueryAvailability2GUI",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfHAzvLF2ig=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfHAzfLCGTs="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -516,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction1)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfHAzvLGeno=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfHAzfLCGTs="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -516,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 176,
+ "top": 40,
+ "width": 163,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfHAzvLDgJY="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfHAzvLEXPg="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvfHAzvLF2ig="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfHAzvLGeno="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvfHAzvLHrEs=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfHAzfLBPXY="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfHAzfLAzSs="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 258,
+ "top": 80,
+ "width": 1,
+ "height": 160,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 176,
+ "top": 40,
+ "width": 163,
+ "height": 200,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvfHAzfLCGTs="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvfHAzvLHrEs="
+ }
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMvfIlYPLm6QA=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkfEBrJ4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfIlX/LlZNg="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfIlYPLnOg4=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfIlYPLm6QA="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfIlX/LlZNg="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 74,
+ "top": 116,
+ "width": 168,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.6704639891869506,
+ "distance": 10.04987562112089,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfIlYPLm6QA="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "1 : name, startDate, endDate",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfIlYPLoOk0=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfIlYPLm6QA="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfIlX/LlZNg="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 159,
+ "top": 81,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfIlYPLm6QA="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfIlYPLpiIs=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfIlYPLm6QA="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfIlX/LlZNg="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 159,
+ "top": 116,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfIlYPLm6QA="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMvfIlYfLqJ3k=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfIlYPLm6QA="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfIlX/LlZNg="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 251,
+ "top": 112,
+ "width": 14,
+ "height": 29,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvfHAzvLHrEs="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvfC5i/KFskc="
+ },
+ "lineStyle": 0,
+ "points": "67:112;251:112",
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfIlYPLnOg4="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfIlYPLoOk0="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfIlYPLpiIs="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMvfIlYfLqJ3k="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMvfLVLfMfyMo=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkfEBrJ4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfLVLfMe/oo="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfLVLfMgldk=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfLVLfMfyMo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfLVLfMe/oo="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 286,
+ "top": 104,
+ "width": 152,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfLVLfMfyMo="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "2 : searchHousesByName",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfLVLfMh2BM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfLVLfMfyMo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfLVLfMe/oo="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 362,
+ "top": 89,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfLVLfMfyMo="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfLVLfMi7WM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfLVLfMfyMo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfLVLfMe/oo="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 362,
+ "top": 124,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfLVLfMfyMo="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMvfLVLvMj2BY=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfLVLfMfyMo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfLVLfMe/oo="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 461,
+ "top": 120,
+ "width": 14,
+ "height": 29,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvfDVrvKmEMk="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvfHAzvLHrEs="
+ },
+ "lineStyle": 0,
+ "points": "264:120;461:120",
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfLVLfMgldk="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfLVLfMh2BM="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfLVLfMi7WM="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMvfLVLvMj2BY="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvfMT9fM2knM=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkfEBrJ4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfMT9fM17+8="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvfMT9fM3E6M=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfMT9fM2knM="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfMT9fM17+8="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfMT9fM41Mc=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfMT9fM3E6M="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -300,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfMT9fM5hx4=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfMT9fM3E6M="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 573,
+ "top": 47,
+ "width": 143,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "a: HouseFeaturesGUI",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfMT9fM6+FM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfMT9fM3E6M="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -300,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction1)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvfMT9fM7miU=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfMT9fM3E6M="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -300,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 568,
+ "top": 40,
+ "width": 153,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfMT9fM41Mc="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfMT9fM5hx4="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvfMT9fM6+FM="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfMT9fM7miU="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvfMT9fM881g=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfMT9fM2knM="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfMT9fM17+8="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 645,
+ "top": 80,
+ "width": 1,
+ "height": 192,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 568,
+ "top": 40,
+ "width": 153,
+ "height": 232,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvfMT9fM3E6M="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvfMT9fM881g="
+ }
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMvfNDNPNW088=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkfEBrJ4="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfNDNPNV/So="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfNDNPNXokM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfNDNPNW088="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfNDNPNV/So="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 498,
+ "top": 115,
+ "width": 117,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfNDNPNW088="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "3 : a.displayfeatures",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfNDNPNYuZw=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfNDNPNW088="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfNDNPNV/So="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 556,
+ "top": 100,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfNDNPNW088="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfNDNPNZS4g=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfNDNPNW088="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfNDNPNV/So="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 556,
+ "top": 135,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfNDNPNW088="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMvfNDNfNau4g=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfNDNPNW088="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfNDNPNV/So="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 638,
+ "top": 131,
+ "width": 14,
+ "height": 29,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvfMT9fM881g="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvfDVrvKmEMk="
+ },
+ "lineStyle": 0,
+ "points": "474:131;638:131",
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfNDNPNXokM="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfNDNPNYuZw="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfNDNPNZS4g="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMvfNDNfNau4g="
+ },
+ "showProperty": true,
+ "showType": true
+ }
+ ],
+ "showSequenceNumber": true,
+ "showSignature": true,
+ "showActivation": true
+ }
+ ],
+ "visibility": "public",
+ "isReentrant": true,
+ "messages": [
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMvfIlX/LlZNg=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkPEAPr4="
+ },
+ "name": "name, startDate, endDate",
+ "source": {
+ "$ref": "AAAAAAFMvfC5ivJ+rR4="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvfHAzfLAzSs="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMvfLVLfMe/oo=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkPEAPr4="
+ },
+ "name": "searchHousesByName",
+ "source": {
+ "$ref": "AAAAAAFMvfHAzfLAzSs="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvfDVrvKfDWc="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMvfNDNPNV/So=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkPEAPr4="
+ },
+ "name": "a.displayfeatures",
+ "source": {
+ "$ref": "AAAAAAFMvfDVrvKfDWc="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvfMT9fM17+8="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ }
+ ],
+ "participants": [
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvfC5ivJ+rR4=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkPEAPr4="
+ },
+ "name": "Cl",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvfC5ivJ9ghI="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvfDVrvKfDWc=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkPEAPr4="
+ },
+ "name": "House Manager",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvfDVrvKe8qM="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvfHAzfLAzSs=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkPEAPr4="
+ },
+ "name": "QueryAvailability2GUI",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvfHAzPK/FCU="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvfMT9fM17+8=",
+ "_parent": {
+ "$ref": "AAAAAAFMveijkPEAPr4="
+ },
+ "name": "a: HouseFeaturesGUI",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvfMT9PM03D8="
+ },
+ "isMultiInstance": false
+ }
+ ]
+ },
+ {
+ "_type": "UMLInteraction",
+ "_id": "AAAAAAFMvejfzvEGJJ8=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "Interaction2",
+ "ownedElements": [
+ {
+ "_type": "UMLSequenceDiagram",
+ "_id": "AAAAAAFMvejfzvEHByk=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "SA2SequenceDiagram",
+ "documentation": "Pick to search from district and filters\n",
+ "visible": true,
+ "defaultDiagram": false,
+ "ownedViews": [
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvekRCfEOwr8=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvekRCfENca8="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvekRCvEPgnk=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekRCfEOwr8="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvekRCfENca8="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvekRCvEQ3wU=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekRCvEPgnk="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -261,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvekRCvERYEw=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekRCvEPgnk="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 5,
+ "top": 87,
+ "width": 100,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "Cl: Client",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvekRCvESyrA=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekRCvEPgnk="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -261,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction2)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvekRC/ETsCo=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekRCvEPgnk="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -261,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 0,
+ "top": 80,
+ "width": 110,
+ "height": 25,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvekRCvEQ3wU="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvekRCvERYEw="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvekRCvESyrA="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvekRC/ETsCo="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvekRC/EUWiM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekRCfEOwr8="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvekRCfENca8="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 55,
+ "top": 105,
+ "width": 1,
+ "height": 117,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 0,
+ "top": 40,
+ "width": 110,
+ "height": 182,
+ "autoResize": false,
+ "stereotypeDisplay": "icon",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvekRCvEPgnk="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvekRC/EUWiM="
+ }
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvekux/EvYfw=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvekux/EuD6g="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvekux/EwBJA=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekux/EvYfw="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvekux/EuD6g="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvekuyPExSPg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekux/EwBJA="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 192,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvekuyfEyC5A=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekux/EwBJA="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 325,
+ "top": 47,
+ "width": 149,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "QueryAvailability2GUI",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvekuyfEzbBc=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekux/EwBJA="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 192,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction2)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvekuyfE0eFY=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekux/EwBJA="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 192,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 320,
+ "top": 40,
+ "width": 159,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvekuyPExSPg="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvekuyfEyC5A="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvekuyfEzbBc="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvekuyfE0eFY="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvekuyfE1938=",
+ "_parent": {
+ "$ref": "AAAAAAFMvekux/EvYfw="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvekux/EuD6g="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 400,
+ "top": 80,
+ "width": 1,
+ "height": 161,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 320,
+ "top": 40,
+ "width": 159,
+ "height": 201,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvekux/EwBJA="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvekuyfE1938="
+ }
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMvemylfFR0Eg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvemylPFQSAU="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMvemylfFS3iM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvemylfFR0Eg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvemylPFQSAU="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvemylfFTEvQ=",
+ "_parent": {
+ "$ref": "AAAAAAFMvemylfFS3iM="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 432,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvemylfFUBow=",
+ "_parent": {
+ "$ref": "AAAAAAFMvemylfFS3iM="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 661,
+ "top": 47,
+ "width": 124,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "a: listofHousesGUI",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvemylfFVMKY=",
+ "_parent": {
+ "$ref": "AAAAAAFMvemylfFS3iM="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 432,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction2)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMvemylfFWD6o=",
+ "_parent": {
+ "$ref": "AAAAAAFMvemylfFS3iM="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 432,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 656,
+ "top": 40,
+ "width": 134,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvemylfFTEvQ="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMvemylfFUBow="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMvemylfFVMKY="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvemylfFWD6o="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMvemylfFXcIo=",
+ "_parent": {
+ "$ref": "AAAAAAFMvemylfFR0Eg="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvemylPFQSAU="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 723,
+ "top": 80,
+ "width": 1,
+ "height": 167,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 656,
+ "top": 40,
+ "width": 134,
+ "height": 207,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMvemylfFS3iM="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMvemylfFXcIo="
+ }
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMveql/vF0SQc=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMveql/fFz1Ts="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMveql/vF1nkg=",
+ "_parent": {
+ "$ref": "AAAAAAFMveql/vF0SQc="
+ },
+ "model": {
+ "$ref": "AAAAAAFMveql/fFz1Ts="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 67,
+ "top": 100,
+ "width": 314,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMveql/vF0SQc="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "1 : district, rooms, lrooms, brooms, kitchens, parkings",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMveql//F2UBs=",
+ "_parent": {
+ "$ref": "AAAAAAFMveql/vF0SQc="
+ },
+ "model": {
+ "$ref": "AAAAAAFMveql/fFz1Ts="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 224,
+ "top": 85,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMveql/vF0SQc="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMveql//F3n6w=",
+ "_parent": {
+ "$ref": "AAAAAAFMveql/vF0SQc="
+ },
+ "model": {
+ "$ref": "AAAAAAFMveql/fFz1Ts="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 224,
+ "top": 120,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMveql/vF0SQc="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMveql//F4yoU=",
+ "_parent": {
+ "$ref": "AAAAAAFMveql/vF0SQc="
+ },
+ "model": {
+ "$ref": "AAAAAAFMveql/fFz1Ts="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 393,
+ "top": 116,
+ "width": 14,
+ "height": 101,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvekuyfE1938="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvekRC/EUWiM="
+ },
+ "lineStyle": 0,
+ "points": "55:116;393:116",
+ "nameLabel": {
+ "$ref": "AAAAAAFMveql/vF1nkg="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMveql//F2UBs="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMveql//F3n6w="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMveql//F4yoU="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMve0N3vG49Zo=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve0N3fG3/oM="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMve0N3vG5q7Y=",
+ "_parent": {
+ "$ref": "AAAAAAFMve0N3vG49Zo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve0N3fG3/oM="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMve0N3/G6KsA=",
+ "_parent": {
+ "$ref": "AAAAAAFMve0N3vG5q7Y="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -108,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMve0N3/G7bRo=",
+ "_parent": {
+ "$ref": "AAAAAAFMve0N3vG5q7Y="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 525,
+ "top": 47,
+ "width": 109,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "House Manager",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMve0N3/G8uC4=",
+ "_parent": {
+ "$ref": "AAAAAAFMve0N3vG5q7Y="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -108,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction2)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMve0N3/G9QeA=",
+ "_parent": {
+ "$ref": "AAAAAAFMve0N3vG5q7Y="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -108,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 520,
+ "top": 40,
+ "width": 119,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMve0N3/G6KsA="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMve0N3/G7bRo="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMve0N3/G8uC4="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMve0N3/G9QeA="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMve0N3/G+Mxk=",
+ "_parent": {
+ "$ref": "AAAAAAFMve0N3vG49Zo="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve0N3fG3/oM="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 580,
+ "top": 80,
+ "width": 1,
+ "height": 160,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 520,
+ "top": 40,
+ "width": 119,
+ "height": 200,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMve0N3vG5q7Y="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMve0N3/G+Mxk="
+ }
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMve1X7PHZB+A=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve1X7PHYnIg="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve1X7PHacWU=",
+ "_parent": {
+ "$ref": "AAAAAAFMve1X7PHZB+A="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve1X7PHYnIg="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 415,
+ "top": 108,
+ "width": 149,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve1X7PHZB+A="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "2 : getHouses( 1. data )",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve1X7fHbwqY=",
+ "_parent": {
+ "$ref": "AAAAAAFMve1X7PHZB+A="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve1X7PHYnIg="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 489,
+ "top": 93,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve1X7PHZB+A="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve1X7fHcMLA=",
+ "_parent": {
+ "$ref": "AAAAAAFMve1X7PHZB+A="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve1X7PHYnIg="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 489,
+ "top": 128,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve1X7PHZB+A="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMve1X7fHdH70=",
+ "_parent": {
+ "$ref": "AAAAAAFMve1X7PHZB+A="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve1X7PHYnIg="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 573,
+ "top": 124,
+ "width": 14,
+ "height": 29,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMve0N3/G+Mxk="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvekuyfE1938="
+ },
+ "lineStyle": 0,
+ "points": "406:124;573:124",
+ "nameLabel": {
+ "$ref": "AAAAAAFMve1X7PHacWU="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMve1X7fHbwqY="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMve1X7fHcMLA="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMve1X7fHdH70="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMve3fUvHzuXk=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve3fUvHylYE="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve3fUvH0uz0=",
+ "_parent": {
+ "$ref": "AAAAAAFMve3fUvHzuXk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve3fUvHylYE="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 458,
+ "top": 144,
+ "width": 61,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve3fUvHzuXk="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "3 : houses",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve3fUvH1fv0=",
+ "_parent": {
+ "$ref": "AAAAAAFMve3fUvHzuXk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve3fUvHylYE="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 488,
+ "top": 159,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve3fUvHzuXk="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve3fUvH2eMg=",
+ "_parent": {
+ "$ref": "AAAAAAFMve3fUvHzuXk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve3fUvHylYE="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 489,
+ "top": 124,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve3fUvHzuXk="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMve3fUvH3xfo=",
+ "_parent": {
+ "$ref": "AAAAAAFMve3fUvHzuXk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve3fUvHylYE="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 393,
+ "top": 140,
+ "width": 14,
+ "height": 25,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvekuyfE1938="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMve0N3/G+Mxk="
+ },
+ "lineStyle": 0,
+ "points": "573:140;406:140",
+ "nameLabel": {
+ "$ref": "AAAAAAFMve3fUvH0uz0="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMve3fUvH1fv0="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMve3fUvH2eMg="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMve3fUvH3xfo="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMve4UJfILUec=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve4UJfIKxyg="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve4UJfIMBWM=",
+ "_parent": {
+ "$ref": "AAAAAAFMve4UJfILUec="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve4UJfIKxyg="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 512,
+ "top": 163,
+ "width": 92,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -4.501296330088873,
+ "distance": 14.317821063276353,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve4UJfILUec="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "4 : a.displayList",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve4UJvINTvg=",
+ "_parent": {
+ "$ref": "AAAAAAFMve4UJfILUec="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve4UJfIKxyg="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 561,
+ "top": 153,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve4UJfILUec="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve4UJvIOP/I=",
+ "_parent": {
+ "$ref": "AAAAAAFMve4UJfILUec="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve4UJfIKxyg="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 561,
+ "top": 188,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve4UJfILUec="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMve4UJvIPqms=",
+ "_parent": {
+ "$ref": "AAAAAAFMve4UJfILUec="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve4UJfIKxyg="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 716,
+ "top": 184,
+ "width": 14,
+ "height": 43,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvemylfFXcIo="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvekuyfE1938="
+ },
+ "lineStyle": 0,
+ "points": "406:184;716:184",
+ "nameLabel": {
+ "$ref": "AAAAAAFMve4UJfIMBWM="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMve4UJvINTvg="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMve4UJvIOP/I="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMve4UJvIPqms="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqLifelineView",
+ "_id": "AAAAAAFMve98JfItunc=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve98JfIssOI="
+ },
+ "subViews": [
+ {
+ "_type": "UMLNameCompartmentView",
+ "_id": "AAAAAAFMve98JvIu3II=",
+ "_parent": {
+ "$ref": "AAAAAAFMve98JfItunc="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve98JfIssOI="
+ },
+ "subViews": [
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMve98JvIv3+Y=",
+ "_parent": {
+ "$ref": "AAAAAAFMve98JvIu3II="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -240,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMve98JvIwEfY=",
+ "_parent": {
+ "$ref": "AAAAAAFMve98JvIu3II="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;1",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 845,
+ "top": 47,
+ "width": 142,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "b: houseFeaturesGUI",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMve98JvIxt+I=",
+ "_parent": {
+ "$ref": "AAAAAAFMve98JvIu3II="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -240,
+ "top": 0,
+ "width": 104,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "text": "(from Interaction2)",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "LabelView",
+ "_id": "AAAAAAFMve98JvIyhm0=",
+ "_parent": {
+ "$ref": "AAAAAAFMve98JvIu3II="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": -240,
+ "top": 0,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "underline": false,
+ "horizontalAlignment": 1,
+ "verticalAlignment": 5
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 840,
+ "top": 40,
+ "width": 152,
+ "height": 40,
+ "autoResize": false,
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMve98JvIv3+Y="
+ },
+ "nameLabel": {
+ "$ref": "AAAAAAFMve98JvIwEfY="
+ },
+ "namespaceLabel": {
+ "$ref": "AAAAAAFMve98JvIxt+I="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMve98JvIyhm0="
+ }
+ },
+ {
+ "_type": "UMLLinePartView",
+ "_id": "AAAAAAFMve98JvIz9Zk=",
+ "_parent": {
+ "$ref": "AAAAAAFMve98JfItunc="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve98JfIssOI="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 916,
+ "top": 80,
+ "width": 1,
+ "height": 167,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 840,
+ "top": 40,
+ "width": 152,
+ "height": 207,
+ "autoResize": false,
+ "stereotypeDisplay": "label",
+ "showVisibility": true,
+ "showNamespace": false,
+ "showProperty": true,
+ "showType": true,
+ "nameCompartment": {
+ "$ref": "AAAAAAFMve98JvIu3II="
+ },
+ "wordWrap": false,
+ "linePart": {
+ "$ref": "AAAAAAFMve98JvIz9Zk="
+ }
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMve+pffJLm8Y=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve+pffJKloI="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve+pffJMCzs=",
+ "_parent": {
+ "$ref": "AAAAAAFMve+pffJLm8Y="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve+pffJKloI="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 283,
+ "top": 175,
+ "width": 30,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -3.2834897235785743,
+ "distance": 91.92388155425118,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve+pffJLm8Y="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "5 : rh",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve+pfvJNphk=",
+ "_parent": {
+ "$ref": "AAAAAAFMve+pffJLm8Y="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve+pffJKloI="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 389,
+ "top": 164,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve+pffJLm8Y="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMve+pfvJOYZw=",
+ "_parent": {
+ "$ref": "AAAAAAFMve+pffJLm8Y="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve+pffJKloI="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 389,
+ "top": 199,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMve+pffJLm8Y="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMve+pfvJPn6w=",
+ "_parent": {
+ "$ref": "AAAAAAFMve+pffJLm8Y="
+ },
+ "model": {
+ "$ref": "AAAAAAFMve+pffJKloI="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 723,
+ "top": 195,
+ "width": 14,
+ "height": 29,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMvemylfFXcIo="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvekRC/EUWiM="
+ },
+ "lineStyle": 0,
+ "points": "55:195;723:195",
+ "nameLabel": {
+ "$ref": "AAAAAAFMve+pffJMCzs="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMve+pfvJNphk="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMve+pfvJOYZw="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMve+pfvJPn6w="
+ },
+ "showProperty": true,
+ "showType": true
+ },
+ {
+ "_type": "UMLSeqMessageView",
+ "_id": "AAAAAAFMvfAohfJls+U=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEHByk="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfAohfJkx/Y="
+ },
+ "subViews": [
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfAohvJm1cM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfAohfJls+U="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfAohfJkx/Y="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 761,
+ "top": 188,
+ "width": 122,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfAohfJls+U="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "text": "6 : b.displayFeatures",
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfAohvJndDQ=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfAohfJls+U="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfAohfJkx/Y="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 822,
+ "top": 173,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": 1.5707963267948966,
+ "distance": 25,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfAohfJls+U="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "EdgeLabelView",
+ "_id": "AAAAAAFMvfAohvJo8mQ=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfAohfJls+U="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfAohfJkx/Y="
+ },
+ "visible": false,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 822,
+ "top": 208,
+ "width": 0,
+ "height": 13,
+ "autoResize": false,
+ "alpha": -1.5707963267948966,
+ "distance": 10,
+ "hostEdge": {
+ "$ref": "AAAAAAFMvfAohfJls+U="
+ },
+ "edgePosition": 1,
+ "underline": false,
+ "horizontalAlignment": 2,
+ "verticalAlignment": 5
+ },
+ {
+ "_type": "UMLActivationView",
+ "_id": "AAAAAAFMvfAoh/Jp9Es=",
+ "_parent": {
+ "$ref": "AAAAAAFMvfAohfJls+U="
+ },
+ "model": {
+ "$ref": "AAAAAAFMvfAohfJkx/Y="
+ },
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "left": 909,
+ "top": 204,
+ "width": 14,
+ "height": 29,
+ "autoResize": false
+ }
+ ],
+ "visible": true,
+ "enabled": true,
+ "lineColor": "#000000",
+ "fillColor": "#ffffff",
+ "fontColor": "#000000",
+ "font": "Arial;13;0",
+ "showShadow": true,
+ "containerChangeable": false,
+ "containerExtending": false,
+ "head": {
+ "$ref": "AAAAAAFMve98JvIz9Zk="
+ },
+ "tail": {
+ "$ref": "AAAAAAFMvemylfFXcIo="
+ },
+ "lineStyle": 0,
+ "points": "736:204;909:204",
+ "nameLabel": {
+ "$ref": "AAAAAAFMvfAohvJm1cM="
+ },
+ "stereotypeLabel": {
+ "$ref": "AAAAAAFMvfAohvJndDQ="
+ },
+ "propertyLabel": {
+ "$ref": "AAAAAAFMvfAohvJo8mQ="
+ },
+ "activation": {
+ "$ref": "AAAAAAFMvfAoh/Jp9Es="
+ },
+ "showProperty": true,
+ "showType": true
+ }
+ ],
+ "showSequenceNumber": true,
+ "showSignature": true,
+ "showActivation": true
+ }
+ ],
+ "visibility": "public",
+ "isReentrant": true,
+ "messages": [
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMveql/fFz1Ts=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "district, rooms, lrooms, brooms, kitchens, parkings",
+ "source": {
+ "$ref": "AAAAAAFMvekRCfENca8="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvekux/EuD6g="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMve1X7PHYnIg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "getHouses",
+ "source": {
+ "$ref": "AAAAAAFMvekux/EuD6g="
+ },
+ "target": {
+ "$ref": "AAAAAAFMve0N3fG3/oM="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall",
+ "arguments": " 1. data "
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMve3fUvHylYE=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "houses",
+ "source": {
+ "$ref": "AAAAAAFMve0N3fG3/oM="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvekux/EuD6g="
+ },
+ "visibility": "public",
+ "messageSort": "reply"
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMve4UJfIKxyg=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "a.displayList",
+ "source": {
+ "$ref": "AAAAAAFMvekux/EuD6g="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvemylPFQSAU="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMve+pffJKloI=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "rh",
+ "source": {
+ "$ref": "AAAAAAFMvekRCfENca8="
+ },
+ "target": {
+ "$ref": "AAAAAAFMvemylPFQSAU="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ },
+ {
+ "_type": "UMLMessage",
+ "_id": "AAAAAAFMvfAohfJkx/Y=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "b.displayFeatures",
+ "source": {
+ "$ref": "AAAAAAFMvemylPFQSAU="
+ },
+ "target": {
+ "$ref": "AAAAAAFMve98JfIssOI="
+ },
+ "visibility": "public",
+ "messageSort": "synchCall"
+ }
+ ],
+ "participants": [
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvekRCfENca8=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "Cl",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvekRCPEMmT0="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvekux/EuD6g=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "QueryAvailability2GUI",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvekuxvEtPHI="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMvemylPFQSAU=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "a: listofHousesGUI",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMvemylPFPzk0="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMve0N3fG3/oM=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "House Manager",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMve0N3fG2yhE="
+ },
+ "isMultiInstance": false
+ },
+ {
+ "_type": "UMLLifeline",
+ "_id": "AAAAAAFMve98JfIssOI=",
+ "_parent": {
+ "$ref": "AAAAAAFMvejfzvEGJJ8="
+ },
+ "name": "b: houseFeaturesGUI",
+ "visibility": "public",
+ "represent": {
+ "$ref": "AAAAAAFMve98JfIrjW4="
+ },
+ "isMultiInstance": false
+ }
+ ]
+ }
+ ],
+ "documentation": "#Description\n\n##Flow of Events\n\n#Basic Flow\n\n* 1. User clicks **Search Houses**.\n* 2. User introduces some specific dates and picks either the name of the town district or the house code, furthermore, the user can introduce extended information for the list search.\n* 2.1) **System** returns a list of all the rural houses in the specified district, with all the choosen filters aplied, whom have an offer in the specified dates.\n* 2.2) **System** returns information of the specified house.\n* 3. User either picks an offer or clicks the *Cancel* button.\n\n#Alternative Flow\n\n* 2.a) User enters invalid formated data: System displays an error message.\n* 2.b) User enters inexistant house code: System displays warning message.\n* 2.c) User enters inexistant town name : System displays warning message.\n\n\n#Precondition\n\n* None",
+ "visibility": "public",
+ "attributes": [
{
- "_type": "UMLInclude",
- "_id": "AAAAAAFMUlV4w3F9DJs=",
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvekRCPEMmT0=",
"_parent": {
"$ref": "AAAAAAFLwHR/ScB8iVM="
},
- "name": "An offer has been picked",
- "source": {
+ "name": "Role1",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "type": {
+ "$ref": "AAAAAAFLwEShFXaH7MA="
+ },
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvekuxvEtPHI=",
+ "_parent": {
"$ref": "AAAAAAFLwHR/ScB8iVM="
},
- "target": {
- "$ref": "AAAAAAFLwFHuipI2mY8="
+ "name": "Role2",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvemylPFPzk0=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
},
- "visibility": "public"
+ "name": "Role3",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMve0N3fG2yhE=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "Role4",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMve98JfIrjW4=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "Role5",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "type": "",
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvfC5ivJ9ghI=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "Role6",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "type": {
+ "$ref": "AAAAAAFLwEShFXaH7MA="
+ },
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvfDVrvKe8qM=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "Role7",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "type": "",
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvfHAzPK/FCU=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "Role8",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
+ },
+ {
+ "_type": "UMLAttribute",
+ "_id": "AAAAAAFMvfMT9PM03D8=",
+ "_parent": {
+ "$ref": "AAAAAAFLwHR/ScB8iVM="
+ },
+ "name": "Role9",
+ "visibility": "public",
+ "isStatic": false,
+ "isLeaf": false,
+ "isReadOnly": false,
+ "isOrdered": false,
+ "isUnique": false,
+ "isDerived": false,
+ "aggregation": "none",
+ "isID": false
}
],
- "documentation": "#Description\n\n##Flow of Events\n\n#Basic Flow\n\n* 1. User clicks **Search Houses**.\n* 2. User introduces some specific dates and picks either the name of the town district or the house code, furthermore, the user can introduce extended information for the list search.\n* 2.1) **System** returns a list of all the rural houses in the specified district, with all the choosen filters aplied, whom have an offer in the specified dates.\n* 2.2) **System** returns information of the specified house.\n* 3. User either picks an offer or clicks the *Cancel* button.\n\n#Alternative Flow\n\n* 2.a) User enters invalid formated data: System displays an error message.\n* 2.b) User enters inexistant house code: System displays warning message.\n* 2.c) User enters inexistant town name : System displays warning message.\n\n\n#Precondition\n\n* None",
- "visibility": "public",
"isAbstract": false,
"isFinalSpecialization": false,
"isLeaf": false