almost completed sequence diagrams
authorEneko Pinzolas Murua <kelossus@localhost.localdomain>
Wed, 15 Apr 2015 16:45:09 +0000 (18:45 +0200)
committerEneko Pinzolas Murua <kelossus@localhost.localdomain>
Wed, 15 Apr 2015 16:45:09 +0000 (18:45 +0200)
It2Artifacts(E)/Artifacts.mdj

index a4c68d3..373b2d9 100644 (file)
                                                                                                "$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