<?xml version="1.0" encoding="UTF-8"?>
<xmi:XMI xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:LSC="http:///schemas/LSC/_nWflsI9cEeCg0dYZk2hcQQ/0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xsi:schemaLocation="http:///schemas/LSC/_nWflsI9cEeCg0dYZk2hcQQ/0 platform:/playgoResource/resources/profiles/LSC.profile.uml#_2Txzko_jEd-kj91WqGzIRA">
  <uml:Model xmi:id="_wT32UJTAEeCVU7Mj5ZuBhA" name="littleSmarterHotViolation">
    <packagedElement xmi:type="uml:Collaboration" xmi:id="_wT32UZTAEeCVU7Mj5ZuBhA" name="littleSmarterHotViolation">
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_wT32UpTAEeCVU7Mj5ZuBhA" name="LSC1">
        <lifeline xmi:id="_wT32U5TAEeCVU7Mj5ZuBhA" name="User" represents="_wT32oJTAEeCVU7Mj5ZuBhA" coveredBy="_wT32VZTAEeCVU7Mj5ZuBhA _wT32WpTAEeCVU7Mj5ZuBhA _wT32V5TAEeCVU7Mj5ZuBhA"/>
        <lifeline xmi:id="_wT32VJTAEeCVU7Mj5ZuBhA" name="classA" represents="_wT32oZTAEeCVU7Mj5ZuBhA" coveredBy="_wT32VpTAEeCVU7Mj5ZuBhA _wT32WZTAEeCVU7Mj5ZuBhA _wT32WJTAEeCVU7Mj5ZuBhA _wT32W5TAEeCVU7Mj5ZuBhA _wT32YJTAEeCVU7Mj5ZuBhA _wT32XZTAEeCVU7Mj5ZuBhA _wT32XJTAEeCVU7Mj5ZuBhA _wT32X5TAEeCVU7Mj5ZuBhA _wT32XpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32VZTAEeCVU7Mj5ZuBhA" name="start-InvocationStart" covered="_wT32U5TAEeCVU7Mj5ZuBhA" message="_wT32YZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32VpTAEeCVU7Mj5ZuBhA" name="start-ExecutionStart" covered="_wT32VJTAEeCVU7Mj5ZuBhA" event="_wT32qpTAEeCVU7Mj5ZuBhA" message="_wT32YZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32V5TAEeCVU7Mj5ZuBhA" name="start-invocationBody" covered="_wT32U5TAEeCVU7Mj5ZuBhA" start="_wT32VZTAEeCVU7Mj5ZuBhA" finish="_wT32WpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32WJTAEeCVU7Mj5ZuBhA" name="start-executionBody" covered="_wT32VJTAEeCVU7Mj5ZuBhA" start="_wT32VpTAEeCVU7Mj5ZuBhA" finish="_wT32WZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32WZTAEeCVU7Mj5ZuBhA" name="start-ExecutionFinish" covered="_wT32VJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32WpTAEeCVU7Mj5ZuBhA" name="start-InvocationFinish" covered="_wT32U5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32W5TAEeCVU7Mj5ZuBhA" name="methodA-InvocationStart" covered="_wT32VJTAEeCVU7Mj5ZuBhA" message="_wT32YpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32XJTAEeCVU7Mj5ZuBhA" name="methodA-ExecutionStart" covered="_wT32VJTAEeCVU7Mj5ZuBhA" event="_wT32q5TAEeCVU7Mj5ZuBhA" message="_wT32YpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32XZTAEeCVU7Mj5ZuBhA" name="methodA-invocationBody" covered="_wT32VJTAEeCVU7Mj5ZuBhA" start="_wT32W5TAEeCVU7Mj5ZuBhA" finish="_wT32YJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32XpTAEeCVU7Mj5ZuBhA" name="methodA-executionBody" covered="_wT32VJTAEeCVU7Mj5ZuBhA" start="_wT32XJTAEeCVU7Mj5ZuBhA" finish="_wT32X5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32X5TAEeCVU7Mj5ZuBhA" name="methodA-ExecutionFinish" covered="_wT32VJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32YJTAEeCVU7Mj5ZuBhA" name="methodA-InvocationFinish" covered="_wT32VJTAEeCVU7Mj5ZuBhA"/>
        <message xmi:id="_wT32YZTAEeCVU7Mj5ZuBhA" name="start" receiveEvent="_wT32VpTAEeCVU7Mj5ZuBhA" sendEvent="_wT32VZTAEeCVU7Mj5ZuBhA"/>
        <message xmi:id="_wT32YpTAEeCVU7Mj5ZuBhA" name="methodA" receiveEvent="_wT32XJTAEeCVU7Mj5ZuBhA" sendEvent="_wT32W5TAEeCVU7Mj5ZuBhA"/>
      </ownedBehavior>
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_wT32Y5TAEeCVU7Mj5ZuBhA" name="LSC2">
        <lifeline xmi:id="_wT32ZJTAEeCVU7Mj5ZuBhA" name="User" represents="_wT32oJTAEeCVU7Mj5ZuBhA" coveredBy="_wT32ZpTAEeCVU7Mj5ZuBhA _wT32a5TAEeCVU7Mj5ZuBhA _wT32aJTAEeCVU7Mj5ZuBhA"/>
        <lifeline xmi:id="_wT32ZZTAEeCVU7Mj5ZuBhA" name="classA" represents="_wT32oZTAEeCVU7Mj5ZuBhA" coveredBy="_wT32Z5TAEeCVU7Mj5ZuBhA _wT32apTAEeCVU7Mj5ZuBhA _wT32aZTAEeCVU7Mj5ZuBhA _wT32bJTAEeCVU7Mj5ZuBhA _wT32cZTAEeCVU7Mj5ZuBhA _wT32bpTAEeCVU7Mj5ZuBhA _wT32bZTAEeCVU7Mj5ZuBhA _wT32cJTAEeCVU7Mj5ZuBhA _wT32b5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32ZpTAEeCVU7Mj5ZuBhA" name="start-InvocationStart" covered="_wT32ZJTAEeCVU7Mj5ZuBhA" message="_wT32cpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32Z5TAEeCVU7Mj5ZuBhA" name="start-ExecutionStart" covered="_wT32ZZTAEeCVU7Mj5ZuBhA" event="_wT32qpTAEeCVU7Mj5ZuBhA" message="_wT32cpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32aJTAEeCVU7Mj5ZuBhA" name="start-invocationBody" covered="_wT32ZJTAEeCVU7Mj5ZuBhA" start="_wT32ZpTAEeCVU7Mj5ZuBhA" finish="_wT32a5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32aZTAEeCVU7Mj5ZuBhA" name="start-executionBody" covered="_wT32ZZTAEeCVU7Mj5ZuBhA" start="_wT32Z5TAEeCVU7Mj5ZuBhA" finish="_wT32apTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32apTAEeCVU7Mj5ZuBhA" name="start-ExecutionFinish" covered="_wT32ZZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32a5TAEeCVU7Mj5ZuBhA" name="start-InvocationFinish" covered="_wT32ZJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32bJTAEeCVU7Mj5ZuBhA" name="methodB-InvocationStart" covered="_wT32ZZTAEeCVU7Mj5ZuBhA" message="_wT32c5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32bZTAEeCVU7Mj5ZuBhA" name="methodB-ExecutionStart" covered="_wT32ZZTAEeCVU7Mj5ZuBhA" event="_wT32rJTAEeCVU7Mj5ZuBhA" message="_wT32c5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32bpTAEeCVU7Mj5ZuBhA" name="methodB-invocationBody" covered="_wT32ZZTAEeCVU7Mj5ZuBhA" start="_wT32bJTAEeCVU7Mj5ZuBhA" finish="_wT32cZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32b5TAEeCVU7Mj5ZuBhA" name="methodB-executionBody" covered="_wT32ZZTAEeCVU7Mj5ZuBhA" start="_wT32bZTAEeCVU7Mj5ZuBhA" finish="_wT32cJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32cJTAEeCVU7Mj5ZuBhA" name="methodB-ExecutionFinish" covered="_wT32ZZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32cZTAEeCVU7Mj5ZuBhA" name="methodB-InvocationFinish" covered="_wT32ZZTAEeCVU7Mj5ZuBhA"/>
        <message xmi:id="_wT32cpTAEeCVU7Mj5ZuBhA" name="start" receiveEvent="_wT32Z5TAEeCVU7Mj5ZuBhA" sendEvent="_wT32ZpTAEeCVU7Mj5ZuBhA"/>
        <message xmi:id="_wT32c5TAEeCVU7Mj5ZuBhA" name="methodB" receiveEvent="_wT32bZTAEeCVU7Mj5ZuBhA" sendEvent="_wT32bJTAEeCVU7Mj5ZuBhA"/>
      </ownedBehavior>
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_wT32dJTAEeCVU7Mj5ZuBhA" name="LSC3">
        <lifeline xmi:id="_wT32dZTAEeCVU7Mj5ZuBhA" name="User" represents="_wT32oJTAEeCVU7Mj5ZuBhA" coveredBy="_wT32d5TAEeCVU7Mj5ZuBhA _wT32fJTAEeCVU7Mj5ZuBhA _wT32eZTAEeCVU7Mj5ZuBhA"/>
        <lifeline xmi:id="_wT32dpTAEeCVU7Mj5ZuBhA" name="classA" represents="_wT32oZTAEeCVU7Mj5ZuBhA" coveredBy="_wT32eJTAEeCVU7Mj5ZuBhA _wT32e5TAEeCVU7Mj5ZuBhA _wT32epTAEeCVU7Mj5ZuBhA _wT32fZTAEeCVU7Mj5ZuBhA _wT32gpTAEeCVU7Mj5ZuBhA _wT32f5TAEeCVU7Mj5ZuBhA _wT32fpTAEeCVU7Mj5ZuBhA _wT32gZTAEeCVU7Mj5ZuBhA _wT32gJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32d5TAEeCVU7Mj5ZuBhA" name="end-InvocationStart" covered="_wT32dZTAEeCVU7Mj5ZuBhA" message="_wT32g5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32eJTAEeCVU7Mj5ZuBhA" name="end-ExecutionStart" covered="_wT32dpTAEeCVU7Mj5ZuBhA" event="_wT32rZTAEeCVU7Mj5ZuBhA" message="_wT32g5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32eZTAEeCVU7Mj5ZuBhA" name="end-invocationBody" covered="_wT32dZTAEeCVU7Mj5ZuBhA" start="_wT32d5TAEeCVU7Mj5ZuBhA" finish="_wT32fJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32epTAEeCVU7Mj5ZuBhA" name="end-executionBody" covered="_wT32dpTAEeCVU7Mj5ZuBhA" start="_wT32eJTAEeCVU7Mj5ZuBhA" finish="_wT32e5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32e5TAEeCVU7Mj5ZuBhA" name="end-ExecutionFinish" covered="_wT32dpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32fJTAEeCVU7Mj5ZuBhA" name="end-InvocationFinish" covered="_wT32dZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32fZTAEeCVU7Mj5ZuBhA" name="methodEnd-InvocationStart" covered="_wT32dpTAEeCVU7Mj5ZuBhA" message="_wT32hJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32fpTAEeCVU7Mj5ZuBhA" name="methodEnd-ExecutionStart" covered="_wT32dpTAEeCVU7Mj5ZuBhA" event="_wT32rpTAEeCVU7Mj5ZuBhA" message="_wT32hJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32f5TAEeCVU7Mj5ZuBhA" name="methodEnd-invocationBody" covered="_wT32dpTAEeCVU7Mj5ZuBhA" start="_wT32fZTAEeCVU7Mj5ZuBhA" finish="_wT32gpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32gJTAEeCVU7Mj5ZuBhA" name="methodEnd-executionBody" covered="_wT32dpTAEeCVU7Mj5ZuBhA" start="_wT32fpTAEeCVU7Mj5ZuBhA" finish="_wT32gZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32gZTAEeCVU7Mj5ZuBhA" name="methodEnd-ExecutionFinish" covered="_wT32dpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32gpTAEeCVU7Mj5ZuBhA" name="methodEnd-InvocationFinish" covered="_wT32dpTAEeCVU7Mj5ZuBhA"/>
        <message xmi:id="_wT32g5TAEeCVU7Mj5ZuBhA" name="end" receiveEvent="_wT32eJTAEeCVU7Mj5ZuBhA" sendEvent="_wT32d5TAEeCVU7Mj5ZuBhA"/>
        <message xmi:id="_wT32hJTAEeCVU7Mj5ZuBhA" name="methodEnd" receiveEvent="_wT32fpTAEeCVU7Mj5ZuBhA" sendEvent="_wT32fZTAEeCVU7Mj5ZuBhA"/>
      </ownedBehavior>
      <ownedBehavior xmi:type="uml:Interaction" xmi:id="_wT32hZTAEeCVU7Mj5ZuBhA" name="LSC4">
        <lifeline xmi:id="_wT32hpTAEeCVU7Mj5ZuBhA" name="classA" represents="_wT32oZTAEeCVU7Mj5ZuBhA" coveredBy="_wT32h5TAEeCVU7Mj5ZuBhA _wT32jJTAEeCVU7Mj5ZuBhA _wT32iZTAEeCVU7Mj5ZuBhA _wT32iJTAEeCVU7Mj5ZuBhA _wT32i5TAEeCVU7Mj5ZuBhA _wT32ipTAEeCVU7Mj5ZuBhA _wT32jZTAEeCVU7Mj5ZuBhA _wT32kpTAEeCVU7Mj5ZuBhA _wT32j5TAEeCVU7Mj5ZuBhA _wT32jpTAEeCVU7Mj5ZuBhA _wT32kZTAEeCVU7Mj5ZuBhA _wT32kJTAEeCVU7Mj5ZuBhA _wT32k5TAEeCVU7Mj5ZuBhA _wT32mJTAEeCVU7Mj5ZuBhA _wT32lZTAEeCVU7Mj5ZuBhA _wT32lJTAEeCVU7Mj5ZuBhA _wT32l5TAEeCVU7Mj5ZuBhA _wT32lpTAEeCVU7Mj5ZuBhA _wT32mZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32h5TAEeCVU7Mj5ZuBhA" name="methodA-InvocationStart" covered="_wT32hpTAEeCVU7Mj5ZuBhA" message="_wT32nJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32iJTAEeCVU7Mj5ZuBhA" name="methodA-ExecutionStart" covered="_wT32hpTAEeCVU7Mj5ZuBhA" event="_wT32q5TAEeCVU7Mj5ZuBhA" message="_wT32nJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32iZTAEeCVU7Mj5ZuBhA" name="methodA-invocationBody" covered="_wT32hpTAEeCVU7Mj5ZuBhA" start="_wT32h5TAEeCVU7Mj5ZuBhA" finish="_wT32jJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32ipTAEeCVU7Mj5ZuBhA" name="methodA-executionBody" covered="_wT32hpTAEeCVU7Mj5ZuBhA" start="_wT32iJTAEeCVU7Mj5ZuBhA" finish="_wT32i5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32i5TAEeCVU7Mj5ZuBhA" name="methodA-ExecutionFinish" covered="_wT32hpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32jJTAEeCVU7Mj5ZuBhA" name="methodA-InvocationFinish" covered="_wT32hpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32jZTAEeCVU7Mj5ZuBhA" name="methodB-InvocationStart" covered="_wT32hpTAEeCVU7Mj5ZuBhA" message="_wT32nZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32jpTAEeCVU7Mj5ZuBhA" name="methodB-ExecutionStart" covered="_wT32hpTAEeCVU7Mj5ZuBhA" event="_wT32rJTAEeCVU7Mj5ZuBhA" message="_wT32nZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32j5TAEeCVU7Mj5ZuBhA" name="methodB-invocationBody" covered="_wT32hpTAEeCVU7Mj5ZuBhA" start="_wT32jZTAEeCVU7Mj5ZuBhA" finish="_wT32kpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32kJTAEeCVU7Mj5ZuBhA" name="methodB-executionBody" covered="_wT32hpTAEeCVU7Mj5ZuBhA" start="_wT32jpTAEeCVU7Mj5ZuBhA" finish="_wT32kZTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32kZTAEeCVU7Mj5ZuBhA" name="methodB-ExecutionFinish" covered="_wT32hpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32kpTAEeCVU7Mj5ZuBhA" name="methodB-InvocationFinish" covered="_wT32hpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32k5TAEeCVU7Mj5ZuBhA" name="methodEnd-InvocationStart" covered="_wT32hpTAEeCVU7Mj5ZuBhA" message="_wT32npTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32lJTAEeCVU7Mj5ZuBhA" name="methodEnd-ExecutionStart" covered="_wT32hpTAEeCVU7Mj5ZuBhA" event="_wT32rpTAEeCVU7Mj5ZuBhA" message="_wT32npTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32lZTAEeCVU7Mj5ZuBhA" name="methodEnd-invocationBody" covered="_wT32hpTAEeCVU7Mj5ZuBhA" start="_wT32k5TAEeCVU7Mj5ZuBhA" finish="_wT32mJTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_wT32lpTAEeCVU7Mj5ZuBhA" name="methodEnd-executionBody" covered="_wT32hpTAEeCVU7Mj5ZuBhA" start="_wT32lJTAEeCVU7Mj5ZuBhA" finish="_wT32l5TAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32l5TAEeCVU7Mj5ZuBhA" name="methodEnd-ExecutionFinish" covered="_wT32hpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_wT32mJTAEeCVU7Mj5ZuBhA" name="methodEnd-InvocationFinish" covered="_wT32hpTAEeCVU7Mj5ZuBhA"/>
        <fragment xmi:type="uml:StateInvariant" xmi:id="_wT32mZTAEeCVU7Mj5ZuBhA" name="false" covered="_wT32hpTAEeCVU7Mj5ZuBhA">
          <invariant xmi:id="_wT32mpTAEeCVU7Mj5ZuBhA" name="false">
            <specification xmi:type="uml:OpaqueExpression" xmi:id="_wT32m5TAEeCVU7Mj5ZuBhA">
              <body>false</body>
            </specification>
          </invariant>
        </fragment>
        <message xmi:id="_wT32nJTAEeCVU7Mj5ZuBhA" name="methodA" receiveEvent="_wT32iJTAEeCVU7Mj5ZuBhA" sendEvent="_wT32h5TAEeCVU7Mj5ZuBhA"/>
        <message xmi:id="_wT32nZTAEeCVU7Mj5ZuBhA" name="methodB" receiveEvent="_wT32jpTAEeCVU7Mj5ZuBhA" sendEvent="_wT32jZTAEeCVU7Mj5ZuBhA"/>
        <message xmi:id="_wT32npTAEeCVU7Mj5ZuBhA" name="methodEnd" receiveEvent="_wT32lJTAEeCVU7Mj5ZuBhA" sendEvent="_wT32k5TAEeCVU7Mj5ZuBhA"/>
      </ownedBehavior>
      <ownedAttribute xmi:id="_wT32n5TAEeCVU7Mj5ZuBhA" name="user" type="_wT32opTAEeCVU7Mj5ZuBhA"/>
      <ownedAttribute xmi:id="_wT32oJTAEeCVU7Mj5ZuBhA" name="User" type="_wT32o5TAEeCVU7Mj5ZuBhA"/>
      <ownedAttribute xmi:id="_wT32oZTAEeCVU7Mj5ZuBhA" name="ClassA" type="_wT32pJTAEeCVU7Mj5ZuBhA"/>
    </packagedElement>
    <packagedElement xmi:type="uml:Actor" xmi:id="_wT32opTAEeCVU7Mj5ZuBhA" name="user"/>
    <packagedElement xmi:type="uml:Actor" xmi:id="_wT32o5TAEeCVU7Mj5ZuBhA" name="User"/>
    <packagedElement xmi:type="uml:Class" xmi:id="_wT32pJTAEeCVU7Mj5ZuBhA" name="ClassA">
      <ownedOperation xmi:id="_wT32pZTAEeCVU7Mj5ZuBhA" name="start"/>
      <ownedOperation xmi:id="_wT32ppTAEeCVU7Mj5ZuBhA" name="methodA"/>
      <ownedOperation xmi:id="_wT32p5TAEeCVU7Mj5ZuBhA" name="methodB"/>
      <ownedOperation xmi:id="_wT32qJTAEeCVU7Mj5ZuBhA" name="end"/>
      <ownedOperation xmi:id="_wT32qZTAEeCVU7Mj5ZuBhA" name="methodEnd"/>
    </packagedElement>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_wT32qpTAEeCVU7Mj5ZuBhA" name="start" operation="_wT32pZTAEeCVU7Mj5ZuBhA"/>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_wT32q5TAEeCVU7Mj5ZuBhA" name="methodA" operation="_wT32ppTAEeCVU7Mj5ZuBhA"/>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_wT32rJTAEeCVU7Mj5ZuBhA" name="methodB" operation="_wT32p5TAEeCVU7Mj5ZuBhA"/>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_wT32rZTAEeCVU7Mj5ZuBhA" name="end" operation="_wT32qJTAEeCVU7Mj5ZuBhA"/>
    <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_wT32rpTAEeCVU7Mj5ZuBhA" name="methodEnd" operation="_wT32qZTAEeCVU7Mj5ZuBhA"/>
    <profileApplication xmi:id="_wT32r5TAEeCVU7Mj5ZuBhA">
      <eAnnotations xmi:id="_wT32sJTAEeCVU7Mj5ZuBhA" source="http://www.eclipse.org/uml2/2.0.0/UML">
        <references xmi:type="ecore:EPackage" href="platform:/playgoResource/resources/profiles/LSC.profile.uml#_2Txzko_jEd-kj91WqGzIRA"/>
      </eAnnotations>
      <appliedProfile href="platform:/playgoResource/resources/profiles/LSC.profile.uml#_hLM_4Cw6EeC4aLgxc34sSg"/>
    </profileApplication>
  </uml:Model>
  <LSC:Interaction xmi:id="_wT32sZTAEeCVU7Mj5ZuBhA" base_Interaction="_wT32UpTAEeCVU7Mj5ZuBhA" Mode="Universal"/>
  <LSC:Lifeline xmi:id="_wT32spTAEeCVU7Mj5ZuBhA" base_Lifeline="_wT32U5TAEeCVU7Mj5ZuBhA" PolymorphicScope="Deep" Binding="Static" Type="User"/>
  <LSC:Lifeline xmi:id="_wT32s5TAEeCVU7Mj5ZuBhA" base_Lifeline="_wT32VJTAEeCVU7Mj5ZuBhA" PolymorphicScope="Deep"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32tJTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32VZTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32tZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32VpTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32tpTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32WZTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32t5TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32WpTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32uJTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32W5TAEeCVU7Mj5ZuBhA" Temperature="Hot"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32uZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32XJTAEeCVU7Mj5ZuBhA" Temperature="Hot"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32upTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32X5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32u5TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32YJTAEeCVU7Mj5ZuBhA"/>
  <LSC:Message xmi:id="_wT32vJTAEeCVU7Mj5ZuBhA" base_Message="_wT32YZTAEeCVU7Mj5ZuBhA"/>
  <LSC:Message xmi:id="_wT32vZTAEeCVU7Mj5ZuBhA" base_Message="_wT32YpTAEeCVU7Mj5ZuBhA" Temperature="Hot" Execution="Execute"/>
  <LSC:Interaction xmi:id="_wT32vpTAEeCVU7Mj5ZuBhA" base_Interaction="_wT32Y5TAEeCVU7Mj5ZuBhA" Mode="Universal"/>
  <LSC:Lifeline xmi:id="_wT32v5TAEeCVU7Mj5ZuBhA" base_Lifeline="_wT32ZJTAEeCVU7Mj5ZuBhA" PolymorphicScope="Deep" Binding="Static" Type="User"/>
  <LSC:Lifeline xmi:id="_wT32wJTAEeCVU7Mj5ZuBhA" base_Lifeline="_wT32ZZTAEeCVU7Mj5ZuBhA" PolymorphicScope="Deep"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32wZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32ZpTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32wpTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32Z5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32w5TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32apTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32xJTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32a5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32xZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32bJTAEeCVU7Mj5ZuBhA" Temperature="Hot"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32xpTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32bZTAEeCVU7Mj5ZuBhA" Temperature="Hot"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32x5TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32cJTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32yJTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32cZTAEeCVU7Mj5ZuBhA"/>
  <LSC:Message xmi:id="_wT32yZTAEeCVU7Mj5ZuBhA" base_Message="_wT32cpTAEeCVU7Mj5ZuBhA"/>
  <LSC:Message xmi:id="_wT32ypTAEeCVU7Mj5ZuBhA" base_Message="_wT32c5TAEeCVU7Mj5ZuBhA" Temperature="Hot" Execution="Execute"/>
  <LSC:Interaction xmi:id="_wT32y5TAEeCVU7Mj5ZuBhA" base_Interaction="_wT32dJTAEeCVU7Mj5ZuBhA" Mode="Universal"/>
  <LSC:Lifeline xmi:id="_wT32zJTAEeCVU7Mj5ZuBhA" base_Lifeline="_wT32dZTAEeCVU7Mj5ZuBhA" PolymorphicScope="Deep" Binding="Static" Type="User"/>
  <LSC:Lifeline xmi:id="_wT32zZTAEeCVU7Mj5ZuBhA" base_Lifeline="_wT32dpTAEeCVU7Mj5ZuBhA" PolymorphicScope="Deep"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32zpTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32d5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT32z5TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32eJTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT320JTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32e5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT320ZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32fJTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT320pTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32fZTAEeCVU7Mj5ZuBhA" Temperature="Hot"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT3205TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32fpTAEeCVU7Mj5ZuBhA" Temperature="Hot"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT321JTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32gZTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT321ZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32gpTAEeCVU7Mj5ZuBhA"/>
  <LSC:Message xmi:id="_wT321pTAEeCVU7Mj5ZuBhA" base_Message="_wT32g5TAEeCVU7Mj5ZuBhA"/>
  <LSC:Message xmi:id="_wT3215TAEeCVU7Mj5ZuBhA" base_Message="_wT32hJTAEeCVU7Mj5ZuBhA" Temperature="Hot" Execution="Execute"/>
  <LSC:Interaction xmi:id="_wT322JTAEeCVU7Mj5ZuBhA" base_Interaction="_wT32hZTAEeCVU7Mj5ZuBhA" Mode="Universal"/>
  <LSC:Lifeline xmi:id="_wT322ZTAEeCVU7Mj5ZuBhA" base_Lifeline="_wT32hpTAEeCVU7Mj5ZuBhA" PolymorphicScope="Deep"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT322pTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32h5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT3225TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32iJTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT323JTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32i5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT323ZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32jJTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT323pTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32jZTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT3235TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32jpTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT324JTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32kZTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT324ZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32kpTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT324pTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32k5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT3245TAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32lJTAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT325JTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32l5TAEeCVU7Mj5ZuBhA"/>
  <LSC:MessageOccurrenceSpecification xmi:id="_wT325ZTAEeCVU7Mj5ZuBhA" base_MessageOccurrenceSpecification="_wT32mJTAEeCVU7Mj5ZuBhA"/>
  <LSC:StateInvariant xmi:id="_wT325pTAEeCVU7Mj5ZuBhA" base_StateInvariant="_wT32mZTAEeCVU7Mj5ZuBhA" Temperature="Hot"/>
  <LSC:Message xmi:id="_wT3255TAEeCVU7Mj5ZuBhA" base_Message="_wT32nJTAEeCVU7Mj5ZuBhA"/>
  <LSC:Message xmi:id="_wT326JTAEeCVU7Mj5ZuBhA" base_Message="_wT32nZTAEeCVU7Mj5ZuBhA"/>
  <LSC:Message xmi:id="_wT326ZTAEeCVU7Mj5ZuBhA" base_Message="_wT32npTAEeCVU7Mj5ZuBhA"/>
  <LSC:Property xmi:id="_wT326pTAEeCVU7Mj5ZuBhA" base_Property="_wT32n5TAEeCVU7Mj5ZuBhA"/>
  <LSC:Property xmi:id="_wT3265TAEeCVU7Mj5ZuBhA" base_Property="_wT32oJTAEeCVU7Mj5ZuBhA"/>
  <LSC:Property xmi:id="_wT327JTAEeCVU7Mj5ZuBhA" base_Property="_wT32oZTAEeCVU7Mj5ZuBhA"/>
</xmi:XMI>
