blob: b3123823291f48e86e7515ef9a97000ec7ea7ead [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="20110701" xmlns:xmi="http://www.omg.org/spec/XMI/20110701" xmlns:uml="http://www.eclipse.org/uml2/4.0.0/UML" xmi:id="_1HIIoKzZEeKXdNRNQo8y5Q" name="model">
<packagedElement xmi:type="uml:Interaction" xmi:id="_1IxHYKzZEeKXdNRNQo8y5Q" name="Interaction1">
<ownedRule xmi:id="_faKToKzeEeKXdNRNQo8y5Q" constrainedElement="_ZNxmsKzaEeKXdNRNQo8y5Q">
<specification xmi:type="uml:LiteralString" xmi:id="_faUEoKzeEeKXdNRNQo8y5Q" value=""/>
</ownedRule>
<fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_RoB9UKzaEeKXdNRNQo8y5Q" name="ActionExecSpecStart" covered="_G0zrUKzaEeKXdNRNQo8y5Q" execution="_RooaQKzaEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_XvTdkKzaEeKXdNRNQo8y5Q" name="BehaviorExecSpecStart" covered="_IdkY4KzaEeKXdNRNQo8y5Q" execution="_XvTdkazaEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_XvTdkazaEeKXdNRNQo8y5Q" name="BehaviorExecSpec" covered="_IdkY4KzaEeKXdNRNQo8y5Q" finish="_XvTdkqzaEeKXdNRNQo8y5Q" start="_XvTdkKzaEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_RooaQKzaEeKXdNRNQo8y5Q" name="ActionExecSpec" covered="_G0zrUKzaEeKXdNRNQo8y5Q" finish="_RooaQazaEeKXdNRNQo8y5Q" start="_RoB9UKzaEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_RooaQazaEeKXdNRNQo8y5Q" name="ActionExecSpecFinish" covered="_G0zrUKzaEeKXdNRNQo8y5Q" execution="_RooaQKzaEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_XvTdkqzaEeKXdNRNQo8y5Q" name="BehaviorExecSpecFinish" covered="_IdkY4KzaEeKXdNRNQo8y5Q" execution="_XvTdkazaEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ZNerwKzaEeKXdNRNQo8y5Q" name="MessageSend" covered="_G0zrUKzaEeKXdNRNQo8y5Q" message="_ZL1tAKzaEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ZNxmsKzaEeKXdNRNQo8y5Q" name="MessageRecv" covered="_IdkY4KzaEeKXdNRNQo8y5Q" message="_ZL1tAKzaEeKXdNRNQo8y5Q">
<eAnnotations xmi:id="_85mNIKzeEeKXdNRNQo8y5Q" source="Connections" references="_faKToKzeEeKXdNRNQo8y5Q"/>
</fragment>
<fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_iF4IcKzdEeKXdNRNQo8y5Q" name="ActionExecSpec0Start" covered="_G0zrUKzaEeKXdNRNQo8y5Q" execution="_iGd-UKzdEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:CombinedFragment" xmi:id="_mG87wKzeEeKXdNRNQo8y5Q" name="CombinedFragment1" covered="_IdkY4KzaEeKXdNRNQo8y5Q" interactionOperator="par"/>
<fragment xmi:type="uml:ActionExecutionSpecification" xmi:id="_iGd-UKzdEeKXdNRNQo8y5Q" name="ActionExecSpec0" covered="_G0zrUKzaEeKXdNRNQo8y5Q" finish="_iGnvUKzdEeKXdNRNQo8y5Q" start="_iF4IcKzdEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:ExecutionOccurrenceSpecification" xmi:id="_iGnvUKzdEeKXdNRNQo8y5Q" name="ActionExecSpec0Finish" covered="_G0zrUKzaEeKXdNRNQo8y5Q" execution="_iGd-UKzdEeKXdNRNQo8y5Q"/>
<fragment xmi:type="uml:StateInvariant" xmi:id="_LUwEkKzeEeKXdNRNQo8y5Q" name="StateInvariant" covered="_G0zrUKzaEeKXdNRNQo8y5Q">
<invariant xmi:id="_LVMwgKzeEeKXdNRNQo8y5Q" name=""/>
</fragment>
<fragment xmi:type="uml:CombinedFragment" xmi:id="_xKUYAKzdEeKXdNRNQo8y5Q" name="CombinedFragment">
<operand xmi:id="_xKnS8KzdEeKXdNRNQo8y5Q" name="InteractionOperand">
<guard xmi:id="_xKxD8KzdEeKXdNRNQo8y5Q">
<specification xmi:type="uml:LiteralString" xmi:id="_xK608KzdEeKXdNRNQo8y5Q" value="undefined"/>
<maxint xmi:type="uml:LiteralInteger" xmi:id="_xLD-4azdEeKXdNRNQo8y5Q" value="1"/>
<minint xmi:type="uml:LiteralInteger" xmi:id="_xLD-4KzdEeKXdNRNQo8y5Q"/>
</guard>
</operand>
<operand xmi:id="_D3UpsKzeEeKXdNRNQo8y5Q" name="InteractionOperand0">
<guard xmi:id="_D3oLsKzeEeKXdNRNQo8y5Q">
<specification xmi:type="uml:LiteralString" xmi:id="_D3oLsazeEeKXdNRNQo8y5Q" value="undefined"/>
<maxint xmi:type="uml:LiteralInteger" xmi:id="_D4EQkKzeEeKXdNRNQo8y5Q" value="1"/>
<minint xmi:type="uml:LiteralInteger" xmi:id="_D37GoKzeEeKXdNRNQo8y5Q"/>
</guard>
</operand>
</fragment>
<fragment xmi:type="uml:InteractionUse" xmi:id="_4eYbgKzdEeKXdNRNQo8y5Q" name="InteractionUse"/>
<fragment xmi:type="uml:ConsiderIgnoreFragment" xmi:id="_6QhHgKzdEeKXdNRNQo8y5Q" name="ConsiderIgnoreFragment" interactionOperator="consider">
<operand xmi:id="_6Qq4gKzdEeKXdNRNQo8y5Q"/>
</fragment>
<fragment xmi:type="uml:CombinedFragment" xmi:id="_BC1I0KzeEeKXdNRNQo8y5Q" name="CombinedFragment0">
<operand xmi:id="_BDIDwKzeEeKXdNRNQo8y5Q" name="InteractionOperand">
<guard xmi:id="_BDRNsKzeEeKXdNRNQo8y5Q">
<specification xmi:type="uml:LiteralString" xmi:id="_BDa-sKzeEeKXdNRNQo8y5Q" value="undefined"/>
<maxint xmi:type="uml:LiteralInteger" xmi:id="_BDkvsazeEeKXdNRNQo8y5Q" value="1"/>
<minint xmi:type="uml:LiteralInteger" xmi:id="_BDkvsKzeEeKXdNRNQo8y5Q"/>
</guard>
</operand>
</fragment>
<lifeline xmi:id="_G0zrUKzaEeKXdNRNQo8y5Q" name="Lifeline" coveredBy="_RoB9UKzaEeKXdNRNQo8y5Q _RooaQazaEeKXdNRNQo8y5Q _RooaQKzaEeKXdNRNQo8y5Q _ZNerwKzaEeKXdNRNQo8y5Q _iF4IcKzdEeKXdNRNQo8y5Q _iGnvUKzdEeKXdNRNQo8y5Q _iGd-UKzdEeKXdNRNQo8y5Q _LUwEkKzeEeKXdNRNQo8y5Q"/>
<lifeline xmi:id="_IdkY4KzaEeKXdNRNQo8y5Q" name="Lifeline0" coveredBy="_XvTdkKzaEeKXdNRNQo8y5Q _XvTdkqzaEeKXdNRNQo8y5Q _XvTdkazaEeKXdNRNQo8y5Q _ZNxmsKzaEeKXdNRNQo8y5Q _mG87wKzeEeKXdNRNQo8y5Q"/>
<message xmi:id="_ZL1tAKzaEeKXdNRNQo8y5Q" name="Message" receiveEvent="_ZNxmsKzaEeKXdNRNQo8y5Q" sendEvent="_ZNerwKzaEeKXdNRNQo8y5Q"/>
</packagedElement>
<packagedElement xmi:type="uml:DurationObservation" xmi:id="_pzh7MKzeEeKXdNRNQo8y5Q" name="d"/>
<packagedElement xmi:type="uml:TimeObservation" xmi:id="_sSScoKzeEeKXdNRNQo8y5Q" name="t"/>
<packagedElement xmi:type="uml:TimeObservation" xmi:id="_whqAEKzeEeKXdNRNQo8y5Q" name="t0"/>
</uml:Model>