<?xml version="1.0" encoding="UTF-8" standalone="no"?><SplBehavioralModel name="translatedLift"><ActivityDiagram name="AD_SPL_0"><Elements><ActivityDiagramElement name="Start node" type="StartNode"/><ActivityDiagramElement name="sequenceDiagram1" type="Activity"><RepresentedBy seqDiagName="sequenceDiagram1"/></ActivityDiagramElement><ActivityDiagramElement name="End node" type="EndNode"/></Elements><Transitions><Transition name="sequenceDiagram1" probability="1.0" source="Start node" target="sequenceDiagram1"/><Transition name="" probability="1.0" source="sequenceDiagram1" target="End node"/></Transitions></ActivityDiagram><SequenceDiagrams><SequenceDiagram guard="Empty" name="n1"><Message name="cancell_all_requests" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reset" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Overload" name="n0"><Message name="open" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Quick_Close" name="n7"><Message name="pressButtonFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="VerifyStatusButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="closeTheDoor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Executive_Floor" name="n6"><Message name="callLift" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setPriorityFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="servedFirst" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="CallFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setPriorityFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="servedFirst" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="true" name="sequenceDiagram1"><Message name="init" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="setDirection(down)" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="close" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="request" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getDirection" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getStatus" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n0" type="optional"><RepresentedBy seqDiagName="n0"/></Fragment><Message name="close" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="moveToFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="landing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="open" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n1" type="optional"><RepresentedBy seqDiagName="n1"/></Fragment><Message name="request" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getStatus" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n2" type="optional"><RepresentedBy seqDiagName="n2"/></Fragment><Message name="getFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="getDirection" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="moveToFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="landing" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="open" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Fragment name="n3" type="optional"><RepresentedBy seqDiagName="n3"/></Fragment><Fragment name="n4" type="optional"><RepresentedBy seqDiagName="n4"/></Fragment><Fragment name="n5" type="optional"><RepresentedBy seqDiagName="n5"/></Fragment><Fragment name="n6" type="optional"><RepresentedBy seqDiagName="n6"/></Fragment><Fragment name="n7" type="optional"><RepresentedBy seqDiagName="n7"/></Fragment><Fragment name="n8" type="optional"><RepresentedBy seqDiagName="n8"/></Fragment></SequenceDiagram><SequenceDiagram guard="Open_When_Idle" name="n4"><Message name="setLiftIdle(True)" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="asynchronous"/></SequenceDiagram><SequenceDiagram guard="Shuttle" name="n8"><Message name="shuttle" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="changeDirection" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="request" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="changeDirection" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Park" name="n3"><Message name="lift_idle" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="time_of_the_day" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="go_to_first_floor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="first_Floor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="go_to_last_floor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="last_Floor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Two_Thirds_Full" name="n2"><Message name="noStop" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="wait" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><SequenceDiagram guard="Anti_Prank" name="n5"><Message name="pressButtonLift" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="sendMessageButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="reply" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="sendMessageButtonPress" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="floorIsServed" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/><Message name="pressButtonFloor" probability="0.999" source="Mock lifeline" target="Lifeline_0" type="synchronous"/></SequenceDiagram><Lifelines><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Lifeline_0" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/><Lifeline name="Mock lifeline" reliability="0.999"/></Lifelines><Fragments><Fragment name="n1" type="optional"><RepresentedBy seqDiagName="n1"/></Fragment><Fragment name="n7" type="optional"><RepresentedBy seqDiagName="n7"/></Fragment><Fragment name="n3" type="optional"><RepresentedBy seqDiagName="n3"/></Fragment><Fragment name="n0" type="optional"><RepresentedBy seqDiagName="n0"/></Fragment><Fragment name="n2" type="optional"><RepresentedBy seqDiagName="n2"/></Fragment><Fragment name="n5" type="optional"><RepresentedBy seqDiagName="n5"/></Fragment><Fragment name="n8" type="optional"><RepresentedBy seqDiagName="n8"/></Fragment><Fragment name="n6" type="optional"><RepresentedBy seqDiagName="n6"/></Fragment><Fragment name="n4" type="optional"><RepresentedBy seqDiagName="n4"/></Fragment></Fragments></SequenceDiagrams></SplBehavioralModel>
