| <?xml version="1.0" encoding="UTF-8"?> |
| <uml:Model 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="_f8q6wNVkEdu2lNoUv7xEKQ" name="MemoryGameModel"> |
| <packageImport xmi:id="_f8q6wdVkEdu2lNoUv7xEKQ"> |
| <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> |
| </packageImport> |
| <packagedElement xmi:type="uml:Collaboration" xmi:id="_f8q6wtVkEdu2lNoUv7xEKQ" name="Collaboration1"> |
| <ownedBehavior xmi:type="uml:Interaction" xmi:id="_f8q6w9VkEdu2lNoUv7xEKQ" name="FlipUp"> |
| <ownedConnector xmi:id="_f8q6xNVkEdu2lNoUv7xEKQ"> |
| <end xmi:id="_f8q6xdVkEdu2lNoUv7xEKQ" role="_f80E2dVkEdu2lNoUv7xEKQ"/> |
| <end xmi:id="_f8q6xtVkEdu2lNoUv7xEKQ" role="_f80E2tVkEdu2lNoUv7xEKQ"/> |
| </ownedConnector> |
| <ownedConnector xmi:id="_f8q6x9VkEdu2lNoUv7xEKQ"> |
| <end xmi:id="_f8q6yNVkEdu2lNoUv7xEKQ" role="_f80E29VkEdu2lNoUv7xEKQ"/> |
| <end xmi:id="_f8q6ydVkEdu2lNoUv7xEKQ" role="_f80E2tVkEdu2lNoUv7xEKQ"/> |
| </ownedConnector> |
| <ownedConnector xmi:id="_f8q6ytVkEdu2lNoUv7xEKQ"> |
| <end xmi:id="_f8q6y9VkEdu2lNoUv7xEKQ" role="_f80E2tVkEdu2lNoUv7xEKQ"/> |
| <end xmi:id="_f8q6zNVkEdu2lNoUv7xEKQ" role="_f80E2tVkEdu2lNoUv7xEKQ"/> |
| </ownedConnector> |
| <lifeline xmi:id="_f8q6zdVkEdu2lNoUv7xEKQ" name="user" represents="_f80E2dVkEdu2lNoUv7xEKQ" coveredBy="_f8q60NVkEdu2lNoUv7xEKQ"/> |
| <lifeline xmi:id="_f8q6ztVkEdu2lNoUv7xEKQ" name="mc1" represents="_f80E2tVkEdu2lNoUv7xEKQ" coveredBy="_f8q60dVkEdu2lNoUv7xEKQ _f8q60tVkEdu2lNoUv7xEKQ _f8q609VkEdu2lNoUv7xEKQ _f8q61NVkEdu2lNoUv7xEKQ _f8q62dVkEdu2lNoUv7xEKQ _f8q62tVkEdu2lNoUv7xEKQ _f8q629VkEdu2lNoUv7xEKQ _f8q63NVkEdu2lNoUv7xEKQ _f8q63dVkEdu2lNoUv7xEKQ _f8q63tVkEdu2lNoUv7xEKQ _f8q639VkEdu2lNoUv7xEKQ"/> |
| <lifeline xmi:id="_f8q6z9VkEdu2lNoUv7xEKQ" name="memoryPanel" represents="_f80E29VkEdu2lNoUv7xEKQ" coveredBy="_f8q62NVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q60NVkEdu2lNoUv7xEKQ" covered="_f8q6zdVkEdu2lNoUv7xEKQ" event="_f80E6NVkEdu2lNoUv7xEKQ" message="_f8q64NVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q60dVkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" event="_f80E6dVkEdu2lNoUv7xEKQ" message="_f8q64NVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f8q60tVkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" start="_f8q60dVkEdu2lNoUv7xEKQ" finish="_f8q609VkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q609VkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:CombinedFragment" xmi:id="_f8q61NVkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" interactionOperator="assert"> |
| <operand xmi:id="_f8q61dVkEdu2lNoUv7xEKQ"> |
| <guard xmi:id="_f8q61tVkEdu2lNoUv7xEKQ"> |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_f8q619VkEdu2lNoUv7xEKQ"> |
| <body>!mc1.faceUp</body> |
| </specification> |
| </guard> |
| </operand> |
| </fragment> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q62NVkEdu2lNoUv7xEKQ" covered="_f8q6z9VkEdu2lNoUv7xEKQ" event="_f80E6tVkEdu2lNoUv7xEKQ" message="_f8q64dVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q62dVkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" event="_f80E69VkEdu2lNoUv7xEKQ" message="_f8q64dVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f8q62tVkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" start="_f8q62dVkEdu2lNoUv7xEKQ" finish="_f8q629VkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q629VkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q63NVkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" event="_f80E7NVkEdu2lNoUv7xEKQ" message="_f8q64tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q63dVkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" event="_f80E7dVkEdu2lNoUv7xEKQ" message="_f8q64tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f8q63tVkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" start="_f8q63dVkEdu2lNoUv7xEKQ" finish="_f8q639VkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q639VkEdu2lNoUv7xEKQ" covered="_f8q6ztVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f8q64NVkEdu2lNoUv7xEKQ" name="mouseClicked" receiveEvent="_f8q60dVkEdu2lNoUv7xEKQ" sendEvent="_f8q60NVkEdu2lNoUv7xEKQ" connector="_f8q6xNVkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f8q64dVkEdu2lNoUv7xEKQ" name="flipUp" receiveEvent="_f8q62dVkEdu2lNoUv7xEKQ" sendEvent="_f8q62NVkEdu2lNoUv7xEKQ" connector="_f8q6x9VkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f8q64tVkEdu2lNoUv7xEKQ" name="reDraw" receiveEvent="_f8q63dVkEdu2lNoUv7xEKQ" sendEvent="_f8q63NVkEdu2lNoUv7xEKQ" connector="_f8q6ytVkEdu2lNoUv7xEKQ"/> |
| </ownedBehavior> |
| <ownedBehavior xmi:type="uml:Interaction" xmi:id="_f8q649VkEdu2lNoUv7xEKQ" name="Match"> |
| <ownedConnector xmi:id="_f8q65NVkEdu2lNoUv7xEKQ"> |
| <end xmi:id="_f8q65dVkEdu2lNoUv7xEKQ" role="_f80E29VkEdu2lNoUv7xEKQ"/> |
| <end xmi:id="_f8q65tVkEdu2lNoUv7xEKQ" role="_f80E2tVkEdu2lNoUv7xEKQ"/> |
| </ownedConnector> |
| <ownedConnector xmi:id="_f8q659VkEdu2lNoUv7xEKQ"> |
| <end xmi:id="_f8q66NVkEdu2lNoUv7xEKQ" role="_f80E29VkEdu2lNoUv7xEKQ"/> |
| <end xmi:id="_f8q66dVkEdu2lNoUv7xEKQ" role="_f80E3NVkEdu2lNoUv7xEKQ"/> |
| </ownedConnector> |
| <ownedConnector xmi:id="_f8q66tVkEdu2lNoUv7xEKQ"> |
| <end xmi:id="_f8q669VkEdu2lNoUv7xEKQ" role="_f80E29VkEdu2lNoUv7xEKQ"/> |
| <end xmi:id="_f8q67NVkEdu2lNoUv7xEKQ" role="_f80E29VkEdu2lNoUv7xEKQ"/> |
| </ownedConnector> |
| <lifeline xmi:id="_f8q67dVkEdu2lNoUv7xEKQ" represents="_f80E2tVkEdu2lNoUv7xEKQ" coveredBy="_f8q68dVkEdu2lNoUv7xEKQ _f8q68tVkEdu2lNoUv7xEKQ _f8q689VkEdu2lNoUv7xEKQ _f80EtdVkEdu2lNoUv7xEKQ _f80EutVkEdu2lNoUv7xEKQ _f80Eu9VkEdu2lNoUv7xEKQ _f80EvNVkEdu2lNoUv7xEKQ"/> |
| <lifeline xmi:id="_f8q67tVkEdu2lNoUv7xEKQ" name="mc2" represents="_f80E3NVkEdu2lNoUv7xEKQ" coveredBy="_f8q69dVkEdu2lNoUv7xEKQ _f8q69tVkEdu2lNoUv7xEKQ _f80EsNVkEdu2lNoUv7xEKQ _f80EtdVkEdu2lNoUv7xEKQ _f80EvtVkEdu2lNoUv7xEKQ _f80Ev9VkEdu2lNoUv7xEKQ _f80EwNVkEdu2lNoUv7xEKQ"/> |
| <lifeline xmi:id="_f8q679VkEdu2lNoUv7xEKQ" represents="_f80E29VkEdu2lNoUv7xEKQ" coveredBy="_f8q68NVkEdu2lNoUv7xEKQ _f8q69NVkEdu2lNoUv7xEKQ _f80EsdVkEdu2lNoUv7xEKQ _f80EstVkEdu2lNoUv7xEKQ _f80Es9VkEdu2lNoUv7xEKQ _f80EtNVkEdu2lNoUv7xEKQ _f80EtdVkEdu2lNoUv7xEKQ _f80EudVkEdu2lNoUv7xEKQ _f80EvdVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q68NVkEdu2lNoUv7xEKQ" covered="_f8q679VkEdu2lNoUv7xEKQ" event="_f80E6tVkEdu2lNoUv7xEKQ" message="_f80EwdVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q68dVkEdu2lNoUv7xEKQ" covered="_f8q67dVkEdu2lNoUv7xEKQ" event="_f80E69VkEdu2lNoUv7xEKQ" message="_f80EwdVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f8q68tVkEdu2lNoUv7xEKQ" covered="_f8q67dVkEdu2lNoUv7xEKQ" start="_f8q68dVkEdu2lNoUv7xEKQ" finish="_f8q689VkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q689VkEdu2lNoUv7xEKQ" covered="_f8q67dVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q69NVkEdu2lNoUv7xEKQ" covered="_f8q679VkEdu2lNoUv7xEKQ" event="_f80E6tVkEdu2lNoUv7xEKQ" message="_f80EwtVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f8q69dVkEdu2lNoUv7xEKQ" covered="_f8q67tVkEdu2lNoUv7xEKQ" event="_f80E69VkEdu2lNoUv7xEKQ" message="_f80EwtVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f8q69tVkEdu2lNoUv7xEKQ" covered="_f8q67tVkEdu2lNoUv7xEKQ" start="_f8q69dVkEdu2lNoUv7xEKQ" finish="_f80EsNVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EsNVkEdu2lNoUv7xEKQ" covered="_f8q67tVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EsdVkEdu2lNoUv7xEKQ" covered="_f8q679VkEdu2lNoUv7xEKQ" event="_f80E7tVkEdu2lNoUv7xEKQ" message="_f80Ew9VkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EstVkEdu2lNoUv7xEKQ" covered="_f8q679VkEdu2lNoUv7xEKQ" event="_f80E79VkEdu2lNoUv7xEKQ" message="_f80Ew9VkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f80Es9VkEdu2lNoUv7xEKQ" covered="_f8q679VkEdu2lNoUv7xEKQ" start="_f80EstVkEdu2lNoUv7xEKQ" finish="_f80EtNVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EtNVkEdu2lNoUv7xEKQ" covered="_f8q679VkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:CombinedFragment" xmi:id="_f80EtdVkEdu2lNoUv7xEKQ" covered="_f8q67dVkEdu2lNoUv7xEKQ _f8q67tVkEdu2lNoUv7xEKQ _f8q679VkEdu2lNoUv7xEKQ" interactionOperator="assert"> |
| <operand xmi:id="_f80EttVkEdu2lNoUv7xEKQ"> |
| <guard xmi:id="_f80Et9VkEdu2lNoUv7xEKQ"> |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_f80EuNVkEdu2lNoUv7xEKQ"> |
| <body>!mc1.match(mc2)</body> |
| </specification> |
| </guard> |
| </operand> |
| </fragment> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EudVkEdu2lNoUv7xEKQ" covered="_f8q679VkEdu2lNoUv7xEKQ" event="_f80E8NVkEdu2lNoUv7xEKQ" message="_f80ExNVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EutVkEdu2lNoUv7xEKQ" covered="_f8q67dVkEdu2lNoUv7xEKQ" event="_f80E8dVkEdu2lNoUv7xEKQ" message="_f80ExNVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f80Eu9VkEdu2lNoUv7xEKQ" covered="_f8q67dVkEdu2lNoUv7xEKQ" start="_f80EutVkEdu2lNoUv7xEKQ" finish="_f80EvNVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EvNVkEdu2lNoUv7xEKQ" covered="_f8q67dVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EvdVkEdu2lNoUv7xEKQ" covered="_f8q679VkEdu2lNoUv7xEKQ" event="_f80E8NVkEdu2lNoUv7xEKQ" message="_f80ExdVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EvtVkEdu2lNoUv7xEKQ" covered="_f8q67tVkEdu2lNoUv7xEKQ" event="_f80E8dVkEdu2lNoUv7xEKQ" message="_f80ExdVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f80Ev9VkEdu2lNoUv7xEKQ" covered="_f8q67tVkEdu2lNoUv7xEKQ" start="_f80EvtVkEdu2lNoUv7xEKQ" finish="_f80EwNVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80EwNVkEdu2lNoUv7xEKQ" covered="_f8q67tVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f80EwdVkEdu2lNoUv7xEKQ" name="flipUp" receiveEvent="_f8q68dVkEdu2lNoUv7xEKQ" sendEvent="_f8q68NVkEdu2lNoUv7xEKQ" connector="_f8q65NVkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f80EwtVkEdu2lNoUv7xEKQ" name="flipUp" receiveEvent="_f8q69dVkEdu2lNoUv7xEKQ" sendEvent="_f8q69NVkEdu2lNoUv7xEKQ" connector="_f8q659VkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f80Ew9VkEdu2lNoUv7xEKQ" name="soundBeep" receiveEvent="_f80EstVkEdu2lNoUv7xEKQ" sendEvent="_f80EsdVkEdu2lNoUv7xEKQ" connector="_f8q66tVkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f80ExNVkEdu2lNoUv7xEKQ" name="flipDown" receiveEvent="_f80EutVkEdu2lNoUv7xEKQ" sendEvent="_f80EudVkEdu2lNoUv7xEKQ" connector="_f8q65NVkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f80ExdVkEdu2lNoUv7xEKQ" name="flipDown" receiveEvent="_f80EvtVkEdu2lNoUv7xEKQ" sendEvent="_f80EvdVkEdu2lNoUv7xEKQ" connector="_f8q659VkEdu2lNoUv7xEKQ"/> |
| </ownedBehavior> |
| <ownedAttribute xmi:id="_f80E2dVkEdu2lNoUv7xEKQ" name="user" type="_f80E3tVkEdu2lNoUv7xEKQ"/> |
| <ownedAttribute xmi:id="_f80E2tVkEdu2lNoUv7xEKQ" name="mc1" type="_f80E39VkEdu2lNoUv7xEKQ"/> |
| <ownedAttribute xmi:id="_f80E29VkEdu2lNoUv7xEKQ" name="memoryPanel" type="_f80E5NVkEdu2lNoUv7xEKQ"/> |
| <ownedAttribute xmi:id="_f80E3NVkEdu2lNoUv7xEKQ" name="mc2" type="_f80E39VkEdu2lNoUv7xEKQ"/> |
| <ownedAttribute xmi:id="_f80E3dVkEdu2lNoUv7xEKQ" name="user2" type="_f80E3tVkEdu2lNoUv7xEKQ"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Actor" xmi:id="_f80E3tVkEdu2lNoUv7xEKQ" name="user"/> |
| <packagedElement xmi:type="uml:Class" xmi:id="_f80E39VkEdu2lNoUv7xEKQ" name="MemoryCard"> |
| <ownedOperation xmi:id="_f80E4NVkEdu2lNoUv7xEKQ" name="mouseClicked"/> |
| <ownedOperation xmi:id="_f80E4dVkEdu2lNoUv7xEKQ" name="flipUp"/> |
| <ownedOperation xmi:id="_f80E4tVkEdu2lNoUv7xEKQ" name="reDraw"/> |
| <ownedOperation xmi:id="_f80E49VkEdu2lNoUv7xEKQ" name="flipDown"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_f80E5NVkEdu2lNoUv7xEKQ" name="MemoryPanel"> |
| <ownedOperation xmi:id="_f80E5dVkEdu2lNoUv7xEKQ" name="soundBeep"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="_f80E5tVkEdu2lNoUv7xEKQ" name="SendOperationEvent1"/> |
| <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_f80E59VkEdu2lNoUv7xEKQ" name="ReceiveOperationEvent1"/> |
| <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="_f80E6NVkEdu2lNoUv7xEKQ" name="SendOperationEvent2" operation="_f80E4NVkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_f80E6dVkEdu2lNoUv7xEKQ" name="ReceiveOperationEvent2" operation="_f80E4NVkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="_f80E6tVkEdu2lNoUv7xEKQ" name="SendOperationEvent3" operation="_f80E4dVkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_f80E69VkEdu2lNoUv7xEKQ" name="ReceiveOperationEvent3" operation="_f80E4dVkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="_f80E7NVkEdu2lNoUv7xEKQ" name="SendOperationEvent4" operation="_f80E4tVkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_f80E7dVkEdu2lNoUv7xEKQ" name="ReceiveOperationEvent4" operation="_f80E4tVkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="_f80E7tVkEdu2lNoUv7xEKQ" name="SendOperationEvent5" operation="_f80E5dVkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_f80E79VkEdu2lNoUv7xEKQ" name="ReceiveOperationEvent5" operation="_f80E5dVkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:SendOperationEvent" xmi:id="_f80E8NVkEdu2lNoUv7xEKQ" name="SendOperationEvent6" operation="_f80E49VkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:ReceiveOperationEvent" xmi:id="_f80E8dVkEdu2lNoUv7xEKQ" name="ReceiveOperationEvent6" operation="_f80E49VkEdu2lNoUv7xEKQ"/> |
| <packagedElement xmi:type="uml:Interaction" xmi:id="_f80ExtVkEdu2lNoUv7xEKQ" name="ReDraw"> |
| <ownedConnector xmi:id="_f80Ex9VkEdu2lNoUv7xEKQ"> |
| <end xmi:id="_f80EyNVkEdu2lNoUv7xEKQ" role="_f80E3dVkEdu2lNoUv7xEKQ"/> |
| <end xmi:id="_f80EydVkEdu2lNoUv7xEKQ" role="_f80E2tVkEdu2lNoUv7xEKQ"/> |
| </ownedConnector> |
| <ownedConnector xmi:id="_f80EytVkEdu2lNoUv7xEKQ"> |
| <end xmi:id="_f80Ey9VkEdu2lNoUv7xEKQ" role="_f80E2tVkEdu2lNoUv7xEKQ"/> |
| <end xmi:id="_f80EzNVkEdu2lNoUv7xEKQ" role="_f80E2tVkEdu2lNoUv7xEKQ"/> |
| </ownedConnector> |
| <lifeline xmi:id="_f80EzdVkEdu2lNoUv7xEKQ" name="user" represents="_f80E3dVkEdu2lNoUv7xEKQ" coveredBy="_f80Ez9VkEdu2lNoUv7xEKQ"/> |
| <lifeline xmi:id="_f80EztVkEdu2lNoUv7xEKQ" name="card" represents="_f80E2tVkEdu2lNoUv7xEKQ" coveredBy="_f80E0NVkEdu2lNoUv7xEKQ _f80E0dVkEdu2lNoUv7xEKQ _f80E0tVkEdu2lNoUv7xEKQ _f80E09VkEdu2lNoUv7xEKQ _f80E1NVkEdu2lNoUv7xEKQ _f80E1dVkEdu2lNoUv7xEKQ _f80E1tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80Ez9VkEdu2lNoUv7xEKQ" name="mouseClicked_send" covered="_f80EzdVkEdu2lNoUv7xEKQ" event="_f80E6NVkEdu2lNoUv7xEKQ" message="_f80E19VkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80E0NVkEdu2lNoUv7xEKQ" name="mouseClicked_receive" covered="_f80EztVkEdu2lNoUv7xEKQ" event="_f80E6dVkEdu2lNoUv7xEKQ" message="_f80E19VkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f80E0dVkEdu2lNoUv7xEKQ" name="mouseClicked-Execution" covered="_f80EztVkEdu2lNoUv7xEKQ" start="_f80E0NVkEdu2lNoUv7xEKQ" finish="_f80E0tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80E09VkEdu2lNoUv7xEKQ" name="reDraw_send" covered="_f80EztVkEdu2lNoUv7xEKQ" event="_f80E7NVkEdu2lNoUv7xEKQ" message="_f80E2NVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80E1NVkEdu2lNoUv7xEKQ" name="reDraw_receive" covered="_f80EztVkEdu2lNoUv7xEKQ" event="_f80E7dVkEdu2lNoUv7xEKQ" message="_f80E2NVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:BehaviorExecutionSpecification" xmi:id="_f80E1dVkEdu2lNoUv7xEKQ" name="reDraw-Execution" covered="_f80EztVkEdu2lNoUv7xEKQ" start="_f80E1NVkEdu2lNoUv7xEKQ" finish="_f80E1tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80E1tVkEdu2lNoUv7xEKQ" name="reDraw-Execution-Done" covered="_f80EztVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_f80E0tVkEdu2lNoUv7xEKQ" name="mouseClicked-Execution-Done" covered="_f80EztVkEdu2lNoUv7xEKQ" event="_f80E5tVkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f80E19VkEdu2lNoUv7xEKQ" name="mouseClicked" receiveEvent="_f80E0NVkEdu2lNoUv7xEKQ" sendEvent="_f80Ez9VkEdu2lNoUv7xEKQ" connector="_f80Ex9VkEdu2lNoUv7xEKQ"/> |
| <message xmi:id="_f80E2NVkEdu2lNoUv7xEKQ" name="reDraw" receiveEvent="_f80E1NVkEdu2lNoUv7xEKQ" sendEvent="_f80E09VkEdu2lNoUv7xEKQ" connector="_f80EytVkEdu2lNoUv7xEKQ"/> |
| </packagedElement> |
| </uml:Model> |
