20081205_101740_trufun.tmx~

UML面向对象建模实例 图书管理系统 包括用例图

            </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">
              <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">
              <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="" location="17,145">
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_nxWBycJyEd2WEOxMF-q3iQ" owner="_nxWBscJyEd2WEOxMF-q3iQ" name="" incomingConnections="_nxWBs8JyEd2WEOxMF-q3iQ" size="20,1"/>
              <nodes xmi:type="trufun:TEventOccurrenceNode" xmi:id="_nxWBysJyEd2WEOxMF-q3iQ" owner="_nxWBtsJyEd2WEOxMF-q3iQ" name="" location="0,25" size="20,1"/>
            </nodes>
          </nodes>
        </nodes>
        <nodes xmi:type="trufun:SubLabel" xmi:id="_dgpOC8JyEd2WEOxMF-q3iQ" name="1: find title()" location="141,114" size="94,16" parent="_dgpN88JyEd2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
          <fontColor xmi:id="_dgpODMJyEd2WEOxMF-q3iQ"/>
        </nodes>
        <nodes xmi:type="trufun:SubLabel" xmi:id="_gK-GMMJyEd2WEOxMF-q3iQ" name="2: find(String)" location="283,139" size="94,16" parent="_gK0VM8JyEd2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
          <fontColor xmi:id="_gK-GMcJyEd2WEOxMF-q3iQ"/>
        </nodes>
        <nodes xmi:type="trufun:SubLabel" xmi:id="_kXMPG8JyEd2WEOxMF-q3iQ" name="3: find item()" location="144,214" size="88,16" parent="_kXMPA8JyEd2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
          <fontColor xmi:id="_kXMPHMJyEd2WEOxMF-q3iQ"/>
        </nodes>
        <nodes xmi:type="trufun:SubLabel" xmi:id="_nxfLoMJyEd2WEOxMF-q3iQ" name="4: find_on_title(Title)" location="430,239" size="142,16" parent="_nxWBs8JyEd2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
          <fontColor xmi:id="_nxfLocJyEd2WEOxMF-q3iQ"/>
        </nodes>
        <nodes xmi:type="trufun:SubLabel" xmi:id="_sJfGoMJyEd2WEOxMF-q3iQ" name="5: identify borrower()" location="120,314" size="136,16" parent="_sJVVo8JyEd2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
          <fontColor xmi:id="_sJfGocJyEd2WEOxMF-q3iQ"/>
        </nodes>
        <nodes xmi:type="trufun:SubLabel" xmi:id="_wLkcAMJyEd2WEOxMF-q3iQ" name="6: find(String)" location="340,339" size="94,16" parent="_wLbSE8JyEd2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
          <fontColor xmi:id="_wLkcAcJyEd2WEOxMF-q3iQ"/>
        </nodes>
        <nodes xmi:type="trufun:SubLabel" xmi:id="_0qHq8MJyEd2WEOxMF-q3iQ" name="7: create(Borrower,Item)" location="373,389" size="148,16" parent="_0p9588JyEd2WEOxMF-q3iQ" alias="Name" direction="13" offset="0,0">
          <fontColor xmi:id="_0qHq8cJyEd2WEOxMF-q3iQ"/>
        </nodes>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_dgpN88JyEd2WEOxMF-q3iQ" owner="_dgpN8sJyEd2WEOxMF-q3iQ" name="1: find title()" subLabels="_dgpOC8JyEd2WEOxMF-q3iQ" target="_dgpOCcJyEd2WEOxMF-q3iQ" source="_dgpOB8JyEd2WEOxMF-q3iQ">
          <fillColor xmi:id="_dgpN9MJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_dgpN9cJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_dgpN_sJyEd2WEOxMF-q3iQ" owner="_dgpN-MJyEd2WEOxMF-q3iQ" tag="_dgpN9sJyEd2WEOxMF-q3iQ,_dgpN98JyEd2WEOxMF-q3iQ" name="*" visible="false">
          <fillColor xmi:id="_dgpN_8JyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_dgpOAMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_gK0VM8JyEd2WEOxMF-q3iQ" owner="_gK0VMsJyEd2WEOxMF-q3iQ" name="2: find(String)" subLabels="_gK-GMMJyEd2WEOxMF-q3iQ" target="_gK0VScJyEd2WEOxMF-q3iQ" source="_gK0VR8JyEd2WEOxMF-q3iQ">
          <fillColor xmi:id="_gK0VNMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_gK0VNcJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_gK0VPsJyEd2WEOxMF-q3iQ" owner="_gK0VOMJyEd2WEOxMF-q3iQ" tag="_gK0VNsJyEd2WEOxMF-q3iQ,_gK0VN8JyEd2WEOxMF-q3iQ" name="*" visible="false">
          <fillColor xmi:id="_gK0VP8JyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_gK0VQMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_kXMPA8JyEd2WEOxMF-q3iQ" owner="_kXMPAsJyEd2WEOxMF-q3iQ" name="3: find item()" subLabels="_kXMPG8JyEd2WEOxMF-q3iQ" target="_kXMPGcJyEd2WEOxMF-q3iQ" source="_kXMPF8JyEd2WEOxMF-q3iQ">
          <fillColor xmi:id="_kXMPBMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_kXMPBcJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_kXMPDsJyEd2WEOxMF-q3iQ" owner="_kXMPCMJyEd2WEOxMF-q3iQ" tag="_kXMPBsJyEd2WEOxMF-q3iQ,_kXMPB8JyEd2WEOxMF-q3iQ" name="*" visible="false">
          <fillColor xmi:id="_kXMPD8JyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_kXMPEMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_nxWBs8JyEd2WEOxMF-q3iQ" owner="_nxWBssJyEd2WEOxMF-q3iQ" name="4: find_on_title(Title)" subLabels="_nxfLoMJyEd2WEOxMF-q3iQ" target="_nxWBycJyEd2WEOxMF-q3iQ" source="_nxWBx8JyEd2WEOxMF-q3iQ">
          <fillColor xmi:id="_nxWBtMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_nxWBtcJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_nxWBvsJyEd2WEOxMF-q3iQ" owner="_nxWBuMJyEd2WEOxMF-q3iQ" tag="_nxWBtsJyEd2WEOxMF-q3iQ,_nxWBt8JyEd2WEOxMF-q3iQ" name="*" visible="false">
          <fillColor xmi:id="_nxWBv8JyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_nxWBwMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_sJVVo8JyEd2WEOxMF-q3iQ" owner="_sJVVosJyEd2WEOxMF-q3iQ" name="5: identify borrower()" subLabels="_sJfGoMJyEd2WEOxMF-q3iQ" target="_sJVVucJyEd2WEOxMF-q3iQ" source="_sJVVt8JyEd2WEOxMF-q3iQ">
          <fillColor xmi:id="_sJVVpMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_sJVVpcJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_sJVVrsJyEd2WEOxMF-q3iQ" owner="_sJVVqMJyEd2WEOxMF-q3iQ" tag="_sJVVpsJyEd2WEOxMF-q3iQ,_sJVVp8JyEd2WEOxMF-q3iQ" name="*" visible="false">
          <fillColor xmi:id="_sJVVr8JyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_sJVVsMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_wLbSE8JyEd2WEOxMF-q3iQ" owner="_wLbSEsJyEd2WEOxMF-q3iQ" name="6: find(String)" subLabels="_wLkcAMJyEd2WEOxMF-q3iQ" target="_wLbSKcJyEd2WEOxMF-q3iQ" source="_wLbSJ8JyEd2WEOxMF-q3iQ">
          <fillColor xmi:id="_wLbSFMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_wLbSFcJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_wLbSHsJyEd2WEOxMF-q3iQ" owner="_wLbSGMJyEd2WEOxMF-q3iQ" tag="_wLbSFsJyEd2WEOxMF-q3iQ,_wLbSF8JyEd2WEOxMF-q3iQ" name="*" visible="false">
          <fillColor xmi:id="_wLbSH8JyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_wLbSIMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_0p9588JyEd2WEOxMF-q3iQ" owner="_0p958sJyEd2WEOxMF-q3iQ" name="7: create(Borrower,Item)" subLabels="_0qHq8MJyEd2WEOxMF-q3iQ" target="_0p96CcJyEd2WEOxMF-q3iQ" source="_0p96B8JyEd2WEOxMF-q3iQ">
          <fillColor xmi:id="_0p959MJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_0p959cJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <connections xmi:type="trufun:TMessageConnection_SD" xmi:id="_0p95_sJyEd2WEOxMF-q3iQ" owner="_0p95-MJyEd2WEOxMF-q3iQ" tag="_0p959sJyEd2WEOxMF-q3iQ,_0p9598JyEd2WEOxMF-q3iQ" name="*" visible="false">
          <fillColor xmi:id="_0p95_8JyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
          <lineColor xmi:id="_0p96AMJyEd2WEOxMF-q3iQ" r="192" g="192" b="192"/>
        </connections>
        <leftRuler xmi:id="_TYvw48JyEd2WEOxMF-q3iQ" unit="2"/>
        <topRuler xmi:id="_TYvw5MJyEd2WEOxMF-q3iQ" horizontal="true" unit="2"/>
      </contents>
    </eAnnotations>
    <ownedBehavior xmi:type="uml:Interaction" xmi:id="_TYvw5cJyEd2WEOxMF-q3iQ" name="Interaction3">
      <ownedParameter xmi:id="_WiWmIcJyEd2WEOxMF-q3iQ" type="_wO7WMMJrEd2LAL0tDq6CIw" direction="inout"/>
      <ownedParameter xmi:id="_ZtnBMcJyEd2WEOxMF-q3iQ" type="_7fTloMJoEd2LAL0tDq6CIw" direction="inout"/>
      <ownedParameter xmi:id="_atFhMcJyEd2WEOxMF-q3iQ" type="_-Z15kMJnEd2LAL0tDq6CIw" direction="inout"/>
      <ownedParameter xmi:id="_bpvWscJyEd2WEOxMF-q3iQ" type="_SHi90MJpEd2LAL0tDq6CIw" direction="inout"/>
      <ownedParameter xmi:id="_cViswcJyEd2WEOxMF-q3iQ" type="_kmEkEMJoEd2LAL0tDq6CIw" direction="inout"/>
      <lifeline xmi:id="_WiWmIMJyEd2WEOxMF-q3iQ" represents="_WiWmIcJyEd2WEOxMF-q3iQ" coveredBy="_dgpOAcJyEd2WEOxMF-q3iQ _dgpN8MJyEd2WEOxMF-q3iQ _dgpN98JyEd2WEOxMF-q3iQ _kXMPEcJyEd2WEOxMF-q3iQ _kXMPAMJyEd2WEOxMF-q3iQ _kXMPB8JyEd2WEOxMF-q3iQ _sJVVscJyEd2WEOxMF-q3iQ _sJVVoMJyEd2WEOxMF-q3iQ _sJVVp8JyEd2WEOxMF-q3iQ"/>
      <lifeline xmi:id="_XLCWwMJyEd2WEOxMF-q3iQ" name=":LendWindow" coveredBy="_dgpOAsJyEd2WEOxMF-q3iQ _dgpN8cJyEd2WEOxMF-q3iQ _gK0VQcJyEd2WEOxMF-q3iQ _gK0VMMJyEd2WEOxMF-q3iQ _gK0VN8JyEd2WEOxMF-q3iQ _dgpN9sJyEd2WEOxMF-q3iQ _kXMPEsJyEd2WEOxMF-q3iQ _kXMPAcJyEd2WEOxMF-q3iQ _nxWBwcJyEd2WEOxMF-q3iQ _nxWBsMJyEd2WEOxMF-q3iQ _nxWBt8JyEd2WEOxMF-q3iQ _kXMPBsJyEd2WEOxMF-q3iQ _sJVVssJyEd2WEOxMF-q3iQ _sJVVocJyEd2WEOxMF-q3iQ _wLbSIcJyEd2WEOxMF-q3iQ _wLbSEMJyEd2WEOxMF-q3iQ _wLbSF8JyEd2WEOxMF-q3iQ _0p96AcJyEd2WEOxMF-q3iQ _0p958MJyEd2WEOxMF-q3iQ _0p9598JyEd2WEOxMF-q3iQ _sJVVpsJyEd2WEOxMF-q3iQ"/>
      <lifeline xmi:id="_ZtnBMMJyEd2WEOxMF-q3iQ" represents="_ZtnBMcJyEd2WEOxMF-q3iQ" coveredBy="_gK0VQsJyEd2WEOxMF-q3iQ _gK0VMcJyEd2WEOxMF-q3iQ _gK0VNsJyEd2WEOxMF-q3iQ"/>
      <lifeline xmi:id="_atFhMMJyEd2WEOxMF-q3iQ" represents="_atFhMcJyEd2WEOxMF-q3iQ" coveredBy="_wLbSIsJyEd2WEOxMF-q3iQ _wLbSEcJyEd2WEOxMF-q3iQ _wLbSFsJyEd2WEOxMF-q3iQ"/>
      <lifeline xmi:id="_bpvWsMJyEd2WEOxMF-q3iQ" represents="_bpvWscJyEd2WEOxMF-q3iQ" coveredBy="_0p96AsJyEd2WEOxMF-q3iQ _0p958cJyEd2WEOxMF-q3iQ _0p959sJyEd2WEOxMF-q3iQ"/>
      <lifeline xmi:id="_cViswMJyEd2WEOxMF-q3iQ" represents="_cViswcJyEd2WEOxMF-q3iQ" coveredBy="_nxWBwsJyEd2WEOxMF-q3iQ _nxWBscJyEd2WEOxMF-q3iQ _nxWBtsJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_dgpN8MJyEd2WEOxMF-q3iQ" name="" covered="_WiWmIMJyEd2WEOxMF-q3iQ" message="_dgpN8sJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_dgpN8cJyEd2WEOxMF-q3iQ" name="" covered="_XLCWwMJyEd2WEOxMF-q3iQ" message="_dgpN8sJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_dgpN9sJyEd2WEOxMF-q3iQ" name="" covered="_XLCWwMJyEd2WEOxMF-q3iQ" message="_dgpN-MJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_dgpN98JyEd2WEOxMF-q3iQ" name="" covered="_WiWmIMJyEd2WEOxMF-q3iQ" message="_dgpN-MJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_dgpOAcJyEd2WEOxMF-q3iQ" name="" covered="_WiWmIMJyEd2WEOxMF-q3iQ" start="_dgpN8MJyEd2WEOxMF-q3iQ" finish="_dgpN98JyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_dgpOAsJyEd2WEOxMF-q3iQ" name="" covered="_XLCWwMJyEd2WEOxMF-q3iQ" start="_dgpN8cJyEd2WEOxMF-q3iQ" finish="_dgpN9sJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gK0VMMJyEd2WEOxMF-q3iQ" name="" covered="_XLCWwMJyEd2WEOxMF-q3iQ" message="_gK0VMsJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gK0VMcJyEd2WEOxMF-q3iQ" name="" covered="_ZtnBMMJyEd2WEOxMF-q3iQ" message="_gK0VMsJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gK0VNsJyEd2WEOxMF-q3iQ" name="" covered="_ZtnBMMJyEd2WEOxMF-q3iQ" message="_gK0VOMJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_gK0VN8JyEd2WEOxMF-q3iQ" name="" covered="_XLCWwMJyEd2WEOxMF-q3iQ" message="_gK0VOMJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_gK0VQcJyEd2WEOxMF-q3iQ" name="" covered="_XLCWwMJyEd2WEOxMF-q3iQ" start="_gK0VMMJyEd2WEOxMF-q3iQ" finish="_gK0VN8JyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_gK0VQsJyEd2WEOxMF-q3iQ" name="" covered="_ZtnBMMJyEd2WEOxMF-q3iQ" start="_gK0VMcJyEd2WEOxMF-q3iQ" finish="_gK0VNsJyEd2WEOxMF-q3iQ"/>
      <fragment xmi:type="uml:MessageOcc