| <?xml version="1.0" encoding="UTF-8"?> |
| <uml:Package xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="_Eem7MAQNEd6RLraM1ZOQWg"> |
| <packagedElement xmi:type="uml:Interaction" xmi:id="_Fj9ZsAQNEd6RLraM1ZOQWg" name="Interaction"> |
| <lifeline xmi:id="_F_-AQAQNEd6RLraM1ZOQWg" name="a" coveredBy="_GrJEMAQNEd6RLraM1ZOQWg _1cAz0QQOEd6zUbk4taPhsQ _1b_lsAQOEd6zUbk4taPhsQ _1cBa4AQOEd6zUbk4taPhsQ"/> |
| <lifeline xmi:id="_0dhLQAQOEd6zUbk4taPhsQ" name="b" coveredBy="_1cAz0gQOEd6zUbk4taPhsQ _1cAz0AQOEd6zUbk4taPhsQ _1cAz0wQOEd6zUbk4taPhsQ _2V30AAQOEd6zUbk4taPhsQ"/> |
| <fragment xmi:type="uml:StateInvariant" xmi:id="_GrJEMAQNEd6RLraM1ZOQWg" name="a-invariant" covered="_F_-AQAQNEd6RLraM1ZOQWg"> |
| <invariant xmi:id="_GrebYAQNEd6RLraM1ZOQWg" name="State"/> |
| </fragment> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1b_lsAQOEd6zUbk4taPhsQ" name="invocation-1-start" covered="_F_-AQAQNEd6RLraM1ZOQWg" message="_1cCB8AQOEd6zUbk4taPhsQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1cAz0AQOEd6zUbk4taPhsQ" name="execution-1-start" covered="_0dhLQAQOEd6zUbk4taPhsQ" message="_1cCB8AQOEd6zUbk4taPhsQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_1cAz0QQOEd6zUbk4taPhsQ" name="invocation-1-body" covered="_F_-AQAQNEd6RLraM1ZOQWg" start="_1b_lsAQOEd6zUbk4taPhsQ" finish="_1cBa4AQOEd6zUbk4taPhsQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_1cAz0gQOEd6zUbk4taPhsQ" name="execution-1-body" covered="_0dhLQAQOEd6zUbk4taPhsQ" start="_1cAz0AQOEd6zUbk4taPhsQ" finish="_1cAz0wQOEd6zUbk4taPhsQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1cAz0wQOEd6zUbk4taPhsQ" name="execution-1-finish" covered="_0dhLQAQOEd6zUbk4taPhsQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_1cBa4AQOEd6zUbk4taPhsQ" name="invocation-1-finish" covered="_F_-AQAQNEd6RLraM1ZOQWg"/> |
| <fragment xmi:type="uml:StateInvariant" xmi:id="_2V30AAQOEd6zUbk4taPhsQ" name="b-invariant" covered="_0dhLQAQOEd6zUbk4taPhsQ"> |
| <invariant xmi:id="_2WCzIAQOEd6zUbk4taPhsQ" name="State"/> |
| </fragment> |
| <message xmi:id="_1cCB8AQOEd6zUbk4taPhsQ" name="Message" receiveEvent="_1cAz0AQOEd6zUbk4taPhsQ" sendEvent="_1b_lsAQOEd6zUbk4taPhsQ"/> |
| </packagedElement> |
| </uml:Package> |
