<svg version="1.1" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="1253" height="874"><defs></defs><g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#C0C0C0" stroke="none" x="243" y="47" width="115" height="39" opacity="0.2"></rect></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="236" y="40" width="115" height="39"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 236 40 L 351 40 L 351 79 L 236 79 L 236 40 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="bold" text-decoration="none" x="250" y="59.5">CreateOfferGUI</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 294.5 80 L 294.5 894" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#C0C0C0" stroke="none" x="492" y="47" width="110" height="39" opacity="0.2"></rect></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="485" y="40" width="110" height="39"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 485 40 L 595 40 L 595 79 L 485 79 L 485 40 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="bold" text-decoration="none" x="501.5" y="59.5">OfferManager</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 541.5 80 L 541.5 734" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#C0C0C0" stroke="none" x="819" y="47" width="171" height="39" opacity="0.2"></rect></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="812" y="40" width="171" height="39"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 812 40 L 983 40 L 983 79 L 812 79 L 812 40 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="bold" text-decoration="none" x="855" y="59.5">DB4OManager</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 898.5 80 L 898.5 638" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#ffffff" stroke="none" d="M 110.5709090909091 47.3 C 110.5709090909091 43.82060576 113.44931081309092 41 117 41 C 120.55068918690908 41 123.4290909090909 43.82060576 123.4290909090909 47.3 C 123.4290909090909 50.779394239999995 120.55068918690908 53.6 117 53.6 C 113.44931081309092 53.6 110.5709090909091 50.779394239999995 110.5709090909091 47.3 Z"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 110.5709090909091 47.3 C 110.5709090909091 43.82060576 113.44931081309092 41 117 41 C 120.55068918690908 41 123.4290909090909 43.82060576 123.4290909090909 47.3 C 123.4290909090909 50.779394239999995 120.55068918690908 53.6 117 53.6 C 113.44931081309092 53.6 110.5709090909091 50.779394239999995 110.5709090909091 47.3 Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 117 53.6 L 117 66.4" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 110.19272727272727 58.4 L 123.80727272727273 58.4" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 117 66.4 L 107.54545454545455 79" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 117 66.4 L 126.45454545454545 79" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="bold" text-decoration="none" x="94.5" y="99.5">: Owner</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 118.5 105 L 118.5 878" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#C0C0C0" stroke="none" x="999" y="47" width="129" height="39" opacity="0.2"></rect></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="992" y="40" width="129" height="39"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 992 40 L 1121 40 L 1121 79 L 992 79 L 992 40 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="bold" text-decoration="none" x="1006" y="59.5">&lt;of1,..,ofn&gt;: Offer</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1057.5 80 L 1057.5 415" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#C0C0C0" stroke="none" x="1127" y="47" width="173" height="39" opacity="0.2"></rect></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="1120" y="40" width="173" height="39"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1120 40 L 1293 40 L 1293 79 L 1120 79 L 1120 40 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="bold" text-decoration="none" x="1135" y="59.5">&lt;rh1,..,rhn&gt;: RuralHouse</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1207.5 80 L 1207.5 614" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 118 133 L 287 133" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 276.83732514237585 137.209517756016 L 287 133 L 276.83732514237585 128.790482243984" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="176" y="130">1 : owner</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="287" y="133" width="13" height="67"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 287 133 L 300 133 L 300 200 L 287 200 L 287 133 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 300 140 L 1200 140" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#000000" stroke="none" d="M 1189.837325142376 144.209517756016 L 1200 140 L 1189.837325142376 135.790482243984"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1189.837325142376 144.209517756016 L 1200 140 L 1189.837325142376 135.790482243984 L 1189.837325142376 144.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="695" y="137">2 : getRuralHouses</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="1200" y="140" width="13" height="52"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1200 140 L 1213 140 L 1213 192 L 1200 192 L 1200 140 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1200 184 L 300 184" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 310.16267485762415 179.790482243984 L 300 184 L 310.16267485762415 188.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="706" y="201">3 : &lt;rh1,..,rhn&gt;</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 118 264 L 287 264" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 276.83732514237585 268.209517756016 L 287 264 L 276.83732514237585 259.790482243984" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="123" y="261">4 : rh,firstDay,lastDay,price</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="287" y="264" width="13" height="588"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 287 264 L 300 264 L 300 852 L 287 852 L 287 264 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 452 424 L 1232 424 L 1232 816 L 452 816 L 452 424" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#ffffff" stroke="none" d="M 452 424 L 452 446 L 482 446 L 493 435 L 493 424 L 452 424"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 452 424 L 452 446 L 482 446 L 493 435 L 493 424 L 452 424 L 452 424" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="bold" text-decoration="none" x="457" y="441.5">alt</text></g></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="471.5" y="474.5">[exists]</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 452 637 L 1232 637" stroke-miterlimit="10" stroke-dasharray="10,3"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="471.5" y="664.5">[else]</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 300 300 L 534 300" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#000000" stroke="none" d="M 523.8373251423759 304.209517756016 L 534 300 L 523.8373251423758 295.790482243984"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 523.8373251423759 304.209517756016 L 534 300 L 523.8373251423758 295.790482243984 L 523.8373251423759 304.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="351" y="297">5 : deleteOffer(rh i ,of i)</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="534" y="300" width="13" height="144"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 534 300 L 547 300 L 547 444 L 534 444 L 534 300 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 547 312 L 891 312" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#000000" stroke="none" d="M 880.8373251423759 316.209517756016 L 891 312 L 880.8373251423758 307.790482243984"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 880.8373251423759 316.209517756016 L 891 312 L 880.8373251423758 307.790482243984 L 880.8373251423759 316.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="671" y="309">6 : deleteOffer(o)</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="891" y="312" width="13" height="28"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 891 312 L 904 312 L 904 340 L 891 340 L 891 312 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 547 373 L 1050 373" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#000000" stroke="none" d="M 1039.837325142376 377.209517756016 L 1050 373 L 1039.837325142376 368.790482243984"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1039.837325142376 377.209517756016 L 1050 373 L 1039.837325142376 368.790482243984 L 1039.837325142376 377.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="750" y="370">7 : deleteOffer(o)</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="1050" y="373" width="13" height="28"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1050 373 L 1063 373 L 1063 401 L 1050 401 L 1050 373 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 300 496 L 534 496" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#000000" stroke="none" d="M 523.8373251423759 500.209517756016 L 534 496 L 523.8373251423758 491.790482243984"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 523.8373251423759 500.209517756016 L 534 496 L 523.8373251423758 491.790482243984 L 523.8373251423759 500.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="307" y="495">8 : createOffer(rh,firstDay,lastDay,price)</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="534" y="496" width="13" height="224"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#700000" d="M 534 496 L 547 496 L 547 720 L 534 720 L 534 496 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 547 508 L 891 508" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#000000" stroke="none" d="M 880.8373251423759 512.209517756016 L 891 508 L 880.8373251423758 503.790482243984"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 880.8373251423759 512.209517756016 L 891 508 L 880.8373251423758 503.790482243984 L 880.8373251423759 512.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="564" y="505">9 : exists = existOverflappingOffer(rh,firstDay,lastDay)</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="891" y="508" width="13" height="28"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#700000" d="M 891 508 L 904 508 L 904 536 L 891 536 L 891 508 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 547 556 L 891 556" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#000000" stroke="none" d="M 880.8373251423759 560.209517756016 L 891 556 L 880.8373251423758 551.790482243984"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 880.8373251423759 560.209517756016 L 891 556 L 880.8373251423758 551.790482243984 L 880.8373251423759 560.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="596" y="552">10 : createOffer(rh,firstDay,lastDay,price)</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="891" y="556" width="13" height="36"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#700000" d="M 891 556 L 904 556 L 904 592 L 891 592 L 891 556 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 547 572 L 1200 572" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="#000000" stroke="none" d="M 1189.837325142376 576.209517756016 L 1200 572 L 1189.837325142376 567.790482243984"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1189.837325142376 576.209517756016 L 1200 572 L 1189.837325142376 567.790482243984 L 1189.837325142376 576.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="755" y="568">11 : createOffer(startDay,endDay,price)</text></g></g><g transform="translate(-50,-30) scale(1,1)"><rect fill="#ffffff" stroke="none" x="1200" y="572" width="13" height="28"></rect></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 1200 572 L 1213 572 L 1213 600 L 1200 600 L 1200 572 Z Z" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 891 579 L 547 579" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 557.1626748576241 574.790482243984 L 547 579 L 557.1626748576241 583.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="692" y="596">12 : Offer</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 534 588 L 300 588" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 310.16267485762415 583.790482243984 L 300 588 L 310.16267485762415 592.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="390" y="605">13 : Offer</text></g></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 534 692 L 300 692" stroke-miterlimit="10" stroke-dasharray="3"></path></g><g transform="translate(-50,-30) scale(1,1)"><path fill="none" stroke="#000000" d="M 310.16267485762415 687.790482243984 L 300 692 L 310.16267485762415 696.209517756016" stroke-miterlimit="10"></path></g><g transform="translate(-50,-30) scale(1,1)"><g><path fill="none" stroke="none"></path><text fill="#000000" stroke="none" font-family="Arial" font-size="13px" font-style="normal" font-weight="normal" text-decoration="none" x="393" y="709">14 : null</text></g></g></g></svg>