<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_MpVoYLoEEeuSt7LEBEW8Fw" name="PostOrderTimingDiagram">
  <packageImport xmi:type="uml:PackageImport" xmi:id="_Mthk0LoEEeuSt7LEBEW8Fw">
    <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
  </packageImport>
  <packagedElement xmi:type="uml:Interaction" xmi:id="_OQ8fYLoEEeuSt7LEBEW8Fw" name="PostFoodItem">
    <ownedRule xmi:type="uml:TimeConstraint" xmi:id="_xGsO4LoHEeuSt7LEBEW8Fw" constrainedElement="_KkLAzboGEeuSt7LEBEW8Fw">
      <specification xmi:type="uml:TimeInterval" xmi:id="_xG4cILoHEeuSt7LEBEW8Fw"/>
    </ownedRule>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_a5WxYLoEEeuSt7LEBEW8Fw" name="Donor" coveredBy="_1s3QILoEEeuSt7LEBEW8Fw _RzHJILoFEeuSt7LEBEW8Fw _RzNPwroFEeuSt7LEBEW8Fw _Na6kYLoGEeuSt7LEBEW8Fw _Na6kbboGEeuSt7LEBEW8Fw _SCGK4LoGEeuSt7LEBEW8Fw _SCGK7boGEeuSt7LEBEW8Fw _lT0BQLoIEeuSt7LEBEW8Fw _lT6H67oIEeuSt7LEBEW8Fw _JoowILoHEeuSt7LEBEW8Fw _JoowLboHEeuSt7LEBEW8Fw _vtULsLoIEeuSt7LEBEW8Fw _vtULvboIEeuSt7LEBEW8Fw _KVXTQLoHEeuSt7LEBEW8Fw _KVdZ67oHEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1srC47oEEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.LifelineStateDefinitions">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_1srC5LoEEeuSt7LEBEW8Fw" key="_1srC4LoEEeuSt7LEBEW8Fw" value="Idle"/>
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_3NwbI7oEEeuSt7LEBEW8Fw" key="_3NwbILoEEeuSt7LEBEW8Fw" value="RequestPost"/>
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_7Sfb47oEEeuSt7LEBEW8Fw" key="_7Sfb4LoEEeuSt7LEBEW8Fw" value="DetailProviding"/>
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_cfNfc7oFEeuSt7LEBEW8Fw" key="_cfNfcLoFEeuSt7LEBEW8Fw" value="SubmitPost"/>
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_BPO1M7oHEeuSt7LEBEW8Fw" key="_BPO1MLoHEeuSt7LEBEW8Fw" value="Readmessage"/>
      </eAnnotations>
    </lifeline>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_dRRrALoEEeuSt7LEBEW8Fw" name="BrowseCatalogue" coveredBy="_t8QlJroFEeuSt7LEBEW8Fw _BrUwwLoGEeuSt7LEBEW8Fw _Bra3YLoGEeuSt7LEBEW8Fw _KkLAwLoGEeuSt7LEBEW8Fw _KkLAzboGEeuSt7LEBEW8Fw _xJdPALoHEeuSt7LEBEW8Fw _xJdPDboHEeuSt7LEBEW8Fw _BSJbwLoGEeuSt7LEBEW8Fw _BSPiZ7oGEeuSt7LEBEW8Fw _Ya78QLoGEeuSt7LEBEW8Fw _YbCC57oGEeuSt7LEBEW8Fw _N9HAkLoIEeuSt7LEBEW8Fw _N9NHN7oIEeuSt7LEBEW8Fw _wjDLwLoGEeuSt7LEBEW8Fw _wjJSZLoGEeuSt7LEBEW8Fw _8wdj0LoGEeuSt7LEBEW8Fw _8wjqd7oGEeuSt7LEBEW8Fw _tVA3kLoIEeuSt7LEBEW8Fw _tVA3nboIEeuSt7LEBEW8Fw _tFd_sLoIEeuSt7LEBEW8Fw _tFkGW7oIEeuSt7LEBEW8Fw __DnSMLoGEeuSt7LEBEW8Fw __DnSPboGEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_t8QlI7oFEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.LifelineStateDefinitions">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_t8QlJLoFEeuSt7LEBEW8Fw" key="_t8QlILoFEeuSt7LEBEW8Fw" value="Idle"/>
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_8U9JA7oFEeuSt7LEBEW8Fw" key="_8U9JALoFEeuSt7LEBEW8Fw" value="LoadPage"/>
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_TwJoI7oGEeuSt7LEBEW8Fw" key="_TwJoILoGEeuSt7LEBEW8Fw" value="SendingData"/>
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tfEdY7oGEeuSt7LEBEW8Fw" key="_tfEdYLoGEeuSt7LEBEW8Fw" value="DisplayMessage"/>
      </eAnnotations>
    </lifeline>
    <lifeline xmi:type="uml:Lifeline" xmi:id="_zQtWwLoEEeuSt7LEBEW8Fw" name="Database" coveredBy="_abCLw7oGEeuSt7LEBEW8Fw _5YVKYLoGEeuSt7LEBEW8Fw _5YVKbboGEeuSt7LEBEW8Fw _670WYLoGEeuSt7LEBEW8Fw _676dBroGEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_abCLwLoGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.LifelineStateDefinitions">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_abCLwboGEeuSt7LEBEW8Fw" key="_aa8FILoGEeuSt7LEBEW8Fw" value="Idle"/>
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_iJ_bg7oGEeuSt7LEBEW8Fw" key="_iJ_bgLoGEeuSt7LEBEW8Fw" value="AddPost"/>
      </eAnnotations>
    </lifeline>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_1s3QILoEEeuSt7LEBEW8Fw" name="Idle_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1s3QI7oEEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_1s3QJLoEEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_1srC4LoEEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_1s3QIboEEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_1s3QIroEEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_RzHJILoFEeuSt7LEBEW8Fw" name="Idle_1_To_RequestPost_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_RzHJIboFEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_RzNPwroFEeuSt7LEBEW8Fw" name="RequestPost_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_RzNPxboFEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_RzNPxroFEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_3NwbILoEEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_RzNPw7oFEeuSt7LEBEW8Fw" name="InState_RequestPost">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_RzNPxLoFEeuSt7LEBEW8Fw">
          <body>RequestPost</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_Na6kYLoGEeuSt7LEBEW8Fw" name="RequestPost_1_To_DetailProviding_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Na6kYboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_Na6kbboGEeuSt7LEBEW8Fw" name="DetailProviding_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Na6kcLoGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_Na6kcboGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_7Sfb4LoEEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_Na6kbroGEeuSt7LEBEW8Fw" name="InState_DetailProviding">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_Na6kb7oGEeuSt7LEBEW8Fw">
          <body>DetailProviding</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_SCGK4LoGEeuSt7LEBEW8Fw" name="DetailProviding_1_To_SubmitPost_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_SCGK4boGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_SCGK7boGEeuSt7LEBEW8Fw" name="SubmitPost_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_SCGK8LoGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_SCGK8boGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_cfNfcLoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_SCGK7roGEeuSt7LEBEW8Fw" name="InState_SubmitPost">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_SCGK77oGEeuSt7LEBEW8Fw">
          <body>SubmitPost</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_lT0BQLoIEeuSt7LEBEW8Fw" name="SubmitPost_1_To_Idle_2" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_lT0BQboIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_lT6H67oIEeuSt7LEBEW8Fw" name="Idle_2" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_lT6H7roIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_lT6H77oIEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_1srC4LoEEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_lT6H7LoIEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_lT6H7boIEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_JoowILoHEeuSt7LEBEW8Fw" name="Idle_2_To_Readmessage_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_JoowIboHEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_JoowLboHEeuSt7LEBEW8Fw" name="Readmessage_1" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_JoowMLoHEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_JoowMboHEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_BPO1MLoHEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_JoowLroHEeuSt7LEBEW8Fw" name="InState_Readmessage">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_JoowL7oHEeuSt7LEBEW8Fw">
          <body>Readmessage</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_vtULsLoIEeuSt7LEBEW8Fw" name="Readmessage_1_To_Idle_3" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_vtULsboIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_vtULvboIEeuSt7LEBEW8Fw" name="Idle_3" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_vtULwLoIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_vtULwboIEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_1srC4LoEEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_vtULvroIEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_vtULv7oIEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_KVXTQLoHEeuSt7LEBEW8Fw" name="Idle_3_To_Idle_4" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_KVXTQboHEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_KVdZ67oHEeuSt7LEBEW8Fw" name="Idle_4" covered="_a5WxYLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_KVdZ7roHEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_KVdZ77oHEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_1srC4LoEEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_KVdZ7LoHEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_KVdZ7boHEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_t8QlJroFEeuSt7LEBEW8Fw" name="Idle_1" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_t8QlKboFEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_t8QlKroFEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_t8QlILoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_t8QlJ7oFEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_t8QlKLoFEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_BrUwwLoGEeuSt7LEBEW8Fw" name="Idle_1_To_Idle_2" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_BrUwwboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_Bra3YLoGEeuSt7LEBEW8Fw" name="Idle_2" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Bra3Y7oGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_Bra3ZLoGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_t8QlILoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_Bra3YboGEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_Bra3YroGEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_KkLAwLoGEeuSt7LEBEW8Fw" name="Idle_2_To_LoadPage_1" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_KkLAwboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_KkLAzboGEeuSt7LEBEW8Fw" name="LoadPage_1" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_KkLA0LoGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_KkLA0boGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_8U9JALoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_KkLAzroGEeuSt7LEBEW8Fw" name="InState_LoadPage">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_KkLAz7oGEeuSt7LEBEW8Fw">
          <body>LoadPage</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_xJdPALoHEeuSt7LEBEW8Fw" name="LoadPage_1_To_LoadPage_2" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_xJdPAboHEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_xJdPDboHEeuSt7LEBEW8Fw" name="LoadPage_2" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_xJdPELoHEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_xJdPEboHEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_8U9JALoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_xJdPDroHEeuSt7LEBEW8Fw" name="InState_LoadPage">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_xJdPD7oHEeuSt7LEBEW8Fw">
          <body>LoadPage</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_BSJbwLoGEeuSt7LEBEW8Fw" name="LoadPage_2_To_Idle_3" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_BSJbwboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_BSPiZ7oGEeuSt7LEBEW8Fw" name="Idle_3" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_BSPiaroGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_BSPia7oGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_t8QlILoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_BSPiaLoGEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_BSPiaboGEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_Ya78QLoGEeuSt7LEBEW8Fw" name="Idle_3_To_SendingData_1" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Ya78QboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_YbCC57oGEeuSt7LEBEW8Fw" name="SendingData_1" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_YbCC6roGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_YbCC67oGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_TwJoILoGEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_YbCC6LoGEeuSt7LEBEW8Fw" name="InState_SendingData">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_YbCC6boGEeuSt7LEBEW8Fw">
          <body>SendingData</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_N9HAkLoIEeuSt7LEBEW8Fw" name="SendingData_1_To_Idle_4" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_N9HAkboIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_N9NHN7oIEeuSt7LEBEW8Fw" name="Idle_4" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_N9NHOroIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_N9NHO7oIEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_t8QlILoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_N9NHOLoIEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_N9NHOboIEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_wjDLwLoGEeuSt7LEBEW8Fw" name="Idle_4_To_Idle_5" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_wjDLwboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_wjJSZLoGEeuSt7LEBEW8Fw" name="Idle_5" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_wjJSZ7oGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_wjJSaLoGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_t8QlILoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_wjJSZboGEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_wjJSZroGEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_8wdj0LoGEeuSt7LEBEW8Fw" name="Idle_5_To_DisplayMessage_1" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_8wdj0boGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_8wjqd7oGEeuSt7LEBEW8Fw" name="DisplayMessage_1" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_8wjqeroGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_8wjqe7oGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_tfEdYLoGEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_8wjqeLoGEeuSt7LEBEW8Fw" name="InState_DisplayMessage">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_8wjqeboGEeuSt7LEBEW8Fw">
          <body>DisplayMessage</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_tVA3kLoIEeuSt7LEBEW8Fw" name="DisplayMessage_1_To_Idle_6" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_tVA3kboIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_tVA3nboIEeuSt7LEBEW8Fw" name="Idle_6" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_tVG-MLoIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tVG-MboIEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_t8QlILoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_tVA3nroIEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_tVA3n7oIEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_tFd_sLoIEeuSt7LEBEW8Fw" name="Idle_6_To_Idle_7" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_tFd_sboIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_tFkGW7oIEeuSt7LEBEW8Fw" name="Idle_7" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_tFkGXroIEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_tFkGX7oIEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_t8QlILoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_tFkGXLoIEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_tFkGXboIEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="__DnSMLoGEeuSt7LEBEW8Fw" name="Idle_7_To_Idle_8" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__DnSMboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="__DnSPboGEeuSt7LEBEW8Fw" name="Idle_8" covered="_dRRrALoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="__DnSQLoGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__DnSQboGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_t8QlILoFEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="__DnSProGEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="__DnSP7oGEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_abCLw7oGEeuSt7LEBEW8Fw" name="Idle_1" covered="_zQtWwLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_abCLxroGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_abCLx7oGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_aa8FILoGEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_abCLxLoGEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_abCLxboGEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_5YVKYLoGEeuSt7LEBEW8Fw" name="Idle_1_To_AddPost_1" covered="_zQtWwLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5YVKYboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_5YVKbboGEeuSt7LEBEW8Fw" name="AddPost_1" covered="_zQtWwLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5YVKcLoGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_5YVKcboGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_iJ_bgLoGEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_5YVKbroGEeuSt7LEBEW8Fw" name="InState_AddPost">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_5YVKb7oGEeuSt7LEBEW8Fw">
          <body>AddPost</body>
        </specification>
      </invariant>
    </fragment>
    <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_670WYLoGEeuSt7LEBEW8Fw" name="AddPost_1_To_Idle_2" covered="_zQtWwLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_670WYboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/>
    </fragment>
    <fragment xmi:type="uml:StateInvariant" xmi:id="_676dBroGEeuSt7LEBEW8Fw" name="Idle_2" covered="_zQtWwLoEEeuSt7LEBEW8Fw">
      <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_676dCboGEeuSt7LEBEW8Fw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant">
        <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_676dCroGEeuSt7LEBEW8Fw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_aa8FILoGEeuSt7LEBEW8Fw"/>
      </eAnnotations>
      <invariant xmi:type="uml:Constraint" xmi:id="_676dB7oGEeuSt7LEBEW8Fw" name="InState_Idle">
        <specification xmi:type="uml:OpaqueExpression" xmi:id="_676dCLoGEeuSt7LEBEW8Fw">
          <body>Idle</body>
        </specification>
      </invariant>
    </fragment>
    <message xmi:type="uml:Message" xmi:id="_OUJdALoHEeuSt7LEBEW8Fw"/>
    <message xmi:type="uml:Message" xmi:id="__HblwLoHEeuSt7LEBEW8Fw"/>
    <message xmi:type="uml:Message" xmi:id="_EnDQILoIEeuSt7LEBEW8Fw"/>
    <message xmi:type="uml:Message" xmi:id="_IFWjALoIEeuSt7LEBEW8Fw"/>
    <message xmi:type="uml:Message" xmi:id="_eGISkLoIEeuSt7LEBEW8Fw"/>
    <message xmi:type="uml:Message" xmi:id="_ssMkELoIEeuSt7LEBEW8Fw"/>
  </packagedElement>
  <packagedElement xmi:type="uml:TimeExpression" xmi:id="_xG4cIboHEeuSt7LEBEW8Fw">
    <expr xmi:type="uml:LiteralString" xmi:id="_xG4cI7oHEeuSt7LEBEW8Fw" value="t1"/>
  </packagedElement>
  <packagedElement xmi:type="uml:TimeExpression" xmi:id="_xG4cIroHEeuSt7LEBEW8Fw">
    <expr xmi:type="uml:LiteralString" xmi:id="_xG4cJLoHEeuSt7LEBEW8Fw" value="t2"/>
  </packagedElement>
  <packagedElement xmi:type="uml:DurationConstraint" xmi:id="_VXj_8LoIEeuSt7LEBEW8Fw" constrainedElement="_5YVKbboGEeuSt7LEBEW8Fw">
    <specification xmi:type="uml:DurationInterval" xmi:id="_VX2T0LoIEeuSt7LEBEW8Fw"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Duration" xmi:id="_VX8acLoIEeuSt7LEBEW8Fw">
    <expr xmi:type="uml:LiteralString" xmi:id="_VX8acroIEeuSt7LEBEW8Fw" value="d1"/>
  </packagedElement>
  <packagedElement xmi:type="uml:Duration" xmi:id="_VX8acboIEeuSt7LEBEW8Fw">
    <expr xmi:type="uml:LiteralString" xmi:id="_VX8ac7oIEeuSt7LEBEW8Fw" value="d2"/>
  </packagedElement>
</uml:Model>
