| <?xml version="1.0" encoding="UTF-8"?> |
| <uml:Model xmi:version="20110701" xmlns:xmi="http://www.omg.org/spec/XMI/20110701" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:uml="http://www.eclipse.org/uml2/4.0.0/UML" xmi:id="_rTTfwEhgEeKH-pnq7F28dg" name="Model" URI="http://states"> |
| <packageImport xmi:id="_rTTfwUhgEeKH-pnq7F28dg"> |
| <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/> |
| </packageImport> |
| <packagedElement xmi:type="uml:Class" xmi:id="_3RVYAEhgEeKH-pnq7F28dg" name="C1" classifierBehavior="_RulS4EhhEeKH-pnq7F28dg"> |
| <ownedAttribute xmi:id="_6-KPEEhgEeKH-pnq7F28dg" name="a1" visibility="public" type="_BA838EhhEeKH-pnq7F28dg"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_Do808EhhEeKH-pnq7F28dg" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_Do9cAEhhEeKH-pnq7F28dg" value="1"/> |
| <defaultValue xmi:type="uml:LiteralString" xmi:id="_DpCUgEhhEeKH-pnq7F28dg"> |
| <value xsi:nil="true"/> |
| </defaultValue> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_RulS4EhhEeKH-pnq7F28dg" name="StateMachine1"> |
| <region xmi:id="_SsLjkEhhEeKH-pnq7F28dg" name="Region1"> |
| <subvertex xmi:type="uml:State" xmi:id="_V3m9wEhhEeKH-pnq7F28dg" name="S1a"/> |
| <subvertex xmi:type="uml:State" xmi:id="_XmrHoEhhEeKH-pnq7F28dg" name="S2a"/> |
| </region> |
| <region xmi:id="_a3n7AEhhEeKH-pnq7F28dg" name="Region0"> |
| <subvertex xmi:type="uml:State" xmi:id="_eMGjgEhhEeKH-pnq7F28dg" name="S3a"> |
| <region xmi:id="_gBn6sEhhEeKH-pnq7F28dg" name="Region0"> |
| <subvertex xmi:type="uml:State" xmi:id="_hD7FMEhhEeKH-pnq7F28dg" name="S4a"/> |
| </region> |
| </subvertex> |
| </region> |
| <region xmi:id="_dQSbgEhhEeKH-pnq7F28dg" name="Region2"/> |
| </ownedBehavior> |
| <ownedOperation xmi:id="_HzQSMEhhEeKH-pnq7F28dg" name="o1"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_40YfIEhgEeKH-pnq7F28dg" name="C2" classifierBehavior="_tELyEEhhEeKH-pnq7F28dg"> |
| <ownedAttribute xmi:id="_FbqvwEhhEeKH-pnq7F28dg" name="a2" visibility="public" type="_BA838EhhEeKH-pnq7F28dg"> |
| <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_G4jkgEhhEeKH-pnq7F28dg" value="1"/> |
| <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_G4kLkEhhEeKH-pnq7F28dg" value="1"/> |
| <defaultValue xmi:type="uml:LiteralString" xmi:id="_G4kyoEhhEeKH-pnq7F28dg"> |
| <value xsi:nil="true"/> |
| </defaultValue> |
| </ownedAttribute> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_tELyEEhhEeKH-pnq7F28dg" name="StateMachine2"> |
| <connectionPoint xmi:id="_307-4EhhEeKH-pnq7F28dg" name="S2e" kind="entryPoint"/> |
| <region xmi:id="_uNcgMEhhEeKH-pnq7F28dg" name="Region1"> |
| <transition xmi:id="_65DQIEhhEeKH-pnq7F28dg" name="Transition0" source="_zRZiQEhhEeKH-pnq7F28dg" target="_xbtL8EhhEeKH-pnq7F28dg"/> |
| <transition xmi:id="_9jjukEhhEeKH-pnq7F28dg" name="Transition1" source="_xbtL8EhhEeKH-pnq7F28dg" target="_1y8R8EhhEeKH-pnq7F28dg"/> |
| <subvertex xmi:type="uml:State" xmi:id="_xbtL8EhhEeKH-pnq7F28dg" name="S2a"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_zRZiQEhhEeKH-pnq7F28dg" name="S2i"/> |
| <subvertex xmi:type="uml:FinalState" xmi:id="_1y8R8EhhEeKH-pnq7F28dg" name="S2f"/> |
| </region> |
| </ownedBehavior> |
| <ownedOperation xmi:id="_LDDPAEhhEeKH-pnq7F28dg" name="o2"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:PrimitiveType" xmi:id="_BA838EhhEeKH-pnq7F28dg" name="String"/> |
| </uml:Model> |
