| <?xml version="1.0" encoding="UTF-8"?> |
| <uml:Model xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML" xmi:id="_gZXfsKuUEeSoZaYJvZ9ajQ" name="model"> |
| <packagedElement xmi:type="uml:StateMachine" xmi:id="_gZn-YKuUEeSoZaYJvZ9ajQ" name="State Machine"> |
| <connectionPoint xmi:type="uml:Pseudostate" xmi:id="_KouocKuVEeSoZaYJvZ9ajQ" name="EntryPoint1" kind="entryPoint"/> |
| <connectionPoint xmi:type="uml:Pseudostate" xmi:id="_QSwMAKuVEeSoZaYJvZ9ajQ" name="ExitPoint1" kind="exitPoint"/> |
| <region xmi:type="uml:Region" xmi:id="_gZ9VkKuUEeSoZaYJvZ9ajQ" name="Region1"> |
| <ownedComment xmi:type="uml:Comment" xmi:id="_Glj4gKuWEeSoZaYJvZ9ajQ" annotatedElement="_KouocKuVEeSoZaYJvZ9ajQ"> |
| <body>This is a test</body> |
| </ownedComment> |
| <transition xmi:type="uml:Transition" xmi:id="_BVwBMKuVEeSoZaYJvZ9ajQ" source="_rDAX4KuUEeSoZaYJvZ9ajQ" target="__OahQKuUEeSoZaYJvZ9ajQ"/> |
| <transition xmi:type="uml:Transition" xmi:id="_O6q-wKuVEeSoZaYJvZ9ajQ" source="_KouocKuVEeSoZaYJvZ9ajQ" target="_rDAX4KuUEeSoZaYJvZ9ajQ"/> |
| <transition xmi:type="uml:Transition" xmi:id="_Ry4iAKuVEeSoZaYJvZ9ajQ" source="_tqD5sKuUEeSoZaYJvZ9ajQ" target="_QSwMAKuVEeSoZaYJvZ9ajQ"/> |
| <transition xmi:type="uml:Transition" xmi:id="_orXVoKuVEeSoZaYJvZ9ajQ" source="__OahQKuUEeSoZaYJvZ9ajQ" target="_mNBq8KuVEeSoZaYJvZ9ajQ"/> |
| <transition xmi:type="uml:Transition" xmi:id="_StTM0K-8EeSoZaYJvZ9ajQ" guard="_F5BZcMavEeSCJJWcilYajg" source="_26l0cKuVEeSoZaYJvZ9ajQ" target="_tp9WkKuVEeSoZaYJvZ9ajQ"> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_F5BZcMavEeSCJJWcilYajg"> |
| <specification xmi:type="uml:LiteralString" xmi:id="_1HIDUP1FEeSPFZeS1JvHcA" value="x < 10"/> |
| </ownedRule> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_TpaPwK-8EeSoZaYJvZ9ajQ" guard="_bf0iwMavEeSCJJWcilYajg" source="_26l0cKuVEeSoZaYJvZ9ajQ" target="_mNBq8KuVEeSoZaYJvZ9ajQ"> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_bf0iwMavEeSCJJWcilYajg"> |
| <specification xmi:type="uml:LiteralString" xmi:id="_7KJ8wP1FEeSPFZeS1JvHcA" value="x >=10"/> |
| </ownedRule> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_U2d4wK-8EeSoZaYJvZ9ajQ" source="_1ZTn4KuVEeSoZaYJvZ9ajQ" target="__KE-YKuVEeSoZaYJvZ9ajQ"/> |
| <transition xmi:type="uml:Transition" xmi:id="_WV_x0K-8EeSoZaYJvZ9ajQ" source="__KE-YKuVEeSoZaYJvZ9ajQ" target="_4WACgKuVEeSoZaYJvZ9ajQ"/> |
| <transition xmi:type="uml:Transition" xmi:id="_axNG8K--EeSoZaYJvZ9ajQ" source="_mNBq8KuVEeSoZaYJvZ9ajQ" target="_4EeUEK-7EeSoZaYJvZ9ajQ"/> |
| <transition xmi:type="uml:Transition" xmi:id="_KWVPMLjuEeSAE9riyAcoBQ" guard="_dlBmwLjwEeSAE9riyAcoBQ" source="__OahQKuUEeSoZaYJvZ9ajQ" target="_jixEIKuVEeSoZaYJvZ9ajQ"> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_dlBmwLjwEeSAE9riyAcoBQ"> |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_dlBmwbjwEeSAE9riyAcoBQ"> |
| <language>OCL</language> |
| <body>self <> null</body> |
| </specification> |
| </ownedRule> |
| <effect xmi:type="uml:Activity" xmi:id="_sB6HELjwEeSAE9riyAcoBQ" name="Effect1"/> |
| <trigger xmi:type="uml:Trigger" xmi:id="_C5h0gLjwEeSAE9riyAcoBQ" event="_6wJ5oLjvEeSAE9riyAcoBQ"/> |
| <trigger xmi:type="uml:Trigger" xmi:id="_NPBosLjwEeSAE9riyAcoBQ" event="_JlgkULjwEeSAE9riyAcoBQ"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_7YbIgMauEeSCJJWcilYajg" source="_4WACgKuVEeSoZaYJvZ9ajQ" target="_tqD5sKuUEeSoZaYJvZ9ajQ"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_rDAX4KuUEeSoZaYJvZ9ajQ" name="Initial1"/> |
| <subvertex xmi:type="uml:FinalState" xmi:id="_tqD5sKuUEeSoZaYJvZ9ajQ" name="FinalState1"/> |
| <subvertex xmi:type="uml:State" xmi:id="__OahQKuUEeSoZaYJvZ9ajQ" name="State1"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_jixEIKuVEeSoZaYJvZ9ajQ" name="ShallowHistory1" kind="shallowHistory"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_mNBq8KuVEeSoZaYJvZ9ajQ" name="DeepHistory1" kind="deepHistory"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_tp9WkKuVEeSoZaYJvZ9ajQ" name="Fork1" kind="fork"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_1ZTn4KuVEeSoZaYJvZ9ajQ" name="Join1" kind="join"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_26l0cKuVEeSoZaYJvZ9ajQ" name="Choice1" kind="choice"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_4WACgKuVEeSoZaYJvZ9ajQ" name="Junction1" kind="junction"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="__KE-YKuVEeSoZaYJvZ9ajQ" name="Terminate1" kind="terminate"/> |
| <subvertex xmi:type="uml:State" xmi:id="_4EeUEK-7EeSoZaYJvZ9ajQ" name="State2"> |
| <region xmi:type="uml:Region" xmi:id="_9KZFAK-7EeSoZaYJvZ9ajQ" name="Region1"> |
| <transition xmi:type="uml:Transition" xmi:id="_dhrTkK_3EeS9P8VYoWLOgA" source="_Ei1SMK-8EeSoZaYJvZ9ajQ" target="_cS7BcK_3EeS9P8VYoWLOgA"/> |
| <subvertex xmi:type="uml:State" xmi:id="_Ei1SMK-8EeSoZaYJvZ9ajQ" name="State1"/> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_-3rtQK-7EeSoZaYJvZ9ajQ" name="Region2"/> |
| <region xmi:type="uml:Region" xmi:id="_aXXTsK_3EeS9P8VYoWLOgA" name="Region3"> |
| <subvertex xmi:type="uml:State" xmi:id="_cS7BcK_3EeS9P8VYoWLOgA" name="State1"/> |
| </region> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_BoHNgK-8EeSoZaYJvZ9ajQ" name="State3"> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_a31lUK-8EeSoZaYJvZ9ajQ" name="Constraint1"> |
| <specification xmi:type="uml:LiteralString" xmi:id="_a31lUa-8EeSoZaYJvZ9ajQ" value=""/> |
| </ownedRule> |
| <connectionPoint xmi:type="uml:Pseudostate" xmi:id="_S6uoAK_AEeSoZaYJvZ9ajQ" name="EntryPoint1" kind="entryPoint"/> |
| <region xmi:type="uml:Region" xmi:id="_FutPca-8EeSoZaYJvZ9ajQ" name="Region1"> |
| <transition xmi:type="uml:Transition" xmi:id="_XUAVYK_AEeSoZaYJvZ9ajQ" source="_RO28EK_AEeSoZaYJvZ9ajQ" target="_FuvrsK-8EeSoZaYJvZ9ajQ"/> |
| <transition xmi:type="uml:Transition" xmi:id="_ZQ5f4K_AEeSoZaYJvZ9ajQ" source="_S6uoAK_AEeSoZaYJvZ9ajQ" target="_RO28EK_AEeSoZaYJvZ9ajQ"/> |
| <subvertex xmi:type="uml:State" xmi:id="_FuvrsK-8EeSoZaYJvZ9ajQ" name="State1"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_RO28EK_AEeSoZaYJvZ9ajQ" name="Initial1"/> |
| </region> |
| </subvertex> |
| </region> |
| </packagedElement> |
| <packagedElement xmi:type="uml:StateMachine" xmi:id="_BFZ_4K_6EeS9P8VYoWLOgA" name="Orthogonal Regions"> |
| <region xmi:type="uml:Region" xmi:id="_CMGiMK_6EeS9P8VYoWLOgA" name="Region1"> |
| <subvertex xmi:type="uml:State" xmi:id="_5cMLkMXNEeShSbLKs-kIRw" name="State1" visibility="package"> |
| <region xmi:type="uml:Region" xmi:id="_5cMLk8XNEeShSbLKs-kIRw" name="Region1"> |
| <subvertex xmi:type="uml:State" xmi:id="_5cMLlMXNEeShSbLKs-kIRw" name="State1"/> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_ZDabgMXPEeShSbLKs-kIRw" name="Region2"> |
| <transition xmi:type="uml:Transition" xmi:id="_Fk-KYMYSEeShSbLKs-kIRw" source="_d1FlUMXQEeShSbLKs-kIRw" target="_bbq24MXQEeShSbLKs-kIRw"/> |
| <subvertex xmi:type="uml:State" xmi:id="_d1FlUMXQEeShSbLKs-kIRw" name="State1"/> |
| </region> |
| </subvertex> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_79xs0K_7EeS9P8VYoWLOgA" name="Region2"/> |
| <region xmi:type="uml:Region" xmi:id="_MtFiwK_8EeS9P8VYoWLOgA" name="Region3"> |
| <subvertex xmi:type="uml:State" xmi:id="_qtx5wK_9EeS9P8VYoWLOgA" name="State1" visibility="package"> |
| <region xmi:type="uml:Region" xmi:id="_-IsS8LAAEeS9P8VYoWLOgA" name="Region1"> |
| <subvertex xmi:type="uml:State" xmi:id="_bbq24MXQEeShSbLKs-kIRw" name="State1"/> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_ameJsMXPEeShSbLKs-kIRw" name="Region2"/> |
| </subvertex> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_WI0dYK_8EeS9P8VYoWLOgA" name="Region4"> |
| <subvertex xmi:type="uml:State" xmi:id="__va2AMZCEeSbBNi0qKfPmQ" name="Hidden Composite"> |
| <entry xmi:type="uml:Activity" xmi:id="_LgJAgMaPEeSqNN-BakfOZg" name="start dial tone"/> |
| <exit xmi:type="uml:Activity" xmi:id="_P4T6oMaPEeSqNN-BakfOZg" name="stop dial tone"/> |
| <region xmi:type="uml:Region" xmi:id="_riT9sMapEeSqNN-BakfOZg" name="Region1"/> |
| </subvertex> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_mwgEgLAAEeS9P8VYoWLOgA" name="Region5"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Signal" xmi:id="_4luCYLjvEeSAE9riyAcoBQ" name="Signal1"/> |
| <packagedElement xmi:type="uml:SignalEvent" xmi:id="_6wJ5oLjvEeSAE9riyAcoBQ" name="SignalEvent1" signal="_4luCYLjvEeSAE9riyAcoBQ"/> |
| <packagedElement xmi:type="uml:Signal" xmi:id="_IKrlELjwEeSAE9riyAcoBQ" name="Signal2"/> |
| <packagedElement xmi:type="uml:SignalEvent" xmi:id="_JlgkULjwEeSAE9riyAcoBQ" name="SignalEvent2" signal="_IKrlELjwEeSAE9riyAcoBQ"/> |
| <packagedElement xmi:type="uml:TimeExpression" xmi:id="_f34j4MYaEeShSbLKs-kIRw"> |
| <expr xmi:type="uml:Expression" xmi:id="_9QM-YMY-EeS4RfqY1Cl0NA" symbol="t"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:TimeExpression" xmi:id="_MoW-gMYbEeShSbLKs-kIRw"> |
| <expr xmi:type="uml:Expression" xmi:id="_ApvGAMY_EeS4RfqY1Cl0NA" symbol="t+2"/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:StateMachine" xmi:id="_NioKwMaREeSqNN-BakfOZg" name="Composite State"> |
| <ownedOperation xmi:type="uml:Operation" xmi:id="_VO784MaWEeSqNN-BakfOZg" name="operation1"> |
| <ownedParameter xmi:type="uml:Parameter" xmi:id="_WqUn4Ma5EeSzLMMHWI25cw" name="n"/> |
| </ownedOperation> |
| <region xmi:type="uml:Region" xmi:id="_OnQQgMaREeSqNN-BakfOZg" name="Region1"> |
| <transition xmi:type="uml:Transition" xmi:id="_YnNSgMaREeSqNN-BakfOZg" source="_ROUZYMaREeSqNN-BakfOZg" target="_d89PMMaREeSqNN-BakfOZg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_fbHH4MaUEeSqNN-BakfOZg" source="_IRpR8MaUEeSqNN-BakfOZg" target="_NUVvwMaUEeSqNN-BakfOZg"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_Ls8MwMaXEeSqNN-BakfOZg" event="_P9bKgMaXEeSqNN-BakfOZg"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_iUESAMaUEeSqNN-BakfOZg" source="_d89PMMaREeSqNN-BakfOZg" target="_SFFh8MaUEeSqNN-BakfOZg"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_ROUZYMaREeSqNN-BakfOZg" name="Initial1"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_nHI04MaTEeSqNN-BakfOZg" name="Initial1"/> |
| <subvertex xmi:type="uml:State" xmi:id="_d89PMMaREeSqNN-BakfOZg" name="Studying" visibility="package"> |
| <region xmi:type="uml:Region" xmi:id="_d89PM8aREeSqNN-BakfOZg" name="Region2"> |
| <transition xmi:type="uml:Transition" xmi:id="_WBTf4MaUEeSqNN-BakfOZg" source="_nHI04MaTEeSqNN-BakfOZg" target="_458IIMaTEeSqNN-BakfOZg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_XJRNgMaUEeSqNN-BakfOZg" source="_458IIMaTEeSqNN-BakfOZg" target="_7TYEsMaTEeSqNN-BakfOZg"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_paDdQMaUEeSqNN-BakfOZg" event="_0B3JcMaUEeSqNN-BakfOZg"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_Zc9HYMaUEeSqNN-BakfOZg" source="_7TYEsMaTEeSqNN-BakfOZg" target="_r_SPkMaTEeSqNN-BakfOZg"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_2x-rMMaVEeSqNN-BakfOZg" event="_O8w0MMaWEeSqNN-BakfOZg"/> |
| </transition> |
| <subvertex xmi:type="uml:FinalState" xmi:id="_r_SPkMaTEeSqNN-BakfOZg" name="FinalState1"/> |
| <subvertex xmi:type="uml:State" xmi:id="_458IIMaTEeSqNN-BakfOZg" name="Label1"/> |
| <subvertex xmi:type="uml:State" xmi:id="_7TYEsMaTEeSqNN-BakfOZg" name="Label2"/> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_d0x4sMaTEeSqNN-BakfOZg" name="Region3"> |
| <transition xmi:type="uml:Transition" xmi:id="_asWSsMaUEeSqNN-BakfOZg" source="_oWmRoMaTEeSqNN-BakfOZg" target="_Em76wMaUEeSqNN-BakfOZg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_cIuxIMaUEeSqNN-BakfOZg" source="_Em76wMaUEeSqNN-BakfOZg" target="_sbzzgMaTEeSqNN-BakfOZg"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_dC3MMMaWEeSqNN-BakfOZg" event="_kLh4AMaWEeSqNN-BakfOZg"/> |
| </transition> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_oWmRoMaTEeSqNN-BakfOZg" name="Initial1"/> |
| <subvertex xmi:type="uml:FinalState" xmi:id="_sbzzgMaTEeSqNN-BakfOZg" name="FinalState1"/> |
| <subvertex xmi:type="uml:State" xmi:id="_Em76wMaUEeSqNN-BakfOZg" name="Team Project"/> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_f_jHIMaTEeSqNN-BakfOZg" name="Region4"> |
| <transition xmi:type="uml:Transition" xmi:id="_dPryIMaUEeSqNN-BakfOZg" source="_pNEmoMaTEeSqNN-BakfOZg" target="_IRpR8MaUEeSqNN-BakfOZg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_eBUDYMaUEeSqNN-BakfOZg" source="_IRpR8MaUEeSqNN-BakfOZg" target="_tYJf8MaTEeSqNN-BakfOZg"> |
| <trigger xmi:type="uml:Trigger" xmi:id="_CqBawMaXEeSqNN-BakfOZg" event="_F5UBQMaXEeSqNN-BakfOZg"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_qySYgMa1EeSzLMMHWI25cw" source="_d89PMMaREeSqNN-BakfOZg" target="_IRpR8MaUEeSqNN-BakfOZg"/> |
| <subvertex xmi:type="uml:Pseudostate" xmi:id="_pNEmoMaTEeSqNN-BakfOZg" name="Initial1"/> |
| <subvertex xmi:type="uml:FinalState" xmi:id="_tYJf8MaTEeSqNN-BakfOZg" name="FinalState1"/> |
| <subvertex xmi:type="uml:State" xmi:id="_IRpR8MaUEeSqNN-BakfOZg" name="Final Test"/> |
| </region> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_NUVvwMaUEeSqNN-BakfOZg" name="Failed"/> |
| <subvertex xmi:type="uml:State" xmi:id="_SFFh8MaUEeSqNN-BakfOZg" name="Passed"/> |
| </region> |
| </packagedElement> |
| <packagedElement xmi:type="uml:AnyReceiveEvent" xmi:id="_0B3JcMaUEeSqNN-BakfOZg" name="lab done"/> |
| <packagedElement xmi:type="uml:CallEvent" xmi:id="_O8w0MMaWEeSqNN-BakfOZg" name="callEvent" operation="_VO784MaWEeSqNN-BakfOZg"/> |
| <packagedElement xmi:type="uml:ChangeEvent" xmi:id="_kLh4AMaWEeSqNN-BakfOZg" name="changeEvent"> |
| <changeExpression xmi:type="uml:OpaqueExpression" xmi:id="_wSqo8MaWEeSqNN-BakfOZg" name="complete" language="" body=""/> |
| </packagedElement> |
| <packagedElement xmi:type="uml:SignalEvent" xmi:id="_F5UBQMaXEeSqNN-BakfOZg" name="signalEvent" signal="_4luCYLjvEeSAE9riyAcoBQ"/> |
| <packagedElement xmi:type="uml:TimeEvent" xmi:id="_P9bKgMaXEeSqNN-BakfOZg" name="timeEvent"> |
| <when xmi:type="uml:TimeExpression" xmi:id="_THqR4MaXEeSqNN-BakfOZg"> |
| <expr xmi:type="uml:OpaqueExpression" xmi:id="_aoMrIMaXEeSqNN-BakfOZg" name="the end" language="" body=""/> |
| </when> |
| </packagedElement> |
| <packagedElement xmi:type="uml:StateMachine" xmi:id="_kmb04MaiEeSqNN-BakfOZg" name="Sub Machine"> |
| <region xmi:type="uml:Region" xmi:id="_mu6kUMaiEeSqNN-BakfOZg" name="Region1"> |
| <transition xmi:type="uml:Transition" xmi:id="_ppXGwMajEeSqNN-BakfOZg" source="_nB6jYMajEeSqNN-BakfOZg" target="_YSGgAMajEeSqNN-BakfOZg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_tEZqQMajEeSqNN-BakfOZg" source="_hl3KYMajEeSqNN-BakfOZg" target="_qdU6UMajEeSqNN-BakfOZg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_GqRRMMakEeSqNN-BakfOZg" source="_ERy98MakEeSqNN-BakfOZg" target="_Kgbf4MajEeSqNN-BakfOZg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_Hoz9EMakEeSqNN-BakfOZg" source="_Kgbf4MajEeSqNN-BakfOZg" target="_ERy98MakEeSqNN-BakfOZg"/> |
| <subvertex xmi:type="uml:State" xmi:id="_Kgbf4MajEeSqNN-BakfOZg" name="submachine" submachine="_ZS3RUMYSEeShSbLKs-kIRw"> |
| <connection xmi:type="uml:ConnectionPointReference" xmi:id="_YSGgAMajEeSqNN-BakfOZg" name="ConnectionPointReference1" entry="_u_AyQMaiEeSqNN-BakfOZg"/> |
| <connection xmi:type="uml:ConnectionPointReference" xmi:id="_hl3KYMajEeSqNN-BakfOZg" name="ConnectionPointReference2" exit="_w3mEgMaiEeSqNN-BakfOZg"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_nB6jYMajEeSqNN-BakfOZg" name="simple"/> |
| <subvertex xmi:type="uml:State" xmi:id="_qdU6UMajEeSqNN-BakfOZg" name="Complex"/> |
| <subvertex xmi:type="uml:State" xmi:id="_ERy98MakEeSqNN-BakfOZg" name="Other State"/> |
| </region> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_Fh9lIMthEeSpd4qPFyd8Sg" name="Superclass" classifierBehavior="_ZS3RUMYSEeShSbLKs-kIRw"> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_ZS3RUMYSEeShSbLKs-kIRw" name="Simple State" submachineState="_Kgbf4MajEeSqNN-BakfOZg"> |
| <connectionPoint xmi:type="uml:Pseudostate" xmi:id="_u_AyQMaiEeSqNN-BakfOZg" name="input" kind="entryPoint"/> |
| <connectionPoint xmi:type="uml:Pseudostate" xmi:id="_w3mEgMaiEeSqNN-BakfOZg" name="output" kind="exitPoint"/> |
| <connectionPoint xmi:type="uml:Pseudostate" xmi:id="_-VJwoMa0EeSzLMMHWI25cw" name="EntryPoint1" kind="entryPoint"/> |
| <connectionPoint xmi:type="uml:Pseudostate" xmi:id="_-y1yMMa0EeSzLMMHWI25cw" name="ExitPoint1" kind="exitPoint"/> |
| <region xmi:type="uml:Region" xmi:id="_Zg4fMMYSEeShSbLKs-kIRw" name="Region1 - Base"> |
| <transition xmi:type="uml:Transition" xmi:id="_Jhs28MYYEeShSbLKs-kIRw" guard="_qx_L4MYYEeShSbLKs-kIRw" source="_h68hcMYSEeShSbLKs-kIRw" target="_h68hcMYSEeShSbLKs-kIRw"> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_qx_L4MYYEeShSbLKs-kIRw" constrainedElement="_ZS3RUMYSEeShSbLKs-kIRw"> |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_1TrB8MYYEeShSbLKs-kIRw"> |
| <language>OCL</language> |
| <body>isOK</body> |
| </specification> |
| </ownedRule> |
| <effect xmi:type="uml:FunctionBehavior" xmi:id="_7L8c4MYYEeShSbLKs-kIRw" name="Doit"/> |
| <trigger xmi:type="uml:Trigger" xmi:id="_iblhoMYYEeShSbLKs-kIRw" event="_6wJ5oLjvEeSAE9riyAcoBQ"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_k8wocMYZEeShSbLKs-kIRw" guard="_rvSFIMYZEeShSbLKs-kIRw" source="_h68hcMYSEeShSbLKs-kIRw" target="_h68hcMYSEeShSbLKs-kIRw"> |
| <ownedRule xmi:type="uml:TimeConstraint" xmi:id="_rvSFIMYZEeShSbLKs-kIRw"> |
| <specification xmi:type="uml:TimeInterval" xmi:id="_chxZUMY-EeS4RfqY1Cl0NA" max="_MoW-gMYbEeShSbLKs-kIRw" min="_f34j4MYaEeShSbLKs-kIRw"/> |
| </ownedRule> |
| <effect xmi:type="uml:OpaqueBehavior" xmi:id="_T0kGgMYbEeShSbLKs-kIRw"> |
| <language></language> |
| <body>keepDoing</body> |
| </effect> |
| <trigger xmi:type="uml:Trigger" xmi:id="_m0u2sMYZEeShSbLKs-kIRw" event="_JlgkULjwEeSAE9riyAcoBQ"/> |
| </transition> |
| <transition xmi:type="uml:Transition" xmi:id="_y_ch0MaiEeSqNN-BakfOZg" source="_u_AyQMaiEeSqNN-BakfOZg" target="_h68hcMYSEeShSbLKs-kIRw"/> |
| <transition xmi:type="uml:Transition" xmi:id="_zxUqsMaiEeSqNN-BakfOZg" name="toOutput" isLeaf="true" source="_h68hcMYSEeShSbLKs-kIRw" target="_w3mEgMaiEeSqNN-BakfOZg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_BxvzUMa1EeSzLMMHWI25cw" kind="local" source="_-VJwoMa0EeSzLMMHWI25cw" target="_-y1yMMa0EeSzLMMHWI25cw"/> |
| <transition xmi:type="uml:Transition" xmi:id="_MRNb0Ma1EeSzLMMHWI25cw" name="transition F" isLeaf="true" source="_h68hcMYSEeShSbLKs-kIRw" target="_h68hcMYSEeShSbLKs-kIRw"/> |
| <transition xmi:type="uml:Transition" xmi:id="_X9QJ0MtjEeSpd4qPFyd8Sg" name="Simple Transition" source="_h68hcMYSEeShSbLKs-kIRw" target="_RNcC4MtjEeSpd4qPFyd8Sg"/> |
| <subvertex xmi:type="uml:State" xmi:id="_h68hcMYSEeShSbLKs-kIRw" name="Simple State"> |
| <deferrableTrigger xmi:type="uml:Trigger" xmi:id="_q7vhYMazEeSzLMMHWI25cw" event="_6wJ5oLjvEeSAE9riyAcoBQ"/> |
| <doActivity xmi:type="uml:Activity" xmi:id="_bLriMMYUEeShSbLKs-kIRw" name="continue"/> |
| <entry xmi:type="uml:Activity" xmi:id="_CwMqwMYUEeShSbLKs-kIRw" name="start"/> |
| <exit xmi:type="uml:Activity" xmi:id="_U1VrMMYUEeShSbLKs-kIRw" name="end" isReentrant="true"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_RNcC4MtjEeSpd4qPFyd8Sg" name="Simple State 2"/> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_tylwUMthEeSpd4qPFyd8Sg" name="Region2"> |
| <subvertex xmi:type="uml:State" xmi:id="_FEDZwMtkEeSpd4qPFyd8Sg" name="State3" isLeaf="true"/> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_H0m9MMthEeSpd4qPFyd8Sg" name="Subclass" classifierBehavior="_XxwL0MtgEeSpd4qPFyd8Sg"> |
| <generalization xmi:type="uml:Generalization" xmi:id="_kKGWoMtiEeSpd4qPFyd8Sg" general="_Fh9lIMthEeSpd4qPFyd8Sg"/> |
| <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_XxwL0MtgEeSpd4qPFyd8Sg" name="State Redefinition" extendedStateMachine="_ZS3RUMYSEeShSbLKs-kIRw"> |
| <region xmi:type="uml:Region" xmi:id="_aK3YQMtgEeSpd4qPFyd8Sg" name="Region1" extendedRegion="_Zg4fMMYSEeShSbLKs-kIRw"> |
| <transition xmi:type="uml:Transition" xmi:id="_lgCZYMtjEeSpd4qPFyd8Sg" name="Redefined Transition" redefinedTransition="_X9QJ0MtjEeSpd4qPFyd8Sg" source="_P60Z4MtiEeSpd4qPFyd8Sg" target="_eGbukMtjEeSpd4qPFyd8Sg"/> |
| <transition xmi:type="uml:Transition" xmi:id="_wlttUMtjEeSpd4qPFyd8Sg" source="_P60Z4MtiEeSpd4qPFyd8Sg" target="_vUCDAMtjEeSpd4qPFyd8Sg"/> |
| <subvertex xmi:type="uml:State" xmi:id="_P60Z4MtiEeSpd4qPFyd8Sg" name="Redefined Simple State 1" redefinedState="_h68hcMYSEeShSbLKs-kIRw"> |
| <region xmi:type="uml:Region" xmi:id="_G96nIMugEeSAcYE13Sq3Hw" name="Region1"/> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_eGbukMtjEeSpd4qPFyd8Sg" name="Redefined Simple State 2" redefinedState="_RNcC4MtjEeSpd4qPFyd8Sg"/> |
| </region> |
| <region xmi:type="uml:Region" xmi:id="_EVYAwMtiEeSpd4qPFyd8Sg" name="Region3"> |
| <subvertex xmi:type="uml:State" xmi:id="_vUCDAMtjEeSpd4qPFyd8Sg" name="State1"/> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| <packagedElement xmi:type="uml:Class" xmi:id="_R5Zn0MuhEeSAcYE13Sq3Hw" name="Protocol" classifierBehavior="_GuLaoMujEeSAcYE13Sq3Hw"> |
| <ownedBehavior xmi:type="uml:ProtocolStateMachine" xmi:id="_GuLaoMujEeSAcYE13Sq3Hw" name="TCP/IP"> |
| <region xmi:type="uml:Region" xmi:id="_HcUTAMujEeSAcYE13Sq3Hw" name="Region1"> |
| <transition xmi:type="uml:ProtocolTransition" xmi:id="_eNP3sMukEeSAcYE13Sq3Hw" guard="_-jNAcMumEeSAcYE13Sq3Hw" source="_ZrzFwMukEeSAcYE13Sq3Hw" target="_aikVsMukEeSAcYE13Sq3Hw" postCondition="_QeVJQMunEeSAcYE13Sq3Hw" preCondition="_-jNAcMumEeSAcYE13Sq3Hw"> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_-jNAcMumEeSAcYE13Sq3Hw"> |
| <specification xmi:type="uml:Expression" xmi:id="_FylYQMunEeSAcYE13Sq3Hw" symbol="isA"/> |
| </ownedRule> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_QeVJQMunEeSAcYE13Sq3Hw"> |
| <specification xmi:type="uml:Expression" xmi:id="_StK_YMunEeSAcYE13Sq3Hw" symbol="isB"/> |
| </ownedRule> |
| <trigger xmi:type="uml:Trigger" xmi:id="_KN_MkMunEeSAcYE13Sq3Hw" event="_O8w0MMaWEeSqNN-BakfOZg"/> |
| </transition> |
| <subvertex xmi:type="uml:State" xmi:id="_ZrzFwMukEeSAcYE13Sq3Hw" name="Idle" stateInvariant="_qti6EMulEeSAcYE13Sq3Hw"> |
| <ownedRule xmi:type="uml:Constraint" xmi:id="_qti6EMulEeSAcYE13Sq3Hw"> |
| <specification xmi:type="uml:OpaqueExpression" xmi:id="_t_LC4MulEeSAcYE13Sq3Hw"> |
| <language>OCL</language> |
| <body>isSleeping</body> |
| </specification> |
| </ownedRule> |
| </subvertex> |
| <subvertex xmi:type="uml:State" xmi:id="_aikVsMukEeSAcYE13Sq3Hw" name="Sending"/> |
| </region> |
| </ownedBehavior> |
| </packagedElement> |
| </uml:Model> |