<details xmi:id="_ID_CqsJzEd2WEOxMF-q3iQ" key="IsReturn" value="true"/>
          <details xmi:id="_ID_CrcJzEd2WEOxMF-q3iQ" key="MessageId" value="_ID_CosJzEd2WEOxMF-q3iQ"/>
        </eAnnotations>
      </message>
    </ownedBehavior>
  </packagedElement>
  <packagedElement xmi:type="uml:UseCase" xmi:id="_UT1kUMJrEd2LAL0tDq6CIw" name="Borrow book">
    <include xmi:id="_jY--gMJrEd2LAL0tDq6CIw" addition="_bh67oMJrEd2LAL0tDq6CIw"/>
  </packagedElement>
  <packagedElement xmi:type="uml:UseCase" xmi:id="_bh67oMJrEd2LAL0tDq6CIw" name="Login the system"/>
  <packagedElement xmi:type="uml:Association" xmi:id="_g_y5kMJrEd2LAL0tDq6CIw" memberEnd="_g_y5kcJrEd2LAL0tDq6CIw _g_y5lMJrEd2LAL0tDq6CIw" navigableOwnedEnd="_g_y5kcJrEd2LAL0tDq6CIw">
    <ownedEnd xmi:id="_g_y5kcJrEd2LAL0tDq6CIw" name="" visibility="private" type="_QP9fMMJrEd2LAL0tDq6CIw" isUnique="false" association="_g_y5kMJrEd2LAL0tDq6CIw">
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_g_y5k8JrEd2LAL0tDq6CIw" value="1"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_g_y5ksJrEd2LAL0tDq6CIw" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:id="_g_y5lMJrEd2LAL0tDq6CIw" name="" visibility="private" type="_MBWwwMJrEd2LAL0tDq6CIw" isUnique="false" association="_g_y5kMJrEd2LAL0tDq6CIw">
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_g_y5lsJrEd2LAL0tDq6CIw" value="1"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_g_y5lcJrEd2LAL0tDq6CIw" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Association" xmi:id="_hnlSUMJrEd2LAL0tDq6CIw" memberEnd="_hnlSUcJrEd2LAL0tDq6CIw _hnlSVMJrEd2LAL0tDq6CIw" navigableOwnedEnd="_hnlSUcJrEd2LAL0tDq6CIw">
    <ownedEnd xmi:id="_hnlSUcJrEd2LAL0tDq6CIw" name="" visibility="private" type="_UT1kUMJrEd2LAL0tDq6CIw" isUnique="false" association="_hnlSUMJrEd2LAL0tDq6CIw">
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_hnlSU8JrEd2LAL0tDq6CIw" value="1"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_hnlSUsJrEd2LAL0tDq6CIw" value="1"/>
    </ownedEnd>
    <ownedEnd xmi:id="_hnlSVMJrEd2LAL0tDq6CIw" name="" visibility="private" type="_MBWwwMJrEd2LAL0tDq6CIw" isUnique="false" association="_hnlSUMJrEd2LAL0tDq6CIw">
      <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_hnlSVsJrEd2LAL0tDq6CIw" value="1"/>
      <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_hnlSVcJrEd2LAL0tDq6CIw" value="1"/>
    </ownedEnd>
  </packagedElement>
  <packagedElement xmi:type="uml:Actor" xmi:id="_wO7WMMJrEd2LAL0tDq6CIw" name="Librarian"/>
  <packagedElement xmi:type="uml:UseCase" xmi:id="_y77vAMJrEd2LAL0tDq6CIw" name="Lend book">
    <eAnnotations xmi:id="_TYvw4cJyEd2WEOxMF-q3iQ" source="Diagrams">
      <contents xmi:type="trufun:TSequenceDiagram" xmi:id="_TYvw4sJyEd2WEOxMF-q3iQ" id="_TYvw4MJyEd2WEOxMF-q3iQ" owner="_y77vAMJrEd2LAL0tDq6CIw" name="Lend book" zoom="1.0" gridSpacing="22,22">
        <nodes xmi:type="trufun:TInteractionNode" xmi:id="_TYvw5sJyEd2WEOxMF-q3iQ" owner="_TYvw5cJyEd2WEOxMF-q3iQ" name="Interaction3" location="10,10" size="779,512">
          <fillColor xmi:id="_TYvw58JyEd2WEOxMF-q3iQ" r="255" g="255" b="255"/>
          <lineColor xmi:id="_TYvw6MJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <fontColor xmi:id="_TYvw6cJyEd2WEOxMF-q3iQ"/>
          <nodes xmi:type="trufun:TLifelineNode_SD" xmi:id="_WiWmIsJyEd2WEOxMF-q3iQ" owner="_WiWmIMJyEd2WEOxMF-q3iQ" name=":Librarian" filled="true" location="59,0" size="84,474" autoResize="true">
            <fillColor xmi:id="_WiWmI8JyEd2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_WiWmJMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_WiWmJcJyEd2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_WiWmJsJyEd2WEOxMF-q3iQ" id="_WiWmIMJyEd2WEOxMF-q3iQ"/>
            <nodes xmi:type="trufun:TInvocationSpecificationNode" xmi:id="_dgpOA8JyEd2WEOxMF-q3iQ" owner="_dgpOAcJyEd2WEOxMF-q3iQ" name="" location="32,20" size="20,76">
              <fillColor xmi:id="_dgpOBMJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
              <lineColor xmi:id="_dgpOBcJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_dgpOB8JyEd2WEOxMF-q3iQ" owner="_dgpN8MJyEd2WEOxMF-q3iQ" name="" outgoingConnections="_dgpN88JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_dgpOCMJyEd2WEOxMF-q3iQ" owner="_dgpN98JyEd2WEOxMF-q3iQ" name="" location="0,75" size="20,1"/>
            </nodes>
            <nodes xmi:type="trufun:TInvocationSpecificationNode" xmi:id="_kXMPE8JyEd2WEOxMF-q3iQ" owner="_kXMPEcJyEd2WEOxMF-q3iQ" name="" location="32,120" size="20,76">
              <fillColor xmi:id="_kXMPFMJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
              <lineColor xmi:id="_kXMPFcJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_kXMPF8JyEd2WEOxMF-q3iQ" owner="_kXMPAMJyEd2WEOxMF-q3iQ" name="" outgoingConnections="_kXMPA8JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_kXMPGMJyEd2WEOxMF-q3iQ" owner="_kXMPB8JyEd2WEOxMF-q3iQ" name="" location="0,75" size="20,1"/>
            </nodes>
            <nodes xmi:type="trufun:TInvocationSpecificationNode" xmi:id="_sJVVs8JyEd2WEOxMF-q3iQ" owner="_sJVVscJyEd2WEOxMF-q3iQ" name="" location="32,220" size="20,126">
              <fillColor xmi:id="_sJVVtMJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
              <lineColor xmi:id="_sJVVtcJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_sJVVt8JyEd2WEOxMF-q3iQ" owner="_sJVVoMJyEd2WEOxMF-q3iQ" name="" outgoingConnections="_sJVVo8JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_sJVVuMJyEd2WEOxMF-q3iQ" owner="_sJVVp8JyEd2WEOxMF-q3iQ" name="" location="0,125" size="20,1"/>
            </nodes>
          </nodes>
          <nodes xmi:type="trufun:TLifelineNode_SD" xmi:id="_XLCWwcJyEd2WEOxMF-q3iQ" owner="_XLCWwMJyEd2WEOxMF-q3iQ" name=":LendWindow" filled="true" location="211,0" size="90,474" autoResize="true">
            <fillColor xmi:id="_XLCWwsJyEd2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_XLCWw8JyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_XLCWxMJyEd2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_XLCWxcJyEd2WEOxMF-q3iQ" id="_XLCWwMJyEd2WEOxMF-q3iQ"/>
            <nodes xmi:type="trufun:TExecutionSpecificationNode" xmi:id="_dgpOBsJyEd2WEOxMF-q3iQ" owner="_dgpOAsJyEd2WEOxMF-q3iQ" name="" location="35,20" size="20,76">
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_dgpOCcJyEd2WEOxMF-q3iQ" owner="_dgpN8cJyEd2WEOxMF-q3iQ" name="" incomingConnections="_dgpN88JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_dgpOCsJyEd2WEOxMF-q3iQ" owner="_dgpN9sJyEd2WEOxMF-q3iQ" name="" location="0,75" size="20,1"/>
              <nodes xmi:type="trufun:TInvocationSpecificationNode" xmi:id="_gK0VQ8JyEd2WEOxMF-q3iQ" owner="_gK0VQcJyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,26">
                <fillColor xmi:id="_gK0VRMJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
                <lineColor xmi:id="_gK0VRcJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
                <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_gK0VR8JyEd2WEOxMF-q3iQ" owner="_gK0VMMJyEd2WEOxMF-q3iQ" name="" outgoingConnections="_gK0VM8JyEd2WEOxMF-q3iQ" size="20,1"/>
                <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_gK0VSMJyEd2WEOxMF-q3iQ" owner="_gK0VN8JyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,1"/>
              </nodes>
            </nodes>
            <nodes xmi:type="trufun:TExecutionSpecificationNode" xmi:id="_kXMPFsJyEd2WEOxMF-q3iQ" owner="_kXMPEsJyEd2WEOxMF-q3iQ" name="" location="35,120" size="20,76">
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_kXMPGcJyEd2WEOxMF-q3iQ" owner="_kXMPAcJyEd2WEOxMF-q3iQ" name="" incomingConnections="_kXMPA8JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_kXMPGsJyEd2WEOxMF-q3iQ" owner="_kXMPBsJyEd2WEOxMF-q3iQ" name="" location="0,75" size="20,1"/>
              <nodes xmi:type="trufun:TInvocationSpecificationNode" xmi:id="_nxWBw8JyEd2WEOxMF-q3iQ" owner="_nxWBwcJyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,26">
                <fillColor xmi:id="_nxWBxMJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
                <lineColor xmi:id="_nxWBxcJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
                <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_nxWBx8JyEd2WEOxMF-q3iQ" owner="_nxWBsMJyEd2WEOxMF-q3iQ" name="" outgoingConnections="_nxWBs8JyEd2WEOxMF-q3iQ" size="20,1"/>
                <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_nxWByMJyEd2WEOxMF-q3iQ" owner="_nxWBt8JyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,1"/>
              </nodes>
            </nodes>
            <nodes xmi:type="trufun:TExecutionSpecificationNode" xmi:id="_sJVVtsJyEd2WEOxMF-q3iQ" owner="_sJVVssJyEd2WEOxMF-q3iQ" name="" location="35,220" size="20,126">
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_sJVVucJyEd2WEOxMF-q3iQ" owner="_sJVVocJyEd2WEOxMF-q3iQ" name="" incomingConnections="_sJVVo8JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_sJVVusJyEd2WEOxMF-q3iQ" owner="_sJVVpsJyEd2WEOxMF-q3iQ" name="" location="0,125" size="20,1"/>
              <nodes xmi:type="trufun:TInvocationSpecificationNode" xmi:id="_wLbSI8JyEd2WEOxMF-q3iQ" owner="_wLbSIcJyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,26">
                <fillColor xmi:id="_wLbSJMJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
                <lineColor xmi:id="_wLbSJcJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
                <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_wLbSJ8JyEd2WEOxMF-q3iQ" owner="_wLbSEMJyEd2WEOxMF-q3iQ" name="" outgoingConnections="_wLbSE8JyEd2WEOxMF-q3iQ" size="20,1"/>
                <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_wLbSKMJyEd2WEOxMF-q3iQ" owner="_wLbSF8JyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,1"/>
              </nodes>
              <nodes xmi:type="trufun:TInvocationSpecificationNode" xmi:id="_0p96A8JyEd2WEOxMF-q3iQ" owner="_0p96AcJyEd2WEOxMF-q3iQ" name="" location="0,75" size="20,26">
                <fillColor xmi:id="_0p96BMJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
                <lineColor xmi:id="_0p96BcJyEd2WEOxMF-q3iQ" r="64" g="128" b="128"/>
                <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_0p96B8JyEd2WEOxMF-q3iQ" owner="_0p958MJyEd2WEOxMF-q3iQ" name="" outgoingConnections="_0p9588JyEd2WEOxMF-q3iQ" size="20,1"/>
                <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_0p96CMJyEd2WEOxMF-q3iQ" owner="_0p9598JyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,1"/>
              </nodes>
            </nodes>
          </nodes>
          <nodes xmi:type="trufun:TLifelineNode_SD" xmi:id="_ZtnBMsJyEd2WEOxMF-q3iQ" owner="_ZtnBMMJyEd2WEOxMF-q3iQ" name=":Title" filled="true" location="356,0" size="60,474" autoResize="true">
            <fillColor xmi:id="_ZtnBM8JyEd2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_ZtnBNMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_ZtnBNcJyEd2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_ZtnBNsJyEd2WEOxMF-q3iQ" id="_ZtnBMMJyEd2WEOxMF-q3iQ"/>
            <nodes xmi:type="trufun:TExecutionSpecificationNode" xmi:id="_gK0VRsJyEd2WEOxMF-q3iQ" owner="_gK0VQsJyEd2WEOxMF-q3iQ" name="" location="20,45" size="20,26">
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_gK0VScJyEd2WEOxMF-q3iQ" owner="_gK0VMcJyEd2WEOxMF-q3iQ" name="" incomingConnections="_gK0VM8JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_gK0VSsJyEd2WEOxMF-q3iQ" owner="_gK0VNsJyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,1"/>
            </nodes>
          </nodes>
          <nodes xmi:type="trufun:TLifelineNode_SD" xmi:id="_atFhMsJyEd2WEOxMF-q3iQ" owner="_atFhMMJyEd2WEOxMF-q3iQ" name=":Borrower" filled="true" location="461,0" size="78,474" autoResize="true">
            <fillColor xmi:id="_atFhM8JyEd2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_atFhNMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_atFhNcJyEd2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_atFhNsJyEd2WEOxMF-q3iQ" id="_atFhMMJyEd2WEOxMF-q3iQ"/>
            <nodes xmi:type="trufun:TExecutionSpecificationNode" xmi:id="_wLbSJsJyEd2WEOxMF-q3iQ" owner="_wLbSIsJyEd2WEOxMF-q3iQ" name="" location="29,245" size="20,26">
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_wLbSKcJyEd2WEOxMF-q3iQ" owner="_wLbSEcJyEd2WEOxMF-q3iQ" name="" incomingConnections="_wLbSE8JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_wLbSKsJyEd2WEOxMF-q3iQ" owner="_wLbSFsJyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,1"/>
            </nodes>
          </nodes>
          <nodes xmi:type="trufun:TLifelineNode_SD" xmi:id="_bpvWssJyEd2WEOxMF-q3iQ" owner="_bpvWsMJyEd2WEOxMF-q3iQ" name=":Loan" filled="true" location="593,0" size="54,474" autoResize="true">
            <fillColor xmi:id="_bpvWs8JyEd2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_bpvWtMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_bpvWtcJyEd2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_bpvWtsJyEd2WEOxMF-q3iQ" id="_bpvWsMJyEd2WEOxMF-q3iQ"/>
            <nodes xmi:type="trufun:TExecutionSpecificationNode" xmi:id="_0p96BsJyEd2WEOxMF-q3iQ" owner="_0p96AsJyEd2WEOxMF-q3iQ" name="" location="17,295" size="20,26">
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_0p96CcJyEd2WEOxMF-q3iQ" owner="_0p958cJyEd2WEOxMF-q3iQ" name="" incomingConnections="_0p9588JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_0p96CsJyEd2WEOxMF-q3iQ" owner="_0p959sJyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,1"/>
            </nodes>
          </nodes>
          <nodes xmi:type="trufun:TLifelineNode_SD" xmi:id="_cViswsJyEd2WEOxMF-q3iQ" owner="_cViswMJyEd2WEOxMF-q3iQ" name=":Item" filled="true" location="701,0" size="54,474" autoResize="true">
            <fillColor xmi:id="_cVisw8JyEd2WEOxMF-q3iQ" r="255" g="255" b="255"/>
            <lineColor xmi:id="_cVisxMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
            <fontColor xmi:id="_cVisxcJyEd2WEOxMF-q3iQ"/>
            <stereotypeNodes xmi:id="_cVisxsJyEd2WEOxMF-q3iQ" id="_cViswMJyEd2WEOxMF-q3iQ"/>
            <nodes xmi:type="trufun:TExecutionSpecificationNode" xmi:id="_nxWBxsJyEd2WEOxMF-q3iQ" owner="_nxWBwsJyEd2WEOxMF-q3iQ" name="" lo