diff options
Diffstat (limited to 'extraplugins/diagram-definition/org.eclipse.papyrus.umldi.examples/TimingDiagrams.uml')
| -rw-r--r-- | extraplugins/diagram-definition/org.eclipse.papyrus.umldi.examples/TimingDiagrams.uml | 369 |
1 files changed, 369 insertions, 0 deletions
diff --git a/extraplugins/diagram-definition/org.eclipse.papyrus.umldi.examples/TimingDiagrams.uml b/extraplugins/diagram-definition/org.eclipse.papyrus.umldi.examples/TimingDiagrams.uml new file mode 100644 index 00000000000..964cdf2a9f5 --- /dev/null +++ b/extraplugins/diagram-definition/org.eclipse.papyrus.umldi.examples/TimingDiagrams.uml @@ -0,0 +1,369 @@ +<?xml version="1.0" encoding="UTF-8"?> +<uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_hnps8ObKEeSDhKlRnjfQhw" name="model"> + <packagedElement xmi:type="uml:Interaction" xmi:id="_0HrpkOg-EeS-d6TLC-Yciw" name="Full Interaction"> + <ownedRule xmi:type="uml:TimeConstraint" xmi:id="_XTH8QOhCEeS-d6TLC-Yciw" constrainedElement="_MvoIUOhCEeS-d6TLC-Yciw"> + <specification xmi:type="uml:TimeInterval" xmi:id="_XTH8QehCEeS-d6TLC-Yciw" max="_XTIjUehCEeS-d6TLC-Yciw" min="_XTIjUOhCEeS-d6TLC-Yciw"/> + </ownedRule> + <lifeline xmi:type="uml:Lifeline" xmi:id="_1kZfMOg-EeS-d6TLC-Yciw" name="User" coveredBy="_2evAhOg-EeS-d6TLC-Yciw _66UToOhBEeS-d6TLC-Yciw _ChscFeg_EeS-d6TLC-Yciw _G-B9IOhCEeS-d6TLC-Yciw _GeVQwug_EeS-d6TLC-Yciw _MvoIUOhCEeS-d6TLC-Yciw _KsDOZ-g_EeS-d6TLC-Yciw _ZD5N8OhQEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_1kZfMeg-EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.lifeline"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_1kaGQOg-EeS-d6TLC-Yciw" key="type" value="full"/> + </eAnnotations> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_2evAgeg-EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.LifelineStateDefinitions"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_2evAgug-EeS-d6TLC-Yciw" key="_2euZcOg-EeS-d6TLC-Yciw" value="WaitAccess"/> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="__p1eI-g-EeS-d6TLC-Yciw" key="__p1eIOg-EeS-d6TLC-Yciw" value="CardWait"/> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_BKvQMeg_EeS-d6TLC-Yciw" key="_BKupIOg_EeS-d6TLC-Yciw" value="Idle"/> + </eAnnotations> + </lifeline> + <lifeline xmi:type="uml:Lifeline" xmi:id="_Xl6AQOhAEeS-d6TLC-Yciw" name="ACSystem" coveredBy="_iFPs8uhAEeS-d6TLC-Yciw _66VhwOhBEeS-d6TLC-Yciw _pLbsh-hAEeS-d6TLC-Yciw _G-AvAOhCEeS-d6TLC-Yciw _E1GhxuhCEeS-d6TLC-Yciw _Mvm6MOhCEeS-d6TLC-Yciw _LtjAR-hCEeS-d6TLC-Yciw _5IT_8OhAEeS-d6TLC-Yciw _5IUnB-hAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Xl6nUOhAEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.lifeline"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_Xl6nUehAEeS-d6TLC-Yciw" key="type" value="full"/> + </eAnnotations> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_iFPF4-hAEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.LifelineStateDefinitions"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_iFPs8OhAEeS-d6TLC-Yciw" key="_iFPF4OhAEeS-d6TLC-Yciw" value="hasCard"/> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_jPujEehAEeS-d6TLC-Yciw" key="_jPt8AOhAEeS-d6TLC-Yciw" value="noCard"/> + </eAnnotations> + </lifeline> + <fragment xmi:type="uml:StateInvariant" xmi:id="_2evAhOg-EeS-d6TLC-Yciw" name="Idle_1" covered="_1kZfMOg-EeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_2evnkOg-EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_2evnkeg-EeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_BKupIOg_EeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_2evAheg-EeS-d6TLC-Yciw" name="InState_Idle"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_2evAhug-EeS-d6TLC-Yciw" language=""> + <body>Idle</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_66UToOhBEeS-d6TLC-Yciw" name="Idle_1_To_CardWait_1" visibility="public" covered="_1kZfMOg-EeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_66UToehBEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Chqm4eg_EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_ChscFeg_EeS-d6TLC-Yciw" name="CardWait_1" covered="_1kZfMOg-EeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ChtDIOg_EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_ChtDIeg_EeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="__p1eIOg-EeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_ChscFug_EeS-d6TLC-Yciw" name="InState_CardWait"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_ChscF-g_EeS-d6TLC-Yciw" language=""> + <body>CardWait</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_G-B9IOhCEeS-d6TLC-Yciw" name="CardWait_1_To_WaitAccess_1" visibility="public" covered="_1kZfMOg-EeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_G-B9IehCEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_GeTbkeg_EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_GeVQwug_EeS-d6TLC-Yciw" name="WaitAccess_1" covered="_1kZfMOg-EeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_GeVQxeg_EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_GeVQxug_EeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_2euZcOg-EeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_GeVQw-g_EeS-d6TLC-Yciw" name="InState_WaitAccess"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_GeVQxOg_EeS-d6TLC-Yciw" language=""> + <body>WaitAccess</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_MvoIUOhCEeS-d6TLC-Yciw" name="WaitAccess_1_To_Idle_2" visibility="public" covered="_1kZfMOg-EeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_MvoIUehCEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_KsCAQeg_EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_KsDOZ-g_EeS-d6TLC-Yciw" name="Idle_2" covered="_1kZfMOg-EeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_KsD1cOg_EeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_KsD1ceg_EeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_BKupIOg_EeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_KsDOaOg_EeS-d6TLC-Yciw" name="InState_Idle"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_KsDOaeg_EeS-d6TLC-Yciw" language=""> + <body>Idle</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:DestructionOccurrenceSpecification" xmi:id="_ZD5N8OhQEeS-d6TLC-Yciw" covered="_1kZfMOg-EeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ZD5N8ehQEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_iFPs8uhAEeS-d6TLC-Yciw" name="noCard_1" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_iFPs9ehAEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_iFPs9uhAEeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_jPt8AOhAEeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_iFPs8-hAEeS-d6TLC-Yciw" name="InState_noCard"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_iFPs9OhAEeS-d6TLC-Yciw" language=""> + <body>noCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_66VhwOhBEeS-d6TLC-Yciw" name="noCard_1_To_hasCard_1" visibility="public" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_66VhwehBEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pLaeYehAEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_pLbsh-hAEeS-d6TLC-Yciw" name="hasCard_1" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pLcTkOhAEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_pLcTkehAEeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_iFPF4OhAEeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_pLbsiOhAEeS-d6TLC-Yciw" name="InState_hasCard"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_pLbsiehAEeS-d6TLC-Yciw" language=""> + <body>hasCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_G-AvAOhCEeS-d6TLC-Yciw" name="hasCard_1_To_hasCard_2" visibility="public" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_G-AvAehCEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_E1EskehCEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_E1GhxuhCEeS-d6TLC-Yciw" name="hasCard_2" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_E1HI0OhCEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_E1HI0ehCEeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_iFPF4OhAEeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_E1Ghx-hCEeS-d6TLC-Yciw" name="InState_hasCard"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_E1GhyOhCEeS-d6TLC-Yciw" language=""> + <body>hasCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_Mvm6MOhCEeS-d6TLC-Yciw" name="hasCard_2_To_hasCard_3" visibility="public" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Mvm6MehCEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_LthyIehCEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_LtjAR-hCEeS-d6TLC-Yciw" name="hasCard_3" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_LtjnUOhCEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_LtjnUehCEeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_iFPF4OhAEeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_LtjASOhCEeS-d6TLC-Yciw" name="InState_hasCard"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_LtjASehCEeS-d6TLC-Yciw" language=""> + <body>hasCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_5IT_8OhAEeS-d6TLC-Yciw" name="hasCard_3_To_noCard_2" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5IT_8ehAEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_5IUnB-hAEeS-d6TLC-Yciw" name="noCard_2" covered="_Xl6AQOhAEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_5IVOEOhAEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.StateInvariant"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_5IVOEehAEeS-d6TLC-Yciw" key="org.eclipse.papyrus.uml.diagram.timing.StateInvariantStateDefinitionId" value="_jPt8AOhAEeS-d6TLC-Yciw"/> + </eAnnotations> + <invariant xmi:type="uml:Constraint" xmi:id="_5IUnCOhAEeS-d6TLC-Yciw" name="InState_noCard"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_5IUnCehAEeS-d6TLC-Yciw" language=""> + <body>noCard</body> + </specification> + </invariant> + </fragment> + <message xmi:type="uml:Message" xmi:id="_66WI0OhBEeS-d6TLC-Yciw" name="code" messageSort="asynchCall" receiveEvent="_66VhwOhBEeS-d6TLC-Yciw" sendEvent="_66UToOhBEeS-d6TLC-Yciw"/> + <message xmi:type="uml:Message" xmi:id="_G-CkMOhCEeS-d6TLC-Yciw" name="cardOut" messageSort="asynchCall" receiveEvent="_G-B9IOhCEeS-d6TLC-Yciw" sendEvent="_G-AvAOhCEeS-d6TLC-Yciw"/> + <message xmi:type="uml:Message" xmi:id="_MvovYOhCEeS-d6TLC-Yciw" name="OK" messageSort="asynchCall" receiveEvent="_MvoIUOhCEeS-d6TLC-Yciw" sendEvent="_Mvm6MOhCEeS-d6TLC-Yciw"/> + </packagedElement> + <packagedElement xmi:type="uml:DurationConstraint" xmi:id="_Nc2soOhAEeS-d6TLC-Yciw" constrainedElement="_ChscFeg_EeS-d6TLC-Yciw"> + <specification xmi:type="uml:DurationInterval" xmi:id="_Nc3TsOhAEeS-d6TLC-Yciw" max="_Nc3TsuhAEeS-d6TLC-Yciw" min="_Nc3TsehAEeS-d6TLC-Yciw"/> + </packagedElement> + <packagedElement xmi:type="uml:Duration" xmi:id="_Nc3TsehAEeS-d6TLC-Yciw" observation="_Nk28oOhBEeS-d6TLC-Yciw"/> + <packagedElement xmi:type="uml:Duration" xmi:id="_Nc3TsuhAEeS-d6TLC-Yciw"> + <expr xmi:type="uml:Expression" xmi:id="__AqrAP9YEeSue6dARPRLHA" symbol="d+3"/> + </packagedElement> + <packagedElement xmi:type="uml:DurationObservation" xmi:id="_Nk28oOhBEeS-d6TLC-Yciw" name="d" visibility="public" event="_66UToOhBEeS-d6TLC-Yciw"/> + <packagedElement xmi:type="uml:TimeObservation" xmi:id="_SKRMEOhCEeS-d6TLC-Yciw" name="t" event="_Mvm6MOhCEeS-d6TLC-Yciw"/> + <packagedElement xmi:type="uml:TimeExpression" xmi:id="_XTIjUOhCEeS-d6TLC-Yciw" observation="_SKRMEOhCEeS-d6TLC-Yciw"/> + <packagedElement xmi:type="uml:TimeExpression" xmi:id="_XTIjUehCEeS-d6TLC-Yciw"> + <expr xmi:type="uml:Expression" xmi:id="_Hb2KwP9dEeSue6dARPRLHA" symbol="t+3"/> + </packagedElement> + <packagedElement xmi:type="uml:Interaction" xmi:id="_TbWVQOhJEeS-d6TLC-Yciw" name="Compact Interaction"> + <ownedRule xmi:type="uml:TimeConstraint" xmi:id="_-jZ5MOhMEeS-d6TLC-Yciw" name="{t..t+3}" constrainedElement="_pmFxwOhMEeS-d6TLC-Yciw"> + <specification xmi:type="uml:TimeInterval" xmi:id="_-jagQOhMEeS-d6TLC-Yciw" max="_XTIjUehCEeS-d6TLC-Yciw" min="_XTIjUOhCEeS-d6TLC-Yciw"/> + </ownedRule> + <lifeline xmi:type="uml:Lifeline" xmi:id="_VGN7oOhJEeS-d6TLC-Yciw" name="User" coveredBy="_VGg2kOhJEeS-d6TLC-Yciw _bOjEcOhMEeS-d6TLC-Yciw _oF6f0OhJEeS-d6TLC-Yciw _huY1sOhMEeS-d6TLC-Yciw _ldmZwehJEeS-d6TLC-Yciw _pmFxwOhMEeS-d6TLC-Yciw _oZXARehJEeS-d6TLC-Yciw _bXu40OhQEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_VGOisOhJEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.lifeline"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_VGOisehJEeS-d6TLC-Yciw" key="type" value="compact"/> + </eAnnotations> + </lifeline> + <lifeline xmi:type="uml:Lifeline" xmi:id="_isc14OhLEeS-d6TLC-Yciw" name="ACSystem" coveredBy="_is0pUOhLEeS-d6TLC-Yciw _bOjrgOhMEeS-d6TLC-Yciw _yvA6lehLEeS-d6TLC-Yciw _huXnkOhMEeS-d6TLC-Yciw _y-jycuhLEeS-d6TLC-Yciw _pmFKsOhMEeS-d6TLC-Yciw _zZ64w-hLEeS-d6TLC-Yciw _zuv5QOhLEeS-d6TLC-Yciw _zuxHZehLEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_isdc8OhLEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.lifeline"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_isdc8ehLEeS-d6TLC-Yciw" key="type" value="compact"/> + </eAnnotations> + </lifeline> + <fragment xmi:type="uml:StateInvariant" xmi:id="_VGg2kOhJEeS-d6TLC-Yciw" name="Idle_1" covered="_VGN7oOhJEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_VGg2kehJEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_VGg2kuhJEeS-d6TLC-Yciw"> + <language></language> + <body>Idle</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_bOjEcOhMEeS-d6TLC-Yciw" name="Idle_1_To_WaitCard_1" visibility="public" covered="_VGN7oOhJEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_bOjEcehMEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_oF4qoehJEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_oF6f0OhJEeS-d6TLC-Yciw" name="WaitCard_1" covered="_VGN7oOhJEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_oF6f0ehJEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_oF6f0uhJEeS-d6TLC-Yciw"> + <language></language> + <body>WaitCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_huY1sOhMEeS-d6TLC-Yciw" name="WaitCard_1_To_WaitAccess_1" visibility="public" covered="_VGN7oOhJEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_huY1sehMEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ldkkkehJEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_ldmZwehJEeS-d6TLC-Yciw" name="WaitAccess_1" covered="_VGN7oOhJEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_ldmZwuhJEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_ldmZw-hJEeS-d6TLC-Yciw"> + <language></language> + <body>WaitAccess</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_pmFxwOhMEeS-d6TLC-Yciw" name="WaitAccess_1_To_Idle_2" visibility="public" covered="_VGN7oOhJEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pmFxwehMEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_oZVyIehJEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_oZXARehJEeS-d6TLC-Yciw" name="Idle_2" covered="_VGN7oOhJEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_oZXARuhJEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_oZXAR-hJEeS-d6TLC-Yciw"> + <language></language> + <body>Idle</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_is0pUOhLEeS-d6TLC-Yciw" name="noCard" covered="_isc14OhLEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_is0pUehLEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_is0pUuhLEeS-d6TLC-Yciw"> + <language></language> + <body>noCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_bOjrgOhMEeS-d6TLC-Yciw" name="<unnamed>_To_<unnamed>" visibility="public" covered="_isc14OhLEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_bOjrgehMEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_yu_scehLEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_yvA6lehLEeS-d6TLC-Yciw" name="hasCard" covered="_isc14OhLEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_yvA6luhLEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_yvA6l-hLEeS-d6TLC-Yciw"> + <language></language> + <body>hasCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_huXnkOhMEeS-d6TLC-Yciw" name="<unnamed>_To_<unnamed>" visibility="public" covered="_isc14OhLEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_huXnkehMEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_y-ikUehLEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_y-jycuhLEeS-d6TLC-Yciw" name="hasCard2" covered="_isc14OhLEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_y-jyc-hLEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_y-jydOhLEeS-d6TLC-Yciw"> + <language></language> + <body>hasCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_pmFKsOhMEeS-d6TLC-Yciw" name="<unnamed>_To_<unnamed>" visibility="public" covered="_isc14OhLEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_pmFKsehMEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_zZ5qoehLEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_zZ64w-hLEeS-d6TLC-Yciw" name="hasCard3" covered="_isc14OhLEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_zZ64xOhLEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_zZ64xehLEeS-d6TLC-Yciw"> + <language></language> + <body>hasCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_zuv5QOhLEeS-d6TLC-Yciw" name="<unnamed>_To_<unnamed>" covered="_isc14OhLEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_zuv5QehLEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_zuxHZehLEeS-d6TLC-Yciw" name="noCard2" covered="_isc14OhLEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_zuxHZuhLEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_zuxHZ-hLEeS-d6TLC-Yciw"> + <language></language> + <body>noCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:DestructionOccurrenceSpecification" xmi:id="_bXu40OhQEeS-d6TLC-Yciw" covered="_VGN7oOhJEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_bXu40ehQEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <message xmi:type="uml:Message" xmi:id="_bOkSkOhMEeS-d6TLC-Yciw" name="code" messageSort="asynchCall" receiveEvent="_bOjrgOhMEeS-d6TLC-Yciw" sendEvent="_bOjEcOhMEeS-d6TLC-Yciw"/> + <message xmi:type="uml:Message" xmi:id="_huY1suhMEeS-d6TLC-Yciw" name="cardOut" messageSort="asynchCall" receiveEvent="_huY1sOhMEeS-d6TLC-Yciw" sendEvent="_huXnkOhMEeS-d6TLC-Yciw"/> + <message xmi:type="uml:Message" xmi:id="_pmGY0OhMEeS-d6TLC-Yciw" name="OK" messageSort="asynchCall" receiveEvent="_pmFxwOhMEeS-d6TLC-Yciw" sendEvent="_pmFKsOhMEeS-d6TLC-Yciw"/> + </packagedElement> + <packagedElement xmi:type="uml:DurationConstraint" xmi:id="_aJ0GcOhLEeS-d6TLC-Yciw" constrainedElement="_oF6f0OhJEeS-d6TLC-Yciw"> + <specification xmi:type="uml:DurationInterval" xmi:id="_aJ0tgOhLEeS-d6TLC-Yciw" max="_Nc3TsuhAEeS-d6TLC-Yciw" min="_Nc3TsehAEeS-d6TLC-Yciw"/> + </packagedElement> + <packagedElement xmi:type="uml:Interaction" xmi:id="_bJBZUOhOEeS-d6TLC-Yciw" name="Other Interaction"> + <lifeline xmi:type="uml:Lifeline" xmi:id="_fhi4wOhOEeS-d6TLC-Yciw" name="User" coveredBy="_fhxiQOhOEeS-d6TLC-Yciw _MVs5gOhPEeS-d6TLC-Yciw _yr_7cOhOEeS-d6TLC-Yciw _kTY3I-hOEeS-d6TLC-Yciw _ChFk0OhPEeS-d6TLC-Yciw _0YCmgOhOEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_fhjf0OhOEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.lifeline"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_fhjf0ehOEeS-d6TLC-Yciw" key="type" value="compact"/> + </eAnnotations> + </lifeline> + <lifeline xmi:type="uml:Lifeline" xmi:id="_hKM4oOhOEeS-d6TLC-Yciw" name="ACSystem" coveredBy="_MVtgkOhPEeS-d6TLC-Yciw _hKelcOhOEeS-d6TLC-Yciw _ChEWsOhPEeS-d6TLC-Yciw _kvfkUOhOEeS-d6TLC-Yciw _kvgydehOEeS-d6TLC-Yciw _npdloOhPEeS-d6TLC-Yciw _b_wXkOhPEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_hKNfsOhOEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.lifeline"> + <details xmi:type="ecore:EStringToStringMapEntry" xmi:id="_hKNfsehOEeS-d6TLC-Yciw" key="type" value="compact"/> + </eAnnotations> + </lifeline> + <fragment xmi:type="uml:StateInvariant" xmi:id="_fhxiQOhOEeS-d6TLC-Yciw" name="Idle" covered="_fhi4wOhOEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_fhxiQehOEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_fhxiQuhOEeS-d6TLC-Yciw"> + <language></language> + <body>Idle</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_hKelcOhOEeS-d6TLC-Yciw" name="noCard" covered="_hKM4oOhOEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_hKelcehOEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_hKelcuhOEeS-d6TLC-Yciw"> + <language></language> + <body>noCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_MVs5gOhPEeS-d6TLC-Yciw" visibility="public" covered="_fhi4wOhOEeS-d6TLC-Yciw"> + <name xsi:nil="true"/> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_yr_7cOhOEeS-d6TLC-Yciw" name="<unnamed>_To_<unnamed>" visibility="public" covered="_fhi4wOhOEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_yr_7cehOEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kTXpAehOEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_kTY3I-hOEeS-d6TLC-Yciw" name="WaitCard" covered="_fhi4wOhOEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_kTY3JOhOEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_kTY3JehOEeS-d6TLC-Yciw"> + <language></language> + <body>WaitCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_MVtgkOhPEeS-d6TLC-Yciw" visibility="public" covered="_hKM4oOhOEeS-d6TLC-Yciw"> + <name xsi:nil="true"/> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ChEWsOhPEeS-d6TLC-Yciw" visibility="public" covered="_hKM4oOhOEeS-d6TLC-Yciw"> + <name xsi:nil="true"/> + </fragment> + <fragment xmi:type="uml:OccurrenceSpecification" xmi:id="_kvfkUOhOEeS-d6TLC-Yciw" name="<unnamed>_To_<unnamed>" covered="_hKM4oOhOEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_kvfkUehOEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_kvgydehOEeS-d6TLC-Yciw" name="hasCard" covered="_hKM4oOhOEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_kvgyduhOEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_kvgyd-hOEeS-d6TLC-Yciw"> + <language></language> + <body>hasCard</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_ChFk0OhPEeS-d6TLC-Yciw" name="<unnamed>_To_<unnamed>" visibility="public" covered="_fhi4wOhOEeS-d6TLC-Yciw"> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_ChFk0ehPEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_0YBYYehOEeS-d6TLC-Yciw" source="org.eclipse.papyrus.uml.diagram.timing.autogeneratedOccurrenceSpecificationName"/> + </fragment> + <fragment xmi:type="uml:StateInvariant" xmi:id="_0YCmgOhOEeS-d6TLC-Yciw" name="WaitAccess" covered="_fhi4wOhOEeS-d6TLC-Yciw"> + <invariant xmi:type="uml:Constraint" xmi:id="_0YCmgehOEeS-d6TLC-Yciw"> + <specification xmi:type="uml:OpaqueExpression" xmi:id="_0YCmguhOEeS-d6TLC-Yciw"> + <language></language> + <body>WaitAccess</body> + </specification> + </invariant> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_npdloOhPEeS-d6TLC-Yciw" visibility="public" covered="_hKM4oOhOEeS-d6TLC-Yciw"> + <name xsi:nil="true"/> + </fragment> + <fragment xmi:type="uml:MessageOccurrenceSpecification" xmi:id="_b_wXkOhPEeS-d6TLC-Yciw" visibility="public" covered="_hKM4oOhOEeS-d6TLC-Yciw"> + <name xsi:nil="true"/> + </fragment> + <formalGate xmi:type="uml:Gate" xmi:id="_vZELEOhOEeS-d6TLC-Yciw"/> + <message xmi:type="uml:Message" xmi:id="_ysAigOhOEeS-d6TLC-Yciw" name="" receiveEvent="_yr_7cOhOEeS-d6TLC-Yciw" sendEvent="_vZELEOhOEeS-d6TLC-Yciw"/> + <message xmi:type="uml:Message" xmi:id="_ChGL4OhPEeS-d6TLC-Yciw" name="" messageSort="reply" receiveEvent="_ChFk0OhPEeS-d6TLC-Yciw" sendEvent="_ChEWsOhPEeS-d6TLC-Yciw"/> + <message xmi:type="uml:Message" xmi:id="_MVuHoOhPEeS-d6TLC-Yciw" name="" messageSort="createMessage" receiveEvent="_MVtgkOhPEeS-d6TLC-Yciw" sendEvent="_MVs5gOhPEeS-d6TLC-Yciw"/> + <message xmi:type="uml:Message" xmi:id="_npeMsOhPEeS-d6TLC-Yciw" name="" sendEvent="_npdloOhPEeS-d6TLC-Yciw"/> + </packagedElement> +</uml:Model> |