<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_IAx-MHTAEeSwcMo9W7VXAg" name="model">
  <packageImport xmi:type="uml:PackageImport" xmi:id="_bJsJ8HTaEeSOC7DG65-e3w">
    <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
  </packageImport>
  <packagedElement xmi:type="uml:Class" xmi:id="_4eyw0HTcEeSOC7DG65-e3w" name="Maintainance">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_-Y-3UHTcEeSOC7DG65-e3w" name="fromDate">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
      <defaultValue xmi:type="uml:TimeInterval" xmi:id="_DRooUHTdEeSOC7DG65-e3w" name=""/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_Eu0YAHTdEeSOC7DG65-e3w" name="toDate">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_IxeVIHTdEeSOC7DG65-e3w" name="description">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_50oF4HTdEeSOC7DG65-e3w" name="Guest">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_7cFL4HTdEeSOC7DG65-e3w" name="type">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_JrtzAHThEeSOC7DG65-e3w" name="booking" association="_JruaEHThEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_NNrFkHTbEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_JrtzAXThEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_JrtzAnThEeSOC7DG65-e3w" value="1"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_UuWhYHTeEeSOC7DG65-e3w" name="paid">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
    </ownedAttribute>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_GA6ckHTeEeSOC7DG65-e3w" name="Charge">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_NnfzcHTeEeSOC7DG65-e3w" name="name">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_Q5w1cHTeEeSOC7DG65-e3w" name="amount">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#Integer"/>
    </ownedAttribute>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_cbOGcHTeEeSOC7DG65-e3w" name="Bill">
    <ownedOperation xmi:type="uml:Operation" xmi:id="_eipF8HTeEeSOC7DG65-e3w" name="sum"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Class" xmi:id="_kGS7wHTeEeSOC7DG65-e3w" name="Person">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_mDQ-wHTeEeSOC7DG65-e3w" name="firstName">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_qkuXwHTeEeSOC7DG65-e3w" name="lastName">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_tV9wUHTeEeSOC7DG65-e3w" name="address">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_w20A4HTeEeSOC7DG65-e3w" name="email">
      <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#String"/>
    </ownedAttribute>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_Dtsx4HTgEeSOC7DG65-e3w" name="maintainance_staff_1" memberEnd="_Dtsx4XTgEeSOC7DG65-e3w _Dtq8sHTgEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_Dtsx4XTgEeSOC7DG65-e3w" name="maintainance" type="_4eyw0HTcEeSOC7DG65-e3w" association="_Dtsx4HTgEeSOC7DG65-e3w">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Dtsx4nTgEeSOC7DG65-e3w"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Dtsx43TgEeSOC7DG65-e3w" value="*"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_Dtq8sHTgEeSOC7DG65-e3w" name="staff" association="_Dtsx4HTgEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_NLnlMHTdEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Dtq8sXTgEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Dtq8snTgEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_UbpV4HTgEeSOC7DG65-e3w" name="maintainance_room_1" memberEnd="_UbpV4XTgEeSOC7DG65-e3w _UboHwHTgEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_UbpV4XTgEeSOC7DG65-e3w" name="maintainance" type="_4eyw0HTcEeSOC7DG65-e3w" association="_UbpV4HTgEeSOC7DG65-e3w">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_UbpV4nTgEeSOC7DG65-e3w"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_UbpV43TgEeSOC7DG65-e3w" value="*"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_UboHwHTgEeSOC7DG65-e3w" name="room" association="_UbpV4HTgEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_Y1EUkHTdEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_UboHwXTgEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_UboHwnTgEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_na4nEHTgEeSOC7DG65-e3w" name="roomType_room_1" memberEnd="_na4nEXTgEeSOC7DG65-e3w _na4AAHTgEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_na4nEXTgEeSOC7DG65-e3w" name="roomType" association="_na4nEHTgEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_c1EbwHTcEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_na4nEnTgEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_na4nE3TgEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_na4AAHTgEeSOC7DG65-e3w" name="room" association="_na4nEHTgEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_Y1EUkHTdEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_na4AAXTgEeSOC7DG65-e3w"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_na4AAnTgEeSOC7DG65-e3w" value="*"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_z2tOkHTgEeSOC7DG65-e3w" name="room_booking_1" memberEnd="_z2tOkXTgEeSOC7DG65-e3w _z2sngHTgEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_z2tOkXTgEeSOC7DG65-e3w" name="room" association="_z2tOkHTgEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_Y1EUkHTdEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_z2tOknTgEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_z2t1oHTgEeSOC7DG65-e3w" value="*"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_z2sngHTgEeSOC7DG65-e3w" name="booking" association="_z2tOkHTgEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_NNrFkHTbEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_z2sngXTgEeSOC7DG65-e3w"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_z2sngnTgEeSOC7DG65-e3w" value="*"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_JruaEHThEeSOC7DG65-e3w" name="guest_booking_1" memberEnd="_JruaEXThEeSOC7DG65-e3w _JrtzAHThEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_JruaEXThEeSOC7DG65-e3w" name="guest" type="_50oF4HTdEeSOC7DG65-e3w" association="_JruaEHThEeSOC7DG65-e3w">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_JruaEnThEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_JruaE3ThEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_bYZQIHThEeSOC7DG65-e3w" name="customer_booking_1" memberEnd="_bYZQIXThEeSOC7DG65-e3w _bYYpEHThEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_bYZQIXThEeSOC7DG65-e3w" name="customer" association="_bYZQIHThEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_SwfqYHTaEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_bYZQInThEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_bYZQI3ThEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_bYYpEHThEeSOC7DG65-e3w" name="booking" association="_bYZQIHThEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_NNrFkHTbEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_bYYpEXThEeSOC7DG65-e3w"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_bYYpEnThEeSOC7DG65-e3w" value="*"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_wPvAgHTjEeSOC7DG65-e3w" name="guest_room_1" memberEnd="_wPvAgXTjEeSOC7DG65-e3w _wPuZcHTjEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_wPvAgXTjEeSOC7DG65-e3w" name="guest" type="_50oF4HTdEeSOC7DG65-e3w" association="_wPvAgHTjEeSOC7DG65-e3w">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_wPvAgnTjEeSOC7DG65-e3w"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_wPvAg3TjEeSOC7DG65-e3w" value="*"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_wPuZcHTjEeSOC7DG65-e3w" name="room" association="_wPvAgHTjEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_Y1EUkHTdEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_wPuZcXTjEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_wPuZcnTjEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_8IORcHTjEeSOC7DG65-e3w" name="bill_booking_1" memberEnd="_8IORcXTjEeSOC7DG65-e3w _8INqYHTjEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_8IORcXTjEeSOC7DG65-e3w" name="bill" type="_cbOGcHTeEeSOC7DG65-e3w" association="_8IORcHTjEeSOC7DG65-e3w">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_8IORcnTjEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_8IORc3TjEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_8INqYHTjEeSOC7DG65-e3w" name="booking" association="_8IORcHTjEeSOC7DG65-e3w">
      <type xmi:type="uml:Class" href="Classes.uml#_NNrFkHTbEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_8INqYXTjEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_8INqYnTjEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_HYo1wHTkEeSOC7DG65-e3w" name="charge_bill_1" memberEnd="_HYo1wXTkEeSOC7DG65-e3w _HYoOsHTkEeSOC7DG65-e3w">
    <ownedEnd xmi:type="uml:Property" xmi:id="_HYo1wXTkEeSOC7DG65-e3w" name="charge" type="_GA6ckHTeEeSOC7DG65-e3w" association="_HYo1wHTkEeSOC7DG65-e3w">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HYo1wnTkEeSOC7DG65-e3w"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HYo1w3TkEeSOC7DG65-e3w" value="*"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_HYoOsHTkEeSOC7DG65-e3w" name="bill" type="_cbOGcHTeEeSOC7DG65-e3w" association="_HYo1wHTkEeSOC7DG65-e3w">
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_HYoOsXTkEeSOC7DG65-e3w" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_HYoOsnTkEeSOC7DG65-e3w" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Realization" xmi:id="_T1CFAHTkEeSOC7DG65-e3w" name="Realization1" supplier="_kGS7wHTeEeSOC7DG65-e3w">
    <client xmi:type="uml:Class" href="Classes.uml#_SwfqYHTaEeSOC7DG65-e3w"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Realization" xmi:id="_gmFVoHTkEeSOC7DG65-e3w" name="Realization2" client="_50oF4HTdEeSOC7DG65-e3w" supplier="_kGS7wHTeEeSOC7DG65-e3w"/>
  <packagedElement xmi:type="uml:Realization" xmi:id="_i2LI8HTkEeSOC7DG65-e3w" name="Realization3" supplier="_kGS7wHTeEeSOC7DG65-e3w">
    <client xmi:type="uml:Class" href="Classes.uml#_NLnlMHTdEeSOC7DG65-e3w"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Activity" xmi:id="_g93RkHTmEeSOC7DG65-e3w" name="Activity1" node="_3V98AHTmEeSOC7DG65-e3w _56598HTmEeSOC7DG65-e3w _PaTewHTnEeSOC7DG65-e3w _bCnlsHTnEeSOC7DG65-e3w _n5rXsHTnEeSOC7DG65-e3w _r6ZbIHTnEeSOC7DG65-e3w _zuu6IHTnEeSOC7DG65-e3w _1RDzEHToEeSOC7DG65-e3w _3yWEEHToEeSOC7DG65-e3w _jjWlwHTpEeSOC7DG65-e3w _2W4WMHTpEeSOC7DG65-e3w _4VmFoHTpEeSOC7DG65-e3w" group="_tYls4HTmEeSOC7DG65-e3w _vusBkHTmEeSOC7DG65-e3w">
    <edge xmi:type="uml:ControlFlow" xmi:id="_HxkLwHTnEeSOC7DG65-e3w" name="" target="_56598HTmEeSOC7DG65-e3w" source="_3V98AHTmEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_HxmA8HTnEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_HxmoAHTnEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_VfgicHTnEeSOC7DG65-e3w" name="ControlFlow1" target="_PaTewHTnEeSOC7DG65-e3w" source="_56598HTmEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_VfhJgHTnEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_VfhJgXTnEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_hfSuMHTnEeSOC7DG65-e3w" name="ControlFlow2" target="_bCnlsHTnEeSOC7DG65-e3w" source="_PaTewHTnEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_hfUjYHTnEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_hfUjYXTnEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_vUXAkHTnEeSOC7DG65-e3w" name="ControlFlow3" target="_r6ZbIHTnEeSOC7DG65-e3w" source="_bCnlsHTnEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_vUY1wHTnEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_vUY1wXTnEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_FVYyUHTpEeSOC7DG65-e3w" name="ControlFlow4" target="_1RDzEHToEeSOC7DG65-e3w" source="_r6ZbIHTnEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_FVangHTpEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_FVbOkHTpEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_H65cAHTpEeSOC7DG65-e3w" name="ControlFlow5" target="_n5rXsHTnEeSOC7DG65-e3w" source="_1RDzEHToEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_H66DEHTpEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_H66qIHTpEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_K3eh4HTpEeSOC7DG65-e3w" name="OK" target="_n5rXsHTnEeSOC7DG65-e3w" source="_1RDzEHToEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_K3gXEHTpEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_K3gXEXTpEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_bbuXUHTpEeSOC7DG65-e3w" name="ControlFlow6" target="_3yWEEHToEeSOC7DG65-e3w" source="_r6ZbIHTnEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_bbwMgHTpEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_bbwMgXTpEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_lQTPwHTpEeSOC7DG65-e3w" name="OK" target="_jjWlwHTpEeSOC7DG65-e3w" source="_3yWEEHToEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_lQVE8HTpEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_lQVsAHTpEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_r_lyQHTpEeSOC7DG65-e3w" name=" " target="_56598HTmEeSOC7DG65-e3w" source="_n5rXsHTnEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_r_nncHTpEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_r_nncXTpEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_6KzTwHTpEeSOC7DG65-e3w" name="incorrect date" target="_4VmFoHTpEeSOC7DG65-e3w" source="_n5rXsHTnEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_6K0h4HTpEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_6K1I8HTpEeSOC7DG65-e3w"/>
    </edge>
    <edge xmi:type="uml:ControlFlow" xmi:id="_-e7bYHTpEeSOC7DG65-e3w" name="ControlFlow7" target="_4VmFoHTpEeSOC7DG65-e3w" source="_jjWlwHTpEeSOC7DG65-e3w">
      <guard xmi:type="uml:LiteralBoolean" xmi:id="_-e8CcHTpEeSOC7DG65-e3w" value="true"/>
      <weight xmi:type="uml:LiteralInteger" xmi:id="_-e8CcXTpEeSOC7DG65-e3w"/>
    </edge>
    <group xmi:type="uml:ActivityPartition" xmi:id="_tYls4HTmEeSOC7DG65-e3w" name="User" node="_3V98AHTmEeSOC7DG65-e3w _56598HTmEeSOC7DG65-e3w _PaTewHTnEeSOC7DG65-e3w"/>
    <group xmi:type="uml:ActivityPartition" xmi:id="_vusBkHTmEeSOC7DG65-e3w" name="System" node="_3yWEEHToEeSOC7DG65-e3w _jjWlwHTpEeSOC7DG65-e3w _4VmFoHTpEeSOC7DG65-e3w _bCnlsHTnEeSOC7DG65-e3w _n5rXsHTnEeSOC7DG65-e3w _r6ZbIHTnEeSOC7DG65-e3w _1RDzEHToEeSOC7DG65-e3w"/>
    <node xmi:type="uml:InitialNode" xmi:id="_3V98AHTmEeSOC7DG65-e3w" name="InitialNode1" outgoing="_HxkLwHTnEeSOC7DG65-e3w" inPartition="_tYls4HTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:DecisionNode" xmi:id="_56598HTmEeSOC7DG65-e3w" name="DecisionNode1" incoming="_HxkLwHTnEeSOC7DG65-e3w _r_lyQHTpEeSOC7DG65-e3w" outgoing="_VfgicHTnEeSOC7DG65-e3w" inPartition="_tYls4HTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_PaTewHTnEeSOC7DG65-e3w" name="Input:checkIn, checkOut, numberOfGuests" incoming="_VfgicHTnEeSOC7DG65-e3w" outgoing="_hfSuMHTnEeSOC7DG65-e3w" inPartition="_tYls4HTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_bCnlsHTnEeSOC7DG65-e3w" name="Check, if dates are correct" incoming="_hfSuMHTnEeSOC7DG65-e3w" outgoing="_vUXAkHTnEeSOC7DG65-e3w" inPartition="_vusBkHTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:DecisionNode" xmi:id="_n5rXsHTnEeSOC7DG65-e3w" name="DecisionNode2" incoming="_H65cAHTpEeSOC7DG65-e3w _K3eh4HTpEeSOC7DG65-e3w" outgoing="_r_lyQHTpEeSOC7DG65-e3w _6KzTwHTpEeSOC7DG65-e3w" inPartition="_vusBkHTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:ForkNode" xmi:id="_r6ZbIHTnEeSOC7DG65-e3w" name="ForkNode1" incoming="_vUXAkHTnEeSOC7DG65-e3w" outgoing="_FVYyUHTpEeSOC7DG65-e3w _bbuXUHTpEeSOC7DG65-e3w" inPartition="_vusBkHTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:AcceptEventAction" xmi:id="_zuu6IHTnEeSOC7DG65-e3w" name="current date"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_1RDzEHToEeSOC7DG65-e3w" name="Current date" incoming="_FVYyUHTpEeSOC7DG65-e3w" outgoing="_H65cAHTpEeSOC7DG65-e3w _K3eh4HTpEeSOC7DG65-e3w" inPartition="_vusBkHTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:OpaqueAction" xmi:id="_3yWEEHToEeSOC7DG65-e3w" name="Same date" incoming="_bbuXUHTpEeSOC7DG65-e3w" outgoing="_lQTPwHTpEeSOC7DG65-e3w" inPartition="_vusBkHTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:DecisionNode" xmi:id="_jjWlwHTpEeSOC7DG65-e3w" name="DecisionNode3" incoming="_lQTPwHTpEeSOC7DG65-e3w" outgoing="_-e7bYHTpEeSOC7DG65-e3w" inPartition="_vusBkHTmEeSOC7DG65-e3w"/>
    <node xmi:type="uml:DecisionNode" xmi:id="_2W4WMHTpEeSOC7DG65-e3w" name="DecisionNode4"/>
    <node xmi:type="uml:MergeNode" xmi:id="_4VmFoHTpEeSOC7DG65-e3w" name="MergeNode1" incoming="_6KzTwHTpEeSOC7DG65-e3w _-e7bYHTpEeSOC7DG65-e3w" inPartition="_vusBkHTmEeSOC7DG65-e3w"/>
  </packagedElement>
  <packagedElement xmi:type="uml:TimeObservation" xmi:id="_k82s4HV5EeSOC7DG65-e3w" name="TimeObservation1"/>
  <packagedElement xmi:type="uml:Component" xmi:id="_sVMfEHYLEeSMx7vuKDnJZg" name="Staff"/>
  <packagedElement xmi:type="uml:Component" xmi:id="_QaUx0HYaEeSNRvHXkk2GGA" name="User"/>
  <packagedElement xmi:type="uml:Usage" xmi:id="_QahmIXYaEeSNRvHXkk2GGA" name="Usage0" client="_QaUx0HYaEeSNRvHXkk2GGA">
    <supplier xmi:type="uml:Interface" href="Classes.uml#_QaiNMXYaEeSNRvHXkk2GGA"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_1FSzYHZmEeSBRfeA9UETiw" memberEnd="_1FSzYXZmEeSBRfeA9UETiw _1FSMUHZmEeSBRfeA9UETiw">
    <ownedEnd xmi:type="uml:Property" xmi:id="_1FSzYXZmEeSBRfeA9UETiw" name="iFinanceImpl" association="_1FSzYHZmEeSBRfeA9UETiw">
      <type xmi:type="uml:Class" href="Classes.uml#_wFeDYHZmEeSBRfeA9UETiw"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_1FSzYnZmEeSBRfeA9UETiw" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_1FSzY3ZmEeSBRfeA9UETiw" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_1FSMUHZmEeSBRfeA9UETiw" name="booking" association="_1FSzYHZmEeSBRfeA9UETiw">
      <type xmi:type="uml:Class" href="Classes.uml#_NNrFkHTbEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_1FSMUXZmEeSBRfeA9UETiw"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_1FSMUnZmEeSBRfeA9UETiw" value="*"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Component" xmi:id="_HeqlgHa2EeSKk9bkKW7QkA" name="CustomerProvides">
    <ownedOperation xmi:type="uml:Operation" xmi:id="_UmN4UHa7EeSKk9bkKW7QkA" name="makePayment" concurrency="concurrent">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_UmN4UXa7EeSKk9bkKW7QkA" name="ccNumber">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_UmN4Una7EeSKk9bkKW7QkA" value="1"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_UmN4U3a7EeSKk9bkKW7QkA" value="1"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_ncHx4Ha8EeSKk9bkKW7QkA" name="ccv">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_vZWuMHa8EeSKk9bkKW7QkA" name="expiryMonth">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EInt"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_yt9SgHa8EeSKk9bkKW7QkA" name="expiryYear">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EInt"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_1X2F4Ha8EeSKk9bkKW7QkA" name="firstName">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_3ZUOYHa8EeSKk9bkKW7QkA" name="lastName">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
      </ownedParameter>
    </ownedOperation>
    <ownedOperation xmi:type="uml:Operation" xmi:id="_5mWtsHa8EeSKk9bkKW7QkA" name="isCreditCardValid" concurrency="concurrent">
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_5mWtsXa8EeSKk9bkKW7QkA" name="ccNumber">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
        <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_5mWtsna8EeSKk9bkKW7QkA" value="1"/>
        <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_5mWts3a8EeSKk9bkKW7QkA" value="1"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_5mWttHa8EeSKk9bkKW7QkA" name="ccv">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_5mWttXa8EeSKk9bkKW7QkA" name="expiryMonth">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EInt"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_5mWttna8EeSKk9bkKW7QkA" name="expiryYear">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EInt"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_5mWtt3a8EeSKk9bkKW7QkA" name="firstName">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
      </ownedParameter>
      <ownedParameter xmi:type="uml:Parameter" xmi:id="_5mWtuHa8EeSKk9bkKW7QkA" name="lastName">
        <type xmi:type="uml:PrimitiveType" href="pathmap://UML_LIBRARIES/EcorePrimitiveTypes.library.uml#EString"/>
      </ownedParameter>
    </ownedOperation>
  </packagedElement>
  <packagedElement xmi:type="uml:Component" xmi:id="_dE__UHa3EeSKk9bkKW7QkA" name="Component2"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_gA3fQHbSEeStp8eyZUfdUA" name="success"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_AfyLMHbfEeSheJiNqvd8mw" name="bookingID"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_wI-44Hb_EeSlx-SIUE5Fhw" name="roomList"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_RlcroHbfEeSheJiNqvd8mw" name="bookingID"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_axPs0HbfEeSheJiNqvd8mw" name="boolean"/>
  <packagedElement xmi:type="uml:Signal" xmi:id="_jRKfcHbfEeSheJiNqvd8mw" name="boolean"/>
  <packagedElement xmi:type="uml:Package" xmi:id="_odI_oHbgEeSheJiNqvd8mw" name="Sequence Diagrams">
    <packagedElement xmi:type="uml:Interaction" xmi:id="_aqbFYHbaEeSheJiNqvd8mw" name="BookingInteractionDiagram">
      <ownedAttribute xmi:type="uml:Property" xmi:id="_yJ8q4HbaEeSheJiNqvd8mw" name="a" type="_QaUx0HYaEeSNRvHXkk2GGA"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_4VDiQHbaEeSheJiNqvd8mw" name="bookingManagement">
        <type xmi:type="uml:Interface" href="Classes.uml#_d2I54HYeEeS6mLi5FsOguA"/>
      </ownedAttribute>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_8pUMwHbaEeSheJiNqvd8mw" name="Lifeline" represents="_yJ8q4HbaEeSheJiNqvd8mw" coveredBy="_fb1wgHbbEeSheJiNqvd8mw _fb1wgXbbEeSheJiNqvd8mw _QZz0YHbeEeSheJiNqvd8mw _W-m-IHbeEeSheJiNqvd8mw _Rml7IHbfEeSheJiNqvd8mw _Ya1PEHbfEeSheJiNqvd8mw _ayfC8HbfEeSheJiNqvd8mw _dZ5KEHbfEeSheJiNqvd8mw _jSWyQHbfEeSheJiNqvd8mw _pvXR8HbfEeSheJiNqvd8mw _1v_yQHbfEeSheJiNqvd8mw _6l2t8XbfEeSheJiNqvd8mw __dcH8XbfEeSheJiNqvd8mw"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_LHo3gHbbEeSheJiNqvd8mw" name="Lifeline0" represents="_4VDiQHbaEeSheJiNqvd8mw" coveredBy="_fb1wgHbbEeSheJiNqvd8mw _fb1wgXbbEeSheJiNqvd8mw _QZ0bcHbeEeSheJiNqvd8mw _W-m-IXbeEeSheJiNqvd8mw _RmlUEHbfEeSheJiNqvd8mw _Ya12IHbfEeSheJiNqvd8mw _ayeb4HbfEeSheJiNqvd8mw _dZ5xIHbfEeSheJiNqvd8mw _jSWLMHbfEeSheJiNqvd8mw _pvWq4HbfEeSheJiNqvd8mw _1v_LMHbfEeSheJiNqvd8mw _6l2t8HbfEeSheJiNqvd8mw __dcH8HbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_QZz0YHbeEeSheJiNqvd8mw" name="createPendingBooking_MessageSend" covered="_8pUMwHbaEeSheJiNqvd8mw" message="_QZzNUHbeEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_QZ0bcHbeEeSheJiNqvd8mw" name="createPendingBooking_MessageRecv" covered="_LHo3gHbbEeSheJiNqvd8mw" message="_QZzNUHbeEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1v_LMHbfEeSheJiNqvd8mw" name="MessageSend0" covered="_LHo3gHbbEeSheJiNqvd8mw" message="_1v-kIHbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1v_yQHbfEeSheJiNqvd8mw" name="MessageRecv0" covered="_8pUMwHbaEeSheJiNqvd8mw" message="_1v-kIHbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_fb1wgHbbEeSheJiNqvd8mw" name="SearchRoom" covered="_8pUMwHbaEeSheJiNqvd8mw _LHo3gHbbEeSheJiNqvd8mw">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_fb1wgXbbEeSheJiNqvd8mw" name="InteractionOperand" covered="_8pUMwHbaEeSheJiNqvd8mw _LHo3gHbbEeSheJiNqvd8mw">
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_fb1wgnbbEeSheJiNqvd8mw" name="sd">
            <specification xmi:type="uml:LiteralString" xmi:id="_fb1wg3bbEeSheJiNqvd8mw" value="Reference to Search Use Case "/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_fb1whHbbEeSheJiNqvd8mw" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_fb1whXbbEeSheJiNqvd8mw"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_W-m-IHbeEeSheJiNqvd8mw" name="createPendingBooking_Message0Send" covered="_8pUMwHbaEeSheJiNqvd8mw" message="_W-lwAHbeEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_W-m-IXbeEeSheJiNqvd8mw" name="createPendingBooking_Message0Recv" covered="_LHo3gHbbEeSheJiNqvd8mw" message="_W-lwAHbeEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6l2t8HbfEeSheJiNqvd8mw" name="MessageSend1" covered="_LHo3gHbbEeSheJiNqvd8mw" message="_6l1f0HbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_6l2t8XbfEeSheJiNqvd8mw" name="MessageRecv1" covered="_8pUMwHbaEeSheJiNqvd8mw" message="_6l1f0HbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ya1PEHbfEeSheJiNqvd8mw" name="addCustomerInformationToBooking_MessageSend" covered="_8pUMwHbaEeSheJiNqvd8mw" message="_Ya0A8HbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="__dcH8HbfEeSheJiNqvd8mw" name="MessageSend2" covered="_LHo3gHbbEeSheJiNqvd8mw" message="__da50HbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Rml7IHbfEeSheJiNqvd8mw" name="bookingID_Message0Recv" covered="_8pUMwHbaEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="__dcH8XbfEeSheJiNqvd8mw" name="MessageRecv2" covered="_8pUMwHbaEeSheJiNqvd8mw" message="__da50HbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_dZ5KEHbfEeSheJiNqvd8mw" name="confirmBooking_MessageSend" covered="_8pUMwHbaEeSheJiNqvd8mw" message="_dZ4jAHbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_jSWyQHbfEeSheJiNqvd8mw" name="boolean_Message0Recv" covered="_8pUMwHbaEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_dZ5xIHbfEeSheJiNqvd8mw" name="confirmBooking_MessageRecv" covered="_LHo3gHbbEeSheJiNqvd8mw" message="_dZ4jAHbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_pvXR8HbfEeSheJiNqvd8mw" name="MessageRecv" covered="_8pUMwHbaEeSheJiNqvd8mw" message="_pvVcwHbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_jSWLMHbfEeSheJiNqvd8mw" name="boolean_Message0Send" covered="_LHo3gHbbEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ayfC8HbfEeSheJiNqvd8mw" name="boolean_MessageRecv" covered="_8pUMwHbaEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_pvWq4HbfEeSheJiNqvd8mw" name="MessageSend" covered="_LHo3gHbbEeSheJiNqvd8mw" message="_pvVcwHbfEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_RmlUEHbfEeSheJiNqvd8mw" name="bookingID_Message0Send" covered="_LHo3gHbbEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ayeb4HbfEeSheJiNqvd8mw" name="boolean_MessageSend" covered="_LHo3gHbbEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Ya12IHbfEeSheJiNqvd8mw" name="addCustomerInformationToBooking_MessageRecv" covered="_LHo3gHbbEeSheJiNqvd8mw" message="_Ya0A8HbfEeSheJiNqvd8mw"/>
      <message xmi:type="uml:Message" xmi:id="_QZzNUHbeEeSheJiNqvd8mw" name="createPendingBooking_Message" messageSort="asynchCall" receiveEvent="_QZ0bcHbeEeSheJiNqvd8mw" sendEvent="_QZz0YHbeEeSheJiNqvd8mw">
        <signature xmi:type="uml:Operation" href="Classes.uml#_yR-eIHbdEeSheJiNqvd8mw"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_W-lwAHbeEeSheJiNqvd8mw" name="createPendingBooking_Message0" messageSort="asynchCall" receiveEvent="_W-m-IXbeEeSheJiNqvd8mw" sendEvent="_W-m-IHbeEeSheJiNqvd8mw">
        <signature xmi:type="uml:Operation" href="Classes.uml#_B99coHYfEeS6mLi5FsOguA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_Ya0A8HbfEeSheJiNqvd8mw" name="addCustomerInformationToBooking_Message" messageSort="asynchCall" receiveEvent="_Ya12IHbfEeSheJiNqvd8mw" sendEvent="_Ya1PEHbfEeSheJiNqvd8mw">
        <signature xmi:type="uml:Operation" href="Classes.uml#_qQizwHbcEeSheJiNqvd8mw"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_dZ4jAHbfEeSheJiNqvd8mw" name="confirmBooking_Message" messageSort="asynchCall" receiveEvent="_dZ5xIHbfEeSheJiNqvd8mw" sendEvent="_dZ5KEHbfEeSheJiNqvd8mw">
        <signature xmi:type="uml:Operation" href="Classes.uml#_D1wEsHYfEeS6mLi5FsOguA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_pvVcwHbfEeSheJiNqvd8mw" name="boolean" messageSort="asynchCall" receiveEvent="_pvXR8HbfEeSheJiNqvd8mw" sendEvent="_pvWq4HbfEeSheJiNqvd8mw"/>
      <message xmi:type="uml:Message" xmi:id="_1v-kIHbfEeSheJiNqvd8mw" name="bookingID" messageSort="asynchCall" receiveEvent="_1v_yQHbfEeSheJiNqvd8mw" sendEvent="_1v_LMHbfEeSheJiNqvd8mw"/>
      <message xmi:type="uml:Message" xmi:id="_6l1f0HbfEeSheJiNqvd8mw" name="bookingID" messageSort="asynchCall" receiveEvent="_6l2t8XbfEeSheJiNqvd8mw" sendEvent="_6l2t8HbfEeSheJiNqvd8mw"/>
      <message xmi:type="uml:Message" xmi:id="__da50HbfEeSheJiNqvd8mw" name="boolean" messageSort="asynchCall" receiveEvent="__dcH8XbfEeSheJiNqvd8mw" sendEvent="__dcH8HbfEeSheJiNqvd8mw"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Interaction" xmi:id="_H-NbgHamEeSKk9bkKW7QkA" name="CustomerToPayForTheBooking">
      <ownedComment xmi:type="uml:Comment" xmi:id="_1WbSsHwkEeSp9f6OXZXhBA">
        <body>Assume: submitted information correct, amount to pay > 0</body>
      </ownedComment>
      <ownedComment xmi:type="uml:Comment" xmi:id="_A6C08HwnEeSp9f6OXZXhBA">
        <body>Assume: &quot;True&quot; responded from b</body>
      </ownedComment>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_yq8UYHa0EeSKk9bkKW7QkA" name="c" visibility="public">
        <type xmi:type="uml:Class" href="Classes.uml#_SwfqYHTaEeSOC7DG65-e3w"/>
      </ownedAttribute>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_Qu0XsHa1EeSKk9bkKW7QkA" name="f" visibility="public">
        <type xmi:type="uml:Interface" href="Classes.uml#_bD0GwHYfEeS6mLi5FsOguA"/>
      </ownedAttribute>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_xffGgHa3EeSKk9bkKW7QkA" name="b" visibility="public" type="_HeqlgHa2EeSKk9bkKW7QkA"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_OKdMQHavEeSKk9bkKW7QkA" name="Customer" visibility="public" represents="_yq8UYHa0EeSKk9bkKW7QkA" coveredBy="_sUK7YHa7EeSKk9bkKW7QkA _K-sH8Ha8EeSKk9bkKW7QkA _GCgyUHwhEeSp9f6OXZXhBA _GC7pEHwhEeSp9f6OXZXhBA _rLW3wHwiEeSp9f6OXZXhBA _WFulAHwmEeSp9f6OXZXhBA _WFxBQHwmEeSp9f6OXZXhBA"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_Kg8dAHaxEeSKk9bkKW7QkA" name="Lifeline0" represents="_Qu0XsHa1EeSKk9bkKW7QkA" coveredBy="_sUPz4Ha7EeSKk9bkKW7QkA _K-decHa8EeSKk9bkKW7QkA _GCgyUHwhEeSp9f6OXZXhBA _GC7pEHwhEeSp9f6OXZXhBA _rLbwQHwiEeSp9f6OXZXhBA _WFulAHwmEeSp9f6OXZXhBA _WFxBQHwmEeSp9f6OXZXhBA"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_msKt4Ha3EeSKk9bkKW7QkA" name="Lifeline1" visibility="public" represents="_xffGgHa3EeSKk9bkKW7QkA" coveredBy="_WFulAHwmEeSp9f6OXZXhBA _WFxBQHwmEeSp9f6OXZXhBA"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_sUK7YHa7EeSKk9bkKW7QkA" name="calculatePayment_MessageSend" covered="_OKdMQHavEeSKk9bkKW7QkA" message="_sUBxcHa7EeSKk9bkKW7QkA"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_sUPz4Ha7EeSKk9bkKW7QkA" name="calculatePayment_MessageRecv" covered="_Kg8dAHaxEeSKk9bkKW7QkA" message="_sUBxcHa7EeSKk9bkKW7QkA"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_K-decHa8EeSKk9bkKW7QkA" name="submit_MessageSend" covered="_Kg8dAHaxEeSKk9bkKW7QkA" message="_K-WJsHa8EeSKk9bkKW7QkA"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_K-sH8Ha8EeSKk9bkKW7QkA" name="submit_MessageRecv" covered="_OKdMQHavEeSKk9bkKW7QkA" message="_K-WJsHa8EeSKk9bkKW7QkA"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_GCgyUHwhEeSp9f6OXZXhBA" name="CombinedFragment" covered="_Kg8dAHaxEeSKk9bkKW7QkA _OKdMQHavEeSKk9bkKW7QkA" interactionOperator="alt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_GC7pEHwhEeSp9f6OXZXhBA" name="InteractionOperand" visibility="public" covered="_Kg8dAHaxEeSKk9bkKW7QkA _OKdMQHavEeSKk9bkKW7QkA">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_rLW3wHwiEeSp9f6OXZXhBA" name="bankSendInvoice_MessageSend" covered="_OKdMQHavEeSKk9bkKW7QkA" message="_rKofAHwiEeSp9f6OXZXhBA"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_rLbwQHwiEeSp9f6OXZXhBA" name="bankSendInvoice_MessageRecv" covered="_Kg8dAHaxEeSKk9bkKW7QkA" message="_rKofAHwiEeSp9f6OXZXhBA"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_GC-FUHwhEeSp9f6OXZXhBA">
            <specification xmi:type="uml:LiteralString" xmi:id="_GC-FUXwhEeSp9f6OXZXhBA" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_GDAhkHwhEeSp9f6OXZXhBA" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_GC-FUnwhEeSp9f6OXZXhBA"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_WFulAHwmEeSp9f6OXZXhBA" name="CombinedFragment0" covered="_Kg8dAHaxEeSKk9bkKW7QkA _msKt4Ha3EeSKk9bkKW7QkA _OKdMQHavEeSKk9bkKW7QkA" interactionOperator="alt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_WFxBQHwmEeSp9f6OXZXhBA" name="InteractionOperand" covered="_Kg8dAHaxEeSKk9bkKW7QkA _msKt4Ha3EeSKk9bkKW7QkA _OKdMQHavEeSKk9bkKW7QkA">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_RdD5kHa8EeSKk9bkKW7QkA" name="validateWithBank_MessageSend" message="_Rc9y8Ha8EeSKk9bkKW7QkA"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_RdKAMHa8EeSKk9bkKW7QkA" name="validateWithBank_MessageRecv" message="_Rc9y8Ha8EeSKk9bkKW7QkA"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_JbwgIHa9EeSKk9bkKW7QkA" name="isCreditCardValid_MessageSend" message="_Jbn9QHa9EeSKk9bkKW7QkA"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Jb6RIHa9EeSKk9bkKW7QkA" name="isCreditCardValid_MessageRecv" message="_Jbn9QHa9EeSKk9bkKW7QkA"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_W7yWoHa9EeSKk9bkKW7QkA" name="bankTransfer_MessageSend" message="_W7nXgHa9EeSKk9bkKW7QkA"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_W79VwHa9EeSKk9bkKW7QkA" name="bankTransfer_MessageRecv" message="_W7nXgHa9EeSKk9bkKW7QkA"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Zz_S0Ha9EeSKk9bkKW7QkA" name="makePayment_MessageSend" message="_Zzrw0Ha9EeSKk9bkKW7QkA"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Z0GAgHa9EeSKk9bkKW7QkA" name="makePayment_MessageRecv" message="_Zzrw0Ha9EeSKk9bkKW7QkA"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_WFxBQXwmEeSp9f6OXZXhBA">
            <specification xmi:type="uml:LiteralString" xmi:id="_WFxBQnwmEeSp9f6OXZXhBA" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_WFxBRHwmEeSp9f6OXZXhBA" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_WFxBQ3wmEeSp9f6OXZXhBA"/>
          </guard>
        </operand>
      </fragment>
      <message xmi:type="uml:Message" xmi:id="_sUBxcHa7EeSKk9bkKW7QkA" name="calculatePayment_Message" messageSort="asynchCall" receiveEvent="_sUPz4Ha7EeSKk9bkKW7QkA" sendEvent="_sUK7YHa7EeSKk9bkKW7QkA">
        <signature xmi:type="uml:Operation" href="Classes.uml#_e5Z4QHYfEeS6mLi5FsOguA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_K-WJsHa8EeSKk9bkKW7QkA" name="submit_Message" messageSort="asynchCall" receiveEvent="_K-sH8Ha8EeSKk9bkKW7QkA" sendEvent="_K-decHa8EeSKk9bkKW7QkA">
        <signature xmi:type="uml:Operation" href="Classes.uml#_HZ-rEHa8EeSKk9bkKW7QkA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_Rc9y8Ha8EeSKk9bkKW7QkA" name="validateWithBank_Message" messageSort="asynchCall" receiveEvent="_RdKAMHa8EeSKk9bkKW7QkA" sendEvent="_RdD5kHa8EeSKk9bkKW7QkA">
        <signature xmi:type="uml:Operation" href="Classes.uml#_iPfDQHYfEeS6mLi5FsOguA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_Jbn9QHa9EeSKk9bkKW7QkA" name="isCreditCardValid_Message" messageSort="asynchCall" receiveEvent="_Jb6RIHa9EeSKk9bkKW7QkA" sendEvent="_JbwgIHa9EeSKk9bkKW7QkA" signature="_5mWtsHa8EeSKk9bkKW7QkA"/>
      <message xmi:type="uml:Message" xmi:id="_W7nXgHa9EeSKk9bkKW7QkA" name="bankTransfer_Message" messageSort="asynchCall" receiveEvent="_W79VwHa9EeSKk9bkKW7QkA" sendEvent="_W7yWoHa9EeSKk9bkKW7QkA">
        <signature xmi:type="uml:Operation" href="Classes.uml#_j-KLkHYfEeS6mLi5FsOguA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_Zzrw0Ha9EeSKk9bkKW7QkA" name="makePayment_Message" messageSort="asynchCall" receiveEvent="_Z0GAgHa9EeSKk9bkKW7QkA" sendEvent="_Zz_S0Ha9EeSKk9bkKW7QkA" signature="_UmN4UHa7EeSKk9bkKW7QkA"/>
      <message xmi:type="uml:Message" xmi:id="_rKofAHwiEeSp9f6OXZXhBA" name="bankSendInvoice_Message" messageSort="asynchCall" receiveEvent="_rLbwQHwiEeSp9f6OXZXhBA" sendEvent="_rLW3wHwiEeSp9f6OXZXhBA">
        <signature xmi:type="uml:Operation" href="Classes.uml#_lAB4QHYfEeS6mLi5FsOguA"/>
      </message>
    </packagedElement>
    <packagedElement xmi:type="uml:Interaction" xmi:id="_QakCYHYaEeSNRvHXkk2GGA" name="loginInteractionDiagram">
      <ownedAttribute xmi:type="uml:Property" xmi:id="_QakCYXYaEeSNRvHXkk2GGA" name="u" type="_QaUx0HYaEeSNRvHXkk2GGA"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_QakCYnYaEeSNRvHXkk2GGA" name="hotelManager">
        <type xmi:type="uml:Interface" href="Classes.uml#_QaiNMXYaEeSNRvHXkk2GGA"/>
      </ownedAttribute>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_QakCY3YaEeSNRvHXkk2GGA" name="Lifeline" represents="_QakCYXYaEeSNRvHXkk2GGA" coveredBy="_Xk5N8HbREeS_R5Dc7EA8ow _kbHdAHbSEeStp8eyZUfdUA"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_QakCZHYaEeSNRvHXkk2GGA" name="Lifeline0" represents="_QakCYnYaEeSNRvHXkk2GGA" coveredBy="_Xk6cEHbREeS_R5Dc7EA8ow _kbG18HbSEeStp8eyZUfdUA"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_kbHdAHbSEeStp8eyZUfdUA" name="MessageRecv" covered="_QakCY3YaEeSNRvHXkk2GGA" message="_kbFn0HbSEeStp8eyZUfdUA"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Xk5N8HbREeS_R5Dc7EA8ow" name="login_Message0Send" covered="_QakCY3YaEeSNRvHXkk2GGA" message="_Xk2xsHbREeS_R5Dc7EA8ow"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Xk6cEHbREeS_R5Dc7EA8ow" name="login_Message0Recv" covered="_QakCZHYaEeSNRvHXkk2GGA" message="_Xk2xsHbREeS_R5Dc7EA8ow"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_kbG18HbSEeStp8eyZUfdUA" name="MessageSend" covered="_QakCZHYaEeSNRvHXkk2GGA" message="_kbFn0HbSEeStp8eyZUfdUA"/>
      <message xmi:type="uml:Message" xmi:id="_Xk2xsHbREeS_R5Dc7EA8ow" name="login_Message0" messageSort="asynchCall" receiveEvent="_Xk6cEHbREeS_R5Dc7EA8ow" sendEvent="_Xk5N8HbREeS_R5Dc7EA8ow">
        <signature xmi:type="uml:Operation" href="Classes.uml#_QaiNMnYaEeSNRvHXkk2GGA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_kbFn0HbSEeStp8eyZUfdUA" name="success" messageSort="asynchCall" receiveEvent="_kbHdAHbSEeStp8eyZUfdUA" sendEvent="_kbG18HbSEeStp8eyZUfdUA"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Interaction" xmi:id="_beckYHYLEeSMx7vuKDnJZg" name="ChangeStatusOfRoom">
      <ownedAttribute xmi:type="uml:Property" xmi:id="_TVVSwHYMEeSMx7vuKDnJZg" name="a" type="_sVMfEHYLEeSMx7vuKDnJZg"/>
      <ownedAttribute xmi:type="uml:Property" xmi:id="_VgIcsHbYEeSheJiNqvd8mw" name="hotelManagement">
        <type xmi:type="uml:Interface" href="Classes.uml#_QaiNMXYaEeSNRvHXkk2GGA"/>
      </ownedAttribute>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_3AnqgHYMEeSMx7vuKDnJZg" name="Lifeline" represents="_TVVSwHYMEeSMx7vuKDnJZg" coveredBy="_i0P-IHbYEeSheJiNqvd8mw _i0XS4HbYEeSheJiNqvd8mw _CvxDEHbaEeSheJiNqvd8mw"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="__mFrgHYMEeSMx7vuKDnJZg" name="Lifeline0" represents="_VgIcsHbYEeSheJiNqvd8mw" coveredBy="_i0P-IHbYEeSheJiNqvd8mw _i0XS4HbYEeSheJiNqvd8mw _CvxqIHbaEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_CvxqIHbaEeSheJiNqvd8mw" name="changeStatusOfRoom_MessageRecv" covered="__mFrgHYMEeSMx7vuKDnJZg" message="_Cvt_wHbaEeSheJiNqvd8mw"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_i0P-IHbYEeSheJiNqvd8mw" name="SearchRoom" covered="__mFrgHYMEeSMx7vuKDnJZg _3AnqgHYMEeSMx7vuKDnJZg">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_i0XS4HbYEeSheJiNqvd8mw" name="InteractionOperand" covered="__mFrgHYMEeSMx7vuKDnJZg _3AnqgHYMEeSMx7vuKDnJZg">
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_i0aWMHbYEeSheJiNqvd8mw" name="sd">
            <specification xmi:type="uml:LiteralString" xmi:id="_BiAE4HbZEeSheJiNqvd8mw" value="Reference to Search Use Case "/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_i0a9QXbYEeSheJiNqvd8mw" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_i0a9QHbYEeSheJiNqvd8mw"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_CvxDEHbaEeSheJiNqvd8mw" name="changeStatusOfRoom_MessageSend" covered="_3AnqgHYMEeSMx7vuKDnJZg" message="_Cvt_wHbaEeSheJiNqvd8mw"/>
      <message xmi:type="uml:Message" xmi:id="_Cvt_wHbaEeSheJiNqvd8mw" name="changeStatusOfRoom_Message" messageSort="asynchCall" receiveEvent="_CvxqIHbaEeSheJiNqvd8mw" sendEvent="_CvxDEHbaEeSheJiNqvd8mw">
        <signature xmi:type="uml:Operation" href="Classes.uml#_K80rcHbXEeSheJiNqvd8mw"/>
      </message>
    </packagedElement>
    <packagedElement xmi:type="uml:Interaction" xmi:id="_0aGTcHV4EeSOC7DG65-e3w" name="CheckInInteractionDiagram">
      <lifeline xmi:type="uml:Lifeline" xmi:id="_2H_GsHV6EeSOC7DG65-e3w" name="Staff" coveredBy="_BRgY0HV7EeSOC7DG65-e3w"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_33-doHV6EeSOC7DG65-e3w" name="System" coveredBy="_BRgY0XV7EeSOC7DG65-e3w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_BRgY0HV7EeSOC7DG65-e3w" name="MessageSend" covered="_2H_GsHV6EeSOC7DG65-e3w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_BRgY0XV7EeSOC7DG65-e3w" name="MessageRecv" covered="_33-doHV6EeSOC7DG65-e3w"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Interaction" xmi:id="_6Hx5gHedEeSLSZ7tZq0LGA" name="addStaffMemberInteraction">
      <ownedComment xmi:type="uml:Comment" xmi:id="_YnK-sHefEeSX3q4aJ6qcXQ">
        <body>if adminUsername is not an admin</body>
      </ownedComment>
      <ownedComment xmi:type="uml:Comment" xmi:id="_uqg6EHefEeSX3q4aJ6qcXQ">
        <body> if userName is not a valid username</body>
      </ownedComment>
      <ownedComment xmi:type="uml:Comment" xmi:id="__QX5EHefEeSX3q4aJ6qcXQ">
        <body> if password is not a valid password
</body>
      </ownedComment>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_CRekgHeeEeSLSZ7tZq0LGA" name="u" represents="_QakCYXYaEeSNRvHXkk2GGA" coveredBy="_Pb0e4HeeEeSLSZ7tZq0LGA _WXk6oHefEeSX3q4aJ6qcXQ _WXmIwHefEeSX3q4aJ6qcXQ _f_FAYHefEeSX3q4aJ6qcXQ _sVT9QHefEeSX3q4aJ6qcXQ _sVUkUHefEeSX3q4aJ6qcXQ _zG0GQHefEeSX3q4aJ6qcXQ _5alKYHefEeSX3q4aJ6qcXQ _5alxcHefEeSX3q4aJ6qcXQ _D7TXIHegEeSX3q4aJ6qcXQ _HqpWsHegEeSX3q4aJ6qcXQ"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_CiajgHeeEeSLSZ7tZq0LGA" name="hotelManager" represents="_QakCYnYaEeSNRvHXkk2GGA" coveredBy="_Pb1tAHeeEeSLSZ7tZq0LGA _WXk6oHefEeSX3q4aJ6qcXQ _WXmIwHefEeSX3q4aJ6qcXQ _f_EZUHefEeSX3q4aJ6qcXQ _pM9FMHefEeSX3q4aJ6qcXQ _pM9sQHefEeSX3q4aJ6qcXQ _sVT9QHefEeSX3q4aJ6qcXQ _sVUkUHefEeSX3q4aJ6qcXQ _zGxC8HefEeSX3q4aJ6qcXQ _34z1oHefEeSX3q4aJ6qcXQ _340csHefEeSX3q4aJ6qcXQ _5alKYHefEeSX3q4aJ6qcXQ _5alxcHefEeSX3q4aJ6qcXQ _D7Q64HegEeSX3q4aJ6qcXQ _HqovoHegEeSX3q4aJ6qcXQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pb0e4HeeEeSLSZ7tZq0LGA" name="addStaffMember_MessageSend" covered="_CRekgHeeEeSLSZ7tZq0LGA" message="_PbMMwHeeEeSLSZ7tZq0LGA"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Pb1tAHeeEeSLSZ7tZq0LGA" name="addStaffMember_MessageRecv" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_PbMMwHeeEeSLSZ7tZq0LGA"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_WXk6oHefEeSX3q4aJ6qcXQ" name="CombinedFragment" covered="_CiajgHeeEeSLSZ7tZq0LGA _CRekgHeeEeSLSZ7tZq0LGA" interactionOperator="opt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_WXmIwHefEeSX3q4aJ6qcXQ" name="InteractionOperand" covered="_CiajgHeeEeSLSZ7tZq0LGA _CRekgHeeEeSLSZ7tZq0LGA">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f_FAYHefEeSX3q4aJ6qcXQ" name="MessageRecv" covered="_CRekgHeeEeSLSZ7tZq0LGA" message="_f_CkIHefEeSX3q4aJ6qcXQ"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f_EZUHefEeSX3q4aJ6qcXQ" name="MessageSend" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_f_CkIHefEeSX3q4aJ6qcXQ"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_WXmIwXefEeSX3q4aJ6qcXQ">
            <specification xmi:type="uml:LiteralString" xmi:id="_WXmv0HefEeSX3q4aJ6qcXQ" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_WXnW4HefEeSX3q4aJ6qcXQ" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_WXmv0XefEeSX3q4aJ6qcXQ"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_pM9FMHefEeSX3q4aJ6qcXQ" name="isValidUsername_MessageSend" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_pM73EHefEeSX3q4aJ6qcXQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_pM9sQHefEeSX3q4aJ6qcXQ" name="isValidUsername_MessageRecv" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_pM73EHefEeSX3q4aJ6qcXQ"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_sVT9QHefEeSX3q4aJ6qcXQ" name="CombinedFragment0" covered="_CiajgHeeEeSLSZ7tZq0LGA _CRekgHeeEeSLSZ7tZq0LGA" interactionOperator="opt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_sVUkUHefEeSX3q4aJ6qcXQ" name="InteractionOperand" covered="_CiajgHeeEeSLSZ7tZq0LGA _CRekgHeeEeSLSZ7tZq0LGA">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zG0GQHefEeSX3q4aJ6qcXQ" name="MessageRecv" covered="_CRekgHeeEeSLSZ7tZq0LGA" message="_zGv00HefEeSX3q4aJ6qcXQ"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zGxC8HefEeSX3q4aJ6qcXQ" name="MessageSend" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_zGv00HefEeSX3q4aJ6qcXQ"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_sVUkUXefEeSX3q4aJ6qcXQ">
            <specification xmi:type="uml:LiteralString" xmi:id="_sVVLYHefEeSX3q4aJ6qcXQ" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_sVVLYnefEeSX3q4aJ6qcXQ" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_sVVLYXefEeSX3q4aJ6qcXQ"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_HqpWsHegEeSX3q4aJ6qcXQ" name="MessageRecv" covered="_CRekgHeeEeSLSZ7tZq0LGA" message="_HqoIkHegEeSX3q4aJ6qcXQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_34z1oHefEeSX3q4aJ6qcXQ" name="isPasswordSecure_MessageSend" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_34yngHefEeSX3q4aJ6qcXQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_340csHefEeSX3q4aJ6qcXQ" name="isPasswordSecure_MessageRecv" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_34yngHefEeSX3q4aJ6qcXQ"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_5alKYHefEeSX3q4aJ6qcXQ" name="CombinedFragment1" covered="_CiajgHeeEeSLSZ7tZq0LGA _CRekgHeeEeSLSZ7tZq0LGA" interactionOperator="opt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_5alxcHefEeSX3q4aJ6qcXQ" name="InteractionOperand" covered="_CiajgHeeEeSLSZ7tZq0LGA _CRekgHeeEeSLSZ7tZq0LGA">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_D7TXIHegEeSX3q4aJ6qcXQ" name="MessageRecv" covered="_CRekgHeeEeSLSZ7tZq0LGA" message="_D7PswHegEeSX3q4aJ6qcXQ"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_D7Q64HegEeSX3q4aJ6qcXQ" name="MessageSend" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_D7PswHegEeSX3q4aJ6qcXQ"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_5alxcXefEeSX3q4aJ6qcXQ">
            <specification xmi:type="uml:LiteralString" xmi:id="_5amYgHefEeSX3q4aJ6qcXQ" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_5amYgnefEeSX3q4aJ6qcXQ" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_5amYgXefEeSX3q4aJ6qcXQ"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_HqovoHegEeSX3q4aJ6qcXQ" name="MessageSend" covered="_CiajgHeeEeSLSZ7tZq0LGA" message="_HqoIkHegEeSX3q4aJ6qcXQ"/>
      <message xmi:type="uml:Message" xmi:id="_PbMMwHeeEeSLSZ7tZq0LGA" name="addStaffMember_Message" messageSort="asynchCall" receiveEvent="_Pb1tAHeeEeSLSZ7tZq0LGA" sendEvent="_Pb0e4HeeEeSLSZ7tZq0LGA">
        <signature xmi:type="uml:Operation" href="Classes.uml#_yR3MoHYdEeS6mLi5FsOguA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_f_CkIHefEeSX3q4aJ6qcXQ" name="false" messageSort="asynchCall" receiveEvent="_f_FAYHefEeSX3q4aJ6qcXQ" sendEvent="_f_EZUHefEeSX3q4aJ6qcXQ"/>
      <message xmi:type="uml:Message" xmi:id="_pM73EHefEeSX3q4aJ6qcXQ" name="isValidUsername_Message" messageSort="asynchCall" receiveEvent="_pM9sQHefEeSX3q4aJ6qcXQ" sendEvent="_pM9FMHefEeSX3q4aJ6qcXQ">
        <signature xmi:type="uml:Operation" href="Classes.uml#_1dxvAHYdEeS6mLi5FsOguA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_zGv00HefEeSX3q4aJ6qcXQ" name="false" messageSort="asynchCall" receiveEvent="_zG0GQHefEeSX3q4aJ6qcXQ" sendEvent="_zGxC8HefEeSX3q4aJ6qcXQ"/>
      <message xmi:type="uml:Message" xmi:id="_34yngHefEeSX3q4aJ6qcXQ" name="isPasswordSecure_Message" messageSort="asynchCall" receiveEvent="_340csHefEeSX3q4aJ6qcXQ" sendEvent="_34z1oHefEeSX3q4aJ6qcXQ">
        <signature xmi:type="uml:Operation" href="Classes.uml#_0rMbgHYdEeS6mLi5FsOguA"/>
      </message>
      <message xmi:type="uml:Message" xmi:id="_D7PswHegEeSX3q4aJ6qcXQ" name="false" messageSort="asynchCall" receiveEvent="_D7TXIHegEeSX3q4aJ6qcXQ" sendEvent="_D7Q64HegEeSX3q4aJ6qcXQ"/>
      <message xmi:type="uml:Message" xmi:id="_HqoIkHegEeSX3q4aJ6qcXQ" name="true" messageSort="asynchCall" receiveEvent="_HqpWsHegEeSX3q4aJ6qcXQ" sendEvent="_HqovoHegEeSX3q4aJ6qcXQ"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Interaction" xmi:id="_9TF0gHr2EeSXcqnzxUEL_w" name="cancelBooking">
      <lifeline xmi:type="uml:Lifeline" xmi:id="_CsrvYHr3EeSXcqnzxUEL_w" name="User" coveredBy="_W-LSoHr3EeSXcqnzxUEL_w _Zja2kHr3EeSXcqnzxUEL_w _SSbVMHr3EeSXcqnzxUEL_w _NnOKUHr3EeSXcqnzxUEL_w _SScjUHr3EeSXcqnzxUEL_w _NnP_gHr3EeSXcqnzxUEL_w _vlSyUHr3EeSXcqnzxUEL_w"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_DnaSQHr3EeSXcqnzxUEL_w" name="IBookingManagement" coveredBy="_NnOKUHr3EeSXcqnzxUEL_w _NnP_gHr3EeSXcqnzxUEL_w _SSbVMHr3EeSXcqnzxUEL_w _SScjUHr3EeSXcqnzxUEL_w _W-L5sHr3EeSXcqnzxUEL_w _ZjaPgHr3EeSXcqnzxUEL_w _vlSLQHr3EeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_NnOKUHr3EeSXcqnzxUEL_w" name="CombinedFragment" covered="_DnaSQHr3EeSXcqnzxUEL_w _CsrvYHr3EeSXcqnzxUEL_w" interactionOperator="alt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_NnP_gHr3EeSXcqnzxUEL_w" name="InteractionOperand" covered="_DnaSQHr3EeSXcqnzxUEL_w _CsrvYHr3EeSXcqnzxUEL_w">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_GvPl4Hr3EeSXcqnzxUEL_w" name="MessageSend" message="_GvNJoHr3EeSXcqnzxUEL_w"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_GvQM8Hr3EeSXcqnzxUEL_w" name="MessageRecv" message="_GvNJoHr3EeSXcqnzxUEL_w"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_NnP_gXr3EeSXcqnzxUEL_w">
            <specification xmi:type="uml:LiteralString" xmi:id="_NnQmkHr3EeSXcqnzxUEL_w" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_NnQmknr3EeSXcqnzxUEL_w" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_NnQmkXr3EeSXcqnzxUEL_w"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_SSbVMHr3EeSXcqnzxUEL_w" name="CombinedFragment0" covered="_DnaSQHr3EeSXcqnzxUEL_w _CsrvYHr3EeSXcqnzxUEL_w" interactionOperator="alt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_SScjUHr3EeSXcqnzxUEL_w" name="InteractionOperand" covered="_DnaSQHr3EeSXcqnzxUEL_w _CsrvYHr3EeSXcqnzxUEL_w">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_KaV-oHr3EeSXcqnzxUEL_w" name="MessageSend0" message="_KaUwgHr3EeSXcqnzxUEL_w"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_KaWlsHr3EeSXcqnzxUEL_w" name="MessageRecv0" message="_KaUwgHr3EeSXcqnzxUEL_w"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_SScjUXr3EeSXcqnzxUEL_w">
            <specification xmi:type="uml:LiteralString" xmi:id="_SSdKYHr3EeSXcqnzxUEL_w" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_SSdKYnr3EeSXcqnzxUEL_w" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_SSdKYXr3EeSXcqnzxUEL_w"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ZjaPgHr3EeSXcqnzxUEL_w" name="MessageSend0" covered="_DnaSQHr3EeSXcqnzxUEL_w" message="_ZjZBYHr3EeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Zja2kHr3EeSXcqnzxUEL_w" name="MessageRecv0" covered="_CsrvYHr3EeSXcqnzxUEL_w" message="_ZjZBYHr3EeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_W-LSoHr3EeSXcqnzxUEL_w" name="MessageSend" covered="_CsrvYHr3EeSXcqnzxUEL_w" message="_W-KrkHr3EeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_W-L5sHr3EeSXcqnzxUEL_w" name="MessageRecv" covered="_DnaSQHr3EeSXcqnzxUEL_w" message="_W-KrkHr3EeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_vlSLQHr3EeSXcqnzxUEL_w" name="Message0Send" covered="_DnaSQHr3EeSXcqnzxUEL_w" message="_vlRkMHr3EeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_vlSyUHr3EeSXcqnzxUEL_w" name="Message0Recv" covered="_CsrvYHr3EeSXcqnzxUEL_w" message="_vlRkMHr3EeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_GvNJoHr3EeSXcqnzxUEL_w" name="getBooking(bookingID)" messageSort="asynchCall" receiveEvent="_GvQM8Hr3EeSXcqnzxUEL_w" sendEvent="_GvPl4Hr3EeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_KaUwgHr3EeSXcqnzxUEL_w" name="getBooking(roomID, date)" messageSort="asynchCall" receiveEvent="_KaWlsHr3EeSXcqnzxUEL_w" sendEvent="_KaV-oHr3EeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_W-KrkHr3EeSXcqnzxUEL_w" name="cancelBooking()" messageSort="asynchCall" receiveEvent="_W-L5sHr3EeSXcqnzxUEL_w" sendEvent="_W-LSoHr3EeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_ZjZBYHr3EeSXcqnzxUEL_w" name="bookingInformation" messageSort="asynchCall" receiveEvent="_Zja2kHr3EeSXcqnzxUEL_w" sendEvent="_ZjaPgHr3EeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_vlRkMHr3EeSXcqnzxUEL_w" name="success" messageSort="asynchCall" receiveEvent="_vlSyUHr3EeSXcqnzxUEL_w" sendEvent="_vlSLQHr3EeSXcqnzxUEL_w"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Interaction" xmi:id="_Y2CmoHsMEeSXcqnzxUEL_w" name="modifyBooking">
      <lifeline xmi:type="uml:Lifeline" xmi:id="_gBKJgHsMEeSXcqnzxUEL_w" name="User" coveredBy="_ptbvoHsOEeSXcqnzxUEL_w _ptc9wHsOEeSXcqnzxUEL_w _v3aloHsOEeSXcqnzxUEL_w _v3bMsHsOEeSXcqnzxUEL_w _zWX_0HsOEeSXcqnzxUEL_w _1FAE0HsOEeSXcqnzxUEL_w _3YfKYHsOEeSXcqnzxUEL_w _4YRMYHsOEeSXcqnzxUEL_w"/>
      <lifeline xmi:type="uml:Lifeline" xmi:id="_gy03AHsMEeSXcqnzxUEL_w" name="IBookingManagement" coveredBy="_zWZN8HsOEeSXcqnzxUEL_w _1FAr4HsOEeSXcqnzxUEL_w _v3aloHsOEeSXcqnzxUEL_w _ptbvoHsOEeSXcqnzxUEL_w _v3bMsHsOEeSXcqnzxUEL_w _ptc9wHsOEeSXcqnzxUEL_w _3YejUHsOEeSXcqnzxUEL_w _4YQlUHsOEeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1FAE0HsOEeSXcqnzxUEL_w" name="Message0Send" covered="_gBKJgHsMEeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_ptbvoHsOEeSXcqnzxUEL_w" name="CombinedFragment" covered="_gBKJgHsMEeSXcqnzxUEL_w _gy03AHsMEeSXcqnzxUEL_w" interactionOperator="alt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_ptc9wHsOEeSXcqnzxUEL_w" name="InteractionOperand" covered="_gBKJgHsMEeSXcqnzxUEL_w _gy03AHsMEeSXcqnzxUEL_w">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_mLsuQHsOEeSXcqnzxUEL_w" name="MessageRecv" message="_mLsHMHsOEeSXcqnzxUEL_w"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_mLsHMXsOEeSXcqnzxUEL_w" name="MessageSend" message="_mLsHMHsOEeSXcqnzxUEL_w"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_ptc9wXsOEeSXcqnzxUEL_w">
            <specification xmi:type="uml:LiteralString" xmi:id="_ptc9wnsOEeSXcqnzxUEL_w" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_ptdk0XsOEeSXcqnzxUEL_w" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_ptdk0HsOEeSXcqnzxUEL_w"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:CombinedFragment" xmi:id="_v3aloHsOEeSXcqnzxUEL_w" name="CombinedFragment0" covered="_gBKJgHsMEeSXcqnzxUEL_w _gy03AHsMEeSXcqnzxUEL_w" interactionOperator="alt">
        <operand xmi:type="uml:InteractionOperand" xmi:id="_v3bMsHsOEeSXcqnzxUEL_w" name="InteractionOperand" covered="_gBKJgHsMEeSXcqnzxUEL_w _gy03AHsMEeSXcqnzxUEL_w">
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_saH_YHsOEeSXcqnzxUEL_w" name="MessageSend" message="_saGxQHsOEeSXcqnzxUEL_w"/>
          <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_saImcHsOEeSXcqnzxUEL_w" name="MessageRecv" message="_saGxQHsOEeSXcqnzxUEL_w"/>
          <guard xmi:type="uml:InteractionConstraint" xmi:id="_v3bzwHsOEeSXcqnzxUEL_w">
            <specification xmi:type="uml:LiteralString" xmi:id="_v3bzwXsOEeSXcqnzxUEL_w" value="undefined"/>
            <maxint xmi:type="uml:LiteralInteger" xmi:id="_v3ca0HsOEeSXcqnzxUEL_w" value="1"/>
            <minint xmi:type="uml:LiteralInteger" xmi:id="_v3bzwnsOEeSXcqnzxUEL_w"/>
          </guard>
        </operand>
      </fragment>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3YejUHsOEeSXcqnzxUEL_w" name="Message1Send" covered="_gy03AHsMEeSXcqnzxUEL_w" message="_3Yd8QHsOEeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zWX_0HsOEeSXcqnzxUEL_w" name="MessageSend" covered="_gBKJgHsMEeSXcqnzxUEL_w" message="_zWXYwHsOEeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_zWZN8HsOEeSXcqnzxUEL_w" name="MessageRecv" covered="_gy03AHsMEeSXcqnzxUEL_w" message="_zWXYwHsOEeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_4YQlUHsOEeSXcqnzxUEL_w" name="Message2Send" covered="_gy03AHsMEeSXcqnzxUEL_w" message="_4YPXMHsOEeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_4YRMYHsOEeSXcqnzxUEL_w" name="Message2Recv" covered="_gBKJgHsMEeSXcqnzxUEL_w" message="_4YPXMHsOEeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1FAr4HsOEeSXcqnzxUEL_w" name="Message0Recv" covered="_gy03AHsMEeSXcqnzxUEL_w"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3YfKYHsOEeSXcqnzxUEL_w" name="Message1Recv" covered="_gBKJgHsMEeSXcqnzxUEL_w" message="_3Yd8QHsOEeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_mLsHMHsOEeSXcqnzxUEL_w" name="getBooking(bookingID)" messageSort="asynchCall" receiveEvent="_mLsuQHsOEeSXcqnzxUEL_w" sendEvent="_mLsHMXsOEeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_saGxQHsOEeSXcqnzxUEL_w" name="getBooking(roomID, date)" messageSort="asynchCall" receiveEvent="_saImcHsOEeSXcqnzxUEL_w" sendEvent="_saH_YHsOEeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_zWXYwHsOEeSXcqnzxUEL_w" name="updateBooking(bookingID, checkin, checkout, ...)" messageSort="asynchCall" receiveEvent="_zWZN8HsOEeSXcqnzxUEL_w" sendEvent="_zWX_0HsOEeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_3Yd8QHsOEeSXcqnzxUEL_w" name="bookingInformation" messageSort="asynchCall" receiveEvent="_3YfKYHsOEeSXcqnzxUEL_w" sendEvent="_3YejUHsOEeSXcqnzxUEL_w"/>
      <message xmi:type="uml:Message" xmi:id="_4YPXMHsOEeSXcqnzxUEL_w" name="success" messageSort="asynchCall" receiveEvent="_4YRMYHsOEeSXcqnzxUEL_w" sendEvent="_4YQlUHsOEeSXcqnzxUEL_w"/>
    </packagedElement>
  </packagedElement>
  <packagedElement xmi:type="uml:Interaction" xmi:id="_s68lsHb2EeSlx-SIUE5Fhw" name="Interaction1">
    <ownedAttribute xmi:type="uml:Property" xmi:id="_P7D5gHb3EeSlx-SIUE5Fhw" name="bookingMnagement">
      <type xmi:type="uml:Interface" href="Classes.uml#_d2I54HYeEeS6mLi5FsOguA"/>
    </ownedAttribute>
    <ownedAttribute xmi:type="uml:Property" xmi:id="_RQEkoHb3EeSlx-SIUE5Fhw" name="u" type="_QaUx0HYaEeSNRvHXkk2GGA"/>
    <nestedClassifier xmi:type="uml:PrimitiveType" xmi:id="_l5CcEIBgEeSgrrn-H6mlpQ" name="int[]"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_P7CEUHb3EeSlx-SIUE5Fhw" name="IBookingManagement" represents="_P7D5gHb3EeSlx-SIUE5Fhw" coveredBy="_ic-1MHb6EeSlx-SIUE5Fhw _3gNlIHb_EeSlx-SIUE5Fhw"/>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_RQDWgHb3EeSlx-SIUE5Fhw" name="User" represents="_RQEkoHb3EeSlx-SIUE5Fhw" coveredBy="_ic8Y8Hb6EeSlx-SIUE5Fhw _3gPaUHb_EeSlx-SIUE5Fhw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ic8Y8Hb6EeSlx-SIUE5Fhw" name="searchRoom_MessageSend" covered="_RQDWgHb3EeSlx-SIUE5Fhw" message="_ic0dIHb6EeSlx-SIUE5Fhw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ic-1MHb6EeSlx-SIUE5Fhw" name="searchRoom_MessageRecv" covered="_P7CEUHb3EeSlx-SIUE5Fhw" message="_ic0dIHb6EeSlx-SIUE5Fhw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3gNlIHb_EeSlx-SIUE5Fhw" name="roomList_MessageSend" covered="_P7CEUHb3EeSlx-SIUE5Fhw" message="_3gKh0Hb_EeSlx-SIUE5Fhw"/>
    <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_3gPaUHb_EeSlx-SIUE5Fhw" name="roomList_MessageRecv" covered="_RQDWgHb3EeSlx-SIUE5Fhw" message="_3gKh0Hb_EeSlx-SIUE5Fhw"/>
    <message xmi:type="uml:Message" xmi:id="_ic0dIHb6EeSlx-SIUE5Fhw" name="searchRoom_Message" messageSort="asynchCall" receiveEvent="_ic-1MHb6EeSlx-SIUE5Fhw" sendEvent="_ic8Y8Hb6EeSlx-SIUE5Fhw">
      <signature xmi:type="uml:Operation" href="Classes.uml#_KIB7EHYfEeS6mLi5FsOguA"/>
    </message>
    <message xmi:type="uml:Message" xmi:id="_3gKh0Hb_EeSlx-SIUE5Fhw" name="roomList_Message" messageSort="asynchSignal" receiveEvent="_3gPaUHb_EeSlx-SIUE5Fhw" sendEvent="_3gNlIHb_EeSlx-SIUE5Fhw" signature="_wI-44Hb_EeSlx-SIUE5Fhw"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_imZ6IHb-EeSlx-SIUE5Fhw" name="Actor1"/>
  <packagedElement xmi:type="uml:Association" xmi:id="_r-_t0Hn2EeSXl-11lZMmcA" memberEnd="_r-_t0Xn2EeSXl-11lZMmcA _r-8DcHn2EeSXl-11lZMmcA">
    <ownedEnd xmi:type="uml:Property" xmi:id="_r-_t0Xn2EeSXl-11lZMmcA" name="iBookingManagementImpl" association="_r-_t0Hn2EeSXl-11lZMmcA">
      <type xmi:type="uml:Class" href="Classes.uml#_queoAHZPEeSiQcRa0VNXAQ"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_r-_t0nn2EeSXl-11lZMmcA" value="1"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_r-_t03n2EeSXl-11lZMmcA" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:type="uml:Property" xmi:id="_r-8DcHn2EeSXl-11lZMmcA" name="room" association="_r-_t0Hn2EeSXl-11lZMmcA">
      <type xmi:type="uml:Class" href="Classes.uml#_Y1EUkHTdEeSOC7DG65-e3w"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_r-8DcXn2EeSXl-11lZMmcA"/>
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_r-8Dcnn2EeSXl-11lZMmcA" value="*"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Package" href="Classes.uml#_49dQQHpiEeSOqIzpWDGINg"/>
  <packagedElement xmi:type="uml:Package" xmi:id="_0KAmwHsPEeSXcqnzxUEL_w" name="Component Diagram">
    <packagedElement xmi:type="uml:Component" xmi:id="_QW-KwHsbEeSh4-XBGg9AIQ" name="Booking System"/>
    <packagedElement xmi:type="uml:InterfaceRealization" xmi:id="_UBxokHsbEeSh4-XBGg9AIQ" name="Realization0" client="_QW-KwHsbEeSh4-XBGg9AIQ">
      <supplier xmi:type="uml:Interface" href="file:/home/dlurk/workspace/tda593-hotel/BankingModel.uml#_FzZ0cHO_EeSgC_3iHN4p8A"/>
      <contract xmi:type="uml:Interface" href="file:/home/dlurk/workspace/tda593-hotel/BankingModel.uml#_FzZ0cHO_EeSgC_3iHN4p8A"/>
    </packagedElement>
    <packagedElement xmi:type="uml:InterfaceRealization" xmi:id="_Vu7G4HsbEeSh4-XBGg9AIQ" name="Realization1" client="_QW-KwHsbEeSh4-XBGg9AIQ">
      <supplier xmi:type="uml:Interface" href="Classes.uml#_QaiNMXYaEeSNRvHXkk2GGA"/>
      <contract xmi:type="uml:Interface" href="Classes.uml#_QaiNMXYaEeSNRvHXkk2GGA"/>
    </packagedElement>
    <packagedElement xmi:type="uml:InterfaceRealization" xmi:id="_WZz28HsbEeSh4-XBGg9AIQ" name="Realization2" client="_QW-KwHsbEeSh4-XBGg9AIQ">
      <supplier xmi:type="uml:Interface" href="Classes.uml#_d2I54HYeEeS6mLi5FsOguA"/>
      <contract xmi:type="uml:Interface" href="Classes.uml#_d2I54HYeEeS6mLi5FsOguA"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Component" xmi:id="_XnSWsHsbEeSh4-XBGg9AIQ" name="Customer"/>
    <packagedElement xmi:type="uml:Usage" xmi:id="_Zo8FYHsbEeSh4-XBGg9AIQ" name="Usage0" client="_XnSWsHsbEeSh4-XBGg9AIQ">
      <supplier xmi:type="uml:Interface" href="file:/home/dlurk/workspace/tda593-hotel/BankingModel.uml#_FzYmUXO_EeSgC_3iHN4p8A"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Usage" xmi:id="_aEkRcHsbEeSh4-XBGg9AIQ" name="Usage1" client="_XnSWsHsbEeSh4-XBGg9AIQ">
      <supplier xmi:type="uml:Interface" href="Classes.uml#_d2I54HYeEeS6mLi5FsOguA"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Component" xmi:id="_bIvEMHsbEeSh4-XBGg9AIQ" name="Staff"/>
    <packagedElement xmi:type="uml:Usage" xmi:id="_cXf9YHsbEeSh4-XBGg9AIQ" name="Usage2" client="_bIvEMHsbEeSh4-XBGg9AIQ">
      <supplier xmi:type="uml:Interface" href="Classes.uml#_QaiNMXYaEeSNRvHXkk2GGA"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Usage" xmi:id="_dK_P0HsbEeSh4-XBGg9AIQ" name="Usage3" client="_bIvEMHsbEeSh4-XBGg9AIQ">
      <supplier xmi:type="uml:Interface" href="Classes.uml#_d2I54HYeEeS6mLi5FsOguA"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Usage" xmi:id="_eVAL4HsbEeSh4-XBGg9AIQ" name="Usage4" client="_bIvEMHsbEeSh4-XBGg9AIQ">
      <supplier xmi:type="uml:Interface" href="file:/home/dlurk/workspace/tda593-hotel/BankingModel.uml#_FzYmUXO_EeSgC_3iHN4p8A"/>
    </packagedElement>
  </packagedElement>
</uml:Model>
