transformation/languages/cpp/org.eclipse.papyrus.designer.transformation.languages.cpp.library/models/examples/SimpleSMChangeEvent/SimpleSMChangeEvent.uml - papyrus/org.eclipse.papyrus-designer - Git at Google

 <?xml version="1.0" encoding="UTF-8"?>
 <xmi:XMI xmi:version="20131001" xmlns:xmi="http://www.omg.org/spec/XMI/20131001" xmlns:C_Cpp="http://www.eclipse.org/papyrus/C_Cpp/1" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML">
   <uml:Model xmi:id="_O6TiIDLUEd26WNosUASSSw" name="SimpleSMChangeEvent">
     <packageImport xmi:type="uml:PackageImport" xmi:id="_O6TiITLUEd26WNosUASSSw">
       <importedPackage xmi:type="uml:Model" href="pathmap://UML_LIBRARIES/UMLPrimitiveTypes.library.uml#_0"/>
     </packageImport>
     <packageImport xmi:type="uml:PackageImport" xmi:id="_Bc1WIFW4Ed63BrxiKsw-0Q">
       <importedPackage xmi:type="uml:Model" href="pathmap://DML_C_CORE/componentlib.uml#_O6TiIDLUEd26WNosUASSSw"/>
     </packageImport>
     <packagedElement xmi:type="uml:Package" xmi:id="_LOqIEDLaEd2qeKRLMdIx_A" name="classes">
       <packagedElement xmi:type="uml:Package" xmi:id="_Tp4n8DLaEd2qeKRLMdIx_A" name="Interfaces">
         <packagedElement xmi:type="uml:Interface" xmi:id="_cn-H0DLbEd2qeKRLMdIx_A" name="ICompute">
           <ownedReception xmi:type="uml:Reception" xmi:id="_1U0U8McqEeSsAI2TZshUyg" name="add" signal="_ywk2kMcqEeSsAI2TZshUyg"/>
           <ownedReception xmi:type="uml:Reception" xmi:id="_M-tXYMcrEeSsAI2TZshUyg" name="mult" signal="_z0nGcMcqEeSsAI2TZshUyg"/>
           <ownedOperation xmi:type="uml:Operation" xmi:id="_DGs6wDLgEd28fJKJJnUaeQ" name="add">
             <ownedParameter xmi:type="uml:Parameter" xmi:id="_DGs6wTLgEd28fJKJJnUaeQ" name="a">
               <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
               <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_DGs6wzLgEd28fJKJJnUaeQ" value="1"/>
               <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_DGs6wjLgEd28fJKJJnUaeQ" value="1"/>
             </ownedParameter>
             <ownedParameter xmi:type="uml:Parameter" xmi:id="_DGs6xTLgEd28fJKJJnUaeQ" name="b">
               <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
               <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_DGs6xzLgEd28fJKJJnUaeQ" value="1"/>
               <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_DGs6xjLgEd28fJKJJnUaeQ" value="1"/>
             </ownedParameter>
             <ownedParameter xmi:type="uml:Parameter" xmi:id="_DGs6yTLgEd28fJKJJnUaeQ" name="res" direction="return">
               <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
               <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_DGs6yzLgEd28fJKJJnUaeQ" value="1"/>
               <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_DGs6yjLgEd28fJKJJnUaeQ" value="1"/>
             </ownedParameter>
           </ownedOperation>
           <ownedOperation xmi:type="uml:Operation" xmi:id="_L8EY8DLgEd28fJKJJnUaeQ" name="mult">
             <ownedParameter xmi:type="uml:Parameter" xmi:id="_L8EY8TLgEd28fJKJJnUaeQ" name="a">
               <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
               <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_L8EY8zLgEd28fJKJJnUaeQ" value="1"/>
               <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_L8EY8jLgEd28fJKJJnUaeQ" value="1"/>
             </ownedParameter>
             <ownedParameter xmi:type="uml:Parameter" xmi:id="_L8EY9TLgEd28fJKJJnUaeQ" name="b">
               <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
               <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_L8EY9zLgEd28fJKJJnUaeQ" value="1"/>
               <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_L8EY9jLgEd28fJKJJnUaeQ" value="1"/>
             </ownedParameter>
             <ownedParameter xmi:type="uml:Parameter" xmi:id="_L8EY-TLgEd28fJKJJnUaeQ" name="res" direction="return">
               <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
               <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_L8EY-zLgEd28fJKJJnUaeQ" value="1"/>
               <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_L8EY-jLgEd28fJKJJnUaeQ" value="1"/>
             </ownedParameter>
           </ownedOperation>
         </packagedElement>
         <packagedElement xmi:type="uml:Signal" xmi:id="_ywk2kMcqEeSsAI2TZshUyg" name="Add"/>
         <packagedElement xmi:type="uml:Signal" xmi:id="_z0nGcMcqEeSsAI2TZshUyg" name="Mult"/>
       </packagedElement>
       <packagedElement xmi:type="uml:Class" xmi:id="_oqZNUDLaEd2qeKRLMdIx_A" name="SimpleSMChangeEvent" classifierBehavior="_y7KWsOYXEeCBL_IbXY9ofw">
         <generalization xmi:type="uml:Generalization" xmi:id="_LuEUwCgBEeapjr3l63b85A">
           <general xmi:type="uml:Class" href="pathmap://DML_C_CORE/componentlib.uml#_N6fa4JsrEd61Eo3nmu3JhQ"/>
         </generalization>
         <ownedAttribute xmi:type="uml:Port" xmi:id="_4KiE8DLbEd2qeKRLMdIx_A" name="p" type="_cn-H0DLbEd2qeKRLMdIx_A" aggregation="composite"/>
         <ownedAttribute xmi:type="uml:Property" xmi:id="_3gJRoEVGEeaqgqiOqzyU4w" name="which_rack">
           <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_vAIV4I7PEdySGvm5GN66HA"/>
         </ownedAttribute>
         <ownedAttribute xmi:type="uml:Property" xmi:id="_6uv7oEVGEeaqgqiOqzyU4w" name="is_misplace">
           <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_vAIV4I7PEdySGvm5GN66HA"/>
         </ownedAttribute>
         <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_YQqH0JYlEd6G9q9hwr11bw" name="realization of ICompute" client="_oqZNUDLaEd2qeKRLMdIx_A" supplier="_cn-H0DLbEd2qeKRLMdIx_A" contract="_cn-H0DLbEd2qeKRLMdIx_A"/>
         <interfaceRealization xmi:type="uml:InterfaceRealization" xmi:id="_VGnYgCgBEeapjr3l63b85A" name="realization of IStart" client="_oqZNUDLaEd2qeKRLMdIx_A">
           <supplier xmi:type="uml:Interface" href="pathmap://DML_TRAFO/sysinterfaces.uml#_PTWzwCS-Ed-A_I32T0fkaA"/>
           <contract xmi:type="uml:Interface" href="pathmap://DML_TRAFO/sysinterfaces.uml#_PTWzwCS-Ed-A_I32T0fkaA"/>
         </interfaceRealization>
         <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_qxjWINnmEd2_cstbO2Uzgg" name="mult" specification="_4ZEZwHecEd6r18stFZxmFQ">
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTqsokVIEeaqgqiOqzyU4w" name="a">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTrTsEVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTrTsUVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTrTskVIEeaqgqiOqzyU4w" name="b">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTrTs0VIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTrTtEVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTr6wEVIEeaqgqiOqzyU4w" name="res" direction="return">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTr6wUVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTr6wkVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <language>C/C++</language>
           <body>cout &lt;&lt; &quot;a=&quot; &lt;&lt; a &lt;&lt; &quot; b=&quot; &lt;&lt; b &lt;&lt; &quot; a*b=&quot; &lt;&lt; a*b &lt;&lt; endl;
 return a*b;</body>
         </ownedBehavior>
         <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_ML-4AKI5Ed6FqJCjEUrkqQ" name="add" specification="_TbIjUJYlEd6G9q9hwr11bw">
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTr6w0VIEeaqgqiOqzyU4w" name="a">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTr6xEVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTr6xUVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTsh0EVIEeaqgqiOqzyU4w" name="b">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTsh0UVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTsh0kVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTsh00VIEeaqgqiOqzyU4w" name="res" direction="return">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTsh1EVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTsh1UVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <language>C/C++</language>
           <body>cout &lt;&lt; &quot;a=&quot; &lt;&lt; a &lt;&lt; &quot; b=&quot; &lt;&lt; b &lt;&lt; &quot; a+b=&quot; &lt;&lt; a+b &lt;&lt; endl;
 return a+b;</body>
         </ownedBehavior>
         <ownedBehavior xmi:type="uml:StateMachine" xmi:id="_y7KWsOYXEeCBL_IbXY9ofw" name="SMServer">
           <region xmi:type="uml:Region" xmi:id="_0Lv00OYXEeCBL_IbXY9ofw" name="Region0">
             <transition xmi:type="uml:Transition" xmi:id="_CLBzIOYYEeCBL_IbXY9ofw" name="Transition0" source="_1UVNgOYXEeCBL_IbXY9ofw" target="_53E_8OYXEeCBL_IbXY9ofw"/>
             <transition xmi:type="uml:Transition" xmi:id="_Doi6AOYYEeCBL_IbXY9ofw" name="Transition1" source="_53E_8OYXEeCBL_IbXY9ofw" target="_7_1cMOYXEeCBL_IbXY9ofw">
               <trigger xmi:type="uml:Trigger" xmi:id="_rHpXoOtoEeCjb9i0gG4phA" event="_rHoJgOtoEeCjb9i0gG4phA"/>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_OH_UYOYYEeCBL_IbXY9ofw" name="Transition2" source="_7_1cMOYXEeCBL_IbXY9ofw" target="_53E_8OYXEeCBL_IbXY9ofw">
               <effect xmi:type="uml:OpaqueBehavior" xmi:id="_CAWpgSSoEeG6GJ4vU06VYQ" name="mult">
                 <language>C/C++</language>
                 <body>mult(3,5);&#xD;
 std::cout &lt;&lt;&quot;From State1 to State0 \n&quot;;</body>
               </effect>
               <trigger xmi:type="uml:Trigger" xmi:id="_-aQtACaeEeG4fZdVXNtoOQ" event="_-PMFcCaeEeG4fZdVXNtoOQ"/>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_mJvoUOtqEeCzSsOGmQH2aA" name="Transition3" source="_53E_8OYXEeCBL_IbXY9ofw" target="_7_1cMOYXEeCBL_IbXY9ofw">
               <trigger xmi:type="uml:Trigger" xmi:id="_8WepQHoDEeOA64V_YLapaA" event="_8WeCMHoDEeOA64V_YLapaA"/>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_rdKgsCjmEeaJJusTB1aIbg" source="_53E_8OYXEeCBL_IbXY9ofw" target="_owZYcCjmEeaJJusTB1aIbg">
               <effect xmi:type="uml:OpaqueBehavior" xmi:id="_-EnkACjmEeaJJusTB1aIbg">
                 <language>C++</language>
                 <body>std::cout &lt;&lt; &quot;From State 0 to State 2\n&quot;;</body>
               </effect>
               <trigger xmi:type="uml:Trigger" xmi:id="_4eMuECjmEeaJJusTB1aIbg" event="_4WSIMCjmEeaJJusTB1aIbg"/>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_BO7j4CjnEeaJJusTB1aIbg" source="_owZYcCjmEeaJJusTB1aIbg" target="__9lQwCjmEeaJJusTB1aIbg">
               <effect xmi:type="uml:OpaqueBehavior" xmi:id="_F9mScCjnEeaJJusTB1aIbg">
                 <language>C++</language>
                 <body>std::cout &lt;&lt;&quot;From State 2 to Junction 1\n&quot;;</body>
               </effect>
               <trigger xmi:type="uml:Trigger" xmi:id="_GlK94CjpEeaJJusTB1aIbg" event="_-PMFcCaeEeG4fZdVXNtoOQ"/>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_G1QTMCjnEeaJJusTB1aIbg" source="__9lQwCjmEeaJJusTB1aIbg" target="_53E_8OYXEeCBL_IbXY9ofw"/>
             <transition xmi:type="uml:Transition" xmi:id="_HnKRQCjnEeaJJusTB1aIbg" guard="_KB4nQCjnEeaJJusTB1aIbg" source="__9lQwCjmEeaJJusTB1aIbg" target="_7_1cMOYXEeCBL_IbXY9ofw">
               <ownedRule xmi:type="uml:Constraint" xmi:id="_KB4nQCjnEeaJJusTB1aIbg">
                 <specification xmi:type="uml:OpaqueExpression" xmi:id="_KB4nQSjnEeaJJusTB1aIbg">
                   <language>C++</language>
                   <body>true</body>
                 </specification>
               </ownedRule>
               <effect xmi:type="uml:OpaqueBehavior" xmi:id="_QlLVICjnEeaJJusTB1aIbg">
                 <language>C++</language>
                 <body>std::cout &lt;&lt; &quot;From Junction1 to State 1\n&quot;;</body>
               </effect>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_g3iPUEOAEeadCvQ7UGhFAA" source="_7_1cMOYXEeCBL_IbXY9ofw" target="_cyKVYEOAEeadCvQ7UGhFAA">
               <effect xmi:type="uml:OpaqueBehavior" xmi:id="_SPGDsEVLEeaqgqiOqzyU4w">
                 <language>C++</language>
                 <body>std::cout &lt;&lt; &quot;goto prepare_conveyer&quot; &lt;&lt; std::endl;&#xD;
 which_rack = !which_rack;</body>
               </effect>
               <trigger xmi:type="uml:Trigger" xmi:id="_cPppAEVTEeanJO83GGodwg" event="_ZedTwEVTEeanJO83GGodwg"/>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_mUQWsEOAEeadCvQ7UGhFAA" source="_cyKVYEOAEeadCvQ7UGhFAA" target="_jt7NoEOAEeadCvQ7UGhFAA">
               <effect xmi:type="uml:OpaqueBehavior" xmi:id="_3Y2p8EVeEeaxaO4Kn-ck8A">
                 <language>C++</language>
                 <body>std::cout &lt;&lt; &quot;from conveyer to choice&quot; &lt;&lt; std::endl;</body>
               </effect>
               <trigger xmi:type="uml:Trigger" xmi:id="_zEX9AEVeEeaxaO4Kn-ck8A" event="_ZedTwEVTEeanJO83GGodwg"/>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_qtXsAEOAEeadCvQ7UGhFAA" guard="_wCmrUEOAEeadCvQ7UGhFAA" source="_jt7NoEOAEeadCvQ7UGhFAA" target="_nhVN0EOAEeadCvQ7UGhFAA">
               <ownedRule xmi:type="uml:Constraint" xmi:id="_wCmrUEOAEeadCvQ7UGhFAA">
                 <specification xmi:type="uml:OpaqueExpression" xmi:id="_wCmrUUOAEeadCvQ7UGhFAA">
                   <language>C++</language>
                   <body>which_rack==0</body>
                 </specification>
               </ownedRule>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_0dpTQEOAEeadCvQ7UGhFAA" source="_jt7NoEOAEeadCvQ7UGhFAA" target="_xKx0UEOAEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_4tzg4EOAEeadCvQ7UGhFAA" source="_xKx0UEOAEeadCvQ7UGhFAA" target="_11G1cEOAEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_5E7AYEOAEeadCvQ7UGhFAA" source="_11G1cEOAEeadCvQ7UGhFAA" target="_3OJsAEOAEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_B0R9MEOBEeadCvQ7UGhFAA" source="_3OJsAEOAEeadCvQ7UGhFAA" target="_8N5jgEOAEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_Gm27YEOBEeadCvQ7UGhFAA" guard="_J2-oUEOBEeadCvQ7UGhFAA" source="_8N5jgEOAEeadCvQ7UGhFAA" target="_CzHkAEOBEeadCvQ7UGhFAA">
               <ownedRule xmi:type="uml:Constraint" xmi:id="_J2-oUEOBEeadCvQ7UGhFAA">
                 <specification xmi:type="uml:OpaqueExpression" xmi:id="_J2-oUUOBEeadCvQ7UGhFAA">
                   <language>C++</language>
                   <body>is_misplace</body>
                 </specification>
               </ownedRule>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_KWyJwEOBEeadCvQ7UGhFAA" source="_8N5jgEOAEeadCvQ7UGhFAA" target="_EtK14EOBEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_OBSsoEOBEeadCvQ7UGhFAA" source="_CzHkAEOBEeadCvQ7UGhFAA" target="_LPM_gEOBEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_Ovt44EOBEeadCvQ7UGhFAA" source="_EtK14EOBEeadCvQ7UGhFAA" target="_LPM_gEOBEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_P_HEMEOBEeadCvQ7UGhFAA" source="_LPM_gEOBEeadCvQ7UGhFAA" target="_PiyUkEOBEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_Q3bzUEOBEeadCvQ7UGhFAA" source="_nhVN0EOAEeadCvQ7UGhFAA" target="_PiyUkEOBEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_TwTBYEOCEeadCvQ7UGhFAA" guard="_X_xSgEOCEeadCvQ7UGhFAA" source="_7_1cMOYXEeCBL_IbXY9ofw" target="_S3gYMEOCEeadCvQ7UGhFAA">
               <ownedRule xmi:type="uml:Constraint" xmi:id="_X_xSgEOCEeadCvQ7UGhFAA">
                 <specification xmi:type="uml:OpaqueExpression" xmi:id="_X_xSgUOCEeadCvQ7UGhFAA">
                   <language>C++</language>
                   <body>!is_misplace</body>
                 </specification>
               </ownedRule>
               <effect xmi:type="uml:OpaqueBehavior" xmi:id="_O1EM0EVLEeaqgqiOqzyU4w">
                 <language>C++</language>
                 <body>std::cout &lt;&lt; &quot;goto fork&quot; &lt;&lt; std::endl;&#xD;
 std::cout &lt;&lt;&quot;signal value a = &quot; &lt;&lt; sig.a &lt;&lt; std::endl;</body>
               </effect>
               <trigger xmi:type="uml:Trigger" xmi:id="_w09MAEVGEeaqgqiOqzyU4w" event="_wqLfYEVGEeaqgqiOqzyU4w"/>
             </transition>
             <transition xmi:type="uml:Transition" xmi:id="_a-EPoEOCEeadCvQ7UGhFAA" source="_S3gYMEOCEeadCvQ7UGhFAA" target="_QUQYUEOCEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_bduAEEOCEeadCvQ7UGhFAA" source="_S3gYMEOCEeadCvQ7UGhFAA" target="_RobV8EOCEeadCvQ7UGhFAA"/>
             <transition xmi:type="uml:Transition" xmi:id="_e5OdoEOCEeadCvQ7UGhFAA" source="_cbYiMEOCEeadCvQ7UGhFAA" target="_11G1cEOAEeadCvQ7UGhFAA"/>
             <subvertex xmi:type="uml:Pseudostate" xmi:id="_1UVNgOYXEeCBL_IbXY9ofw" name="Initial0"/>
             <subvertex xmi:type="uml:State" xmi:id="_53E_8OYXEeCBL_IbXY9ofw" name="State0"/>
             <subvertex xmi:type="uml:State" xmi:id="_7_1cMOYXEeCBL_IbXY9ofw" name="State1">
               <entry xmi:type="uml:OpaqueBehavior" xmi:id="_sU8_AEVbEeaxaO4Kn-ck8A">
                 <language>C++</language>
                 <body>which_rack = (!which_rack);&#xD;
 std::cout &lt;&lt;&quot;Changed rack&quot;;</body>
               </entry>
             </subvertex>
             <subvertex xmi:type="uml:State" xmi:id="_owZYcCjmEeaJJusTB1aIbg" name="State2"/>
             <subvertex xmi:type="uml:Pseudostate" xmi:id="__9lQwCjmEeaJJusTB1aIbg" name="Junction1" kind="junction"/>
             <subvertex xmi:type="uml:State" xmi:id="_cyKVYEOAEeadCvQ7UGhFAA" name="Prepare_Conveyer"/>
             <subvertex xmi:type="uml:Pseudostate" xmi:id="_jt7NoEOAEeadCvQ7UGhFAA" name="check_rack" kind="choice"/>
             <subvertex xmi:type="uml:State" xmi:id="_nhVN0EOAEeadCvQ7UGhFAA" name="empty_shelf"/>
             <subvertex xmi:type="uml:State" xmi:id="_xKx0UEOAEeadCvQ7UGhFAA" name="not_empty_shelf"/>
             <subvertex xmi:type="uml:State" xmi:id="_11G1cEOAEeadCvQ7UGhFAA" name="pick_chassis"/>
             <subvertex xmi:type="uml:State" xmi:id="_3OJsAEOAEeadCvQ7UGhFAA" name="deliver_car"/>
             <subvertex xmi:type="uml:Pseudostate" xmi:id="_8N5jgEOAEeadCvQ7UGhFAA" name="mismatchChoice" kind="choice"/>
             <subvertex xmi:type="uml:State" xmi:id="_CzHkAEOBEeadCvQ7UGhFAA" name="misplace"/>
             <subvertex xmi:type="uml:State" xmi:id="_EtK14EOBEeadCvQ7UGhFAA" name="not_misplace"/>
             <subvertex xmi:type="uml:State" xmi:id="_LPM_gEOBEeadCvQ7UGhFAA" name="rewind_conveyor"/>
             <subvertex xmi:type="uml:FinalState" xmi:id="_PiyUkEOBEeadCvQ7UGhFAA" name="FinalState1"/>
             <subvertex xmi:type="uml:State" xmi:id="_OZYAAEOCEeadCvQ7UGhFAA" name="State3">
               <region xmi:type="uml:Region" xmi:id="_PWnrYkOCEeadCvQ7UGhFAA" name="Region1">
                 <transition xmi:type="uml:Transition" xmi:id="_dedIwEOCEeadCvQ7UGhFAA" source="_QUQYUEOCEeadCvQ7UGhFAA" target="_cbYiMEOCEeadCvQ7UGhFAA"/>
                 <transition xmi:type="uml:Transition" xmi:id="_74CVgFTJEeaUqofUUR_LDQ" source="_QUQYUEOCEeadCvQ7UGhFAA" target="_5xA-oFTJEeaUqofUUR_LDQ">
                   <trigger xmi:type="uml:Trigger" xmi:id="_AmuSMFTKEeaUqofUUR_LDQ" event="_rHoJgOtoEeCjb9i0gG4phA"/>
                 </transition>
                 <subvertex xmi:type="uml:State" xmi:id="_QUQYUEOCEeadCvQ7UGhFAA" name="State4"/>
                 <subvertex xmi:type="uml:FinalState" xmi:id="_5xA-oFTJEeaUqofUUR_LDQ" name="FinalState1"/>
               </region>
               <region xmi:type="uml:Region" xmi:id="_P1Z5IEOCEeadCvQ7UGhFAA" name="Region2">
                 <transition xmi:type="uml:Transition" xmi:id="_eAXjAEOCEeadCvQ7UGhFAA" source="_RobV8EOCEeadCvQ7UGhFAA" target="_cbYiMEOCEeadCvQ7UGhFAA"/>
                 <transition xmi:type="uml:Transition" xmi:id="_7VlvwFTJEeaUqofUUR_LDQ" source="_RobV8EOCEeadCvQ7UGhFAA" target="_67iRAFTJEeaUqofUUR_LDQ">
                   <trigger xmi:type="uml:Trigger" xmi:id="__FB18FTJEeaUqofUUR_LDQ" event="_rHoJgOtoEeCjb9i0gG4phA"/>
                 </transition>
                 <subvertex xmi:type="uml:State" xmi:id="_RobV8EOCEeadCvQ7UGhFAA" name="State5"/>
                 <subvertex xmi:type="uml:FinalState" xmi:id="_67iRAFTJEeaUqofUUR_LDQ" name="FinalState1"/>
               </region>
             </subvertex>
             <subvertex xmi:type="uml:Pseudostate" xmi:id="_S3gYMEOCEeadCvQ7UGhFAA" name="Fork" kind="fork"/>
             <subvertex xmi:type="uml:Pseudostate" xmi:id="_cbYiMEOCEeadCvQ7UGhFAA" name="Join1" kind="join"/>
           </region>
         </ownedBehavior>
         <ownedBehavior xmi:type="uml:OpaqueBehavior" xmi:id="_YNCW4CgBEeapjr3l63b85A" name="run" specification="_VGsRACgBEeapjr3l63b85A">
           <language>C/C++</language>
           <body>cout &lt;&lt; &quot;call add (2, 3);&quot; &lt;&lt; endl;&#xD;
 cout &lt;&lt; &quot;result: &quot; &lt;&lt; add (2, 3) &lt;&lt; endl;&#xD;
 cout &lt;&lt; &quot;sleeping for 15 seconds (statemachine remains active);&quot; &lt;&lt; endl;&#xD;
 #ifdef WIN32&#xD;
 Sleep(15000);&#xD;
 #else&#xD;
 sleep(15);&#xD;
 #endif&#xD;
 </body>
         </ownedBehavior>
         <ownedOperation xmi:type="uml:Operation" xmi:id="_4ZEZwHecEd6r18stFZxmFQ" name="mult" method="_qxjWINnmEd2_cstbO2Uzgg">
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTo3cEVIEeaqgqiOqzyU4w" name="a">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTo3cUVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTpegEVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTpegUVIEeaqgqiOqzyU4w" name="b">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTpegkVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTpeg0VIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_mTqFkEVIEeaqgqiOqzyU4w" name="res" direction="return">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_mTqsoEVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_mTqsoUVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
         </ownedOperation>
         <ownedOperation xmi:type="uml:Operation" xmi:id="_TbIjUJYlEd6G9q9hwr11bw" name="add" method="_ML-4AKI5Ed6FqJCjEUrkqQ">
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_kl6KUEVIEeaqgqiOqzyU4w" name="a">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_kl6xYEVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_kl6xYUVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_kl6xYkVIEeaqgqiOqzyU4w" name="b">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_kl6xY0VIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_kl6xZEVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
           <ownedParameter xmi:type="uml:Parameter" xmi:id="_kl6xZUVIEeaqgqiOqzyU4w" name="res" direction="return">
             <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
             <lowerValue xmi:type="uml:LiteralInteger" xmi:id="_kl7YcEVIEeaqgqiOqzyU4w" value="1"/>
             <upperValue xmi:type="uml:LiteralUnlimitedNatural" xmi:id="_kl7YcUVIEeaqgqiOqzyU4w" value="1"/>
           </ownedParameter>
         </ownedOperation>
         <ownedOperation xmi:type="uml:Operation" xmi:id="_VGsRACgBEeapjr3l63b85A" name="run" method="_YNCW4CgBEeapjr3l63b85A"/>
       </packagedElement>
       <packagedElement xmi:type="uml:Package" xmi:id="_rGzqIOtoEeCjb9i0gG4phA" name="events">
         <packagedElement xmi:type="uml:TimeEvent" xmi:id="_rHoJgOtoEeCjb9i0gG4phA" name="TE - {value=50, unit=ms}" isRelative="true">
           <when xmi:type="uml:TimeExpression" xmi:id="_rHoJgetoEeCjb9i0gG4phA">
             <expr xmi:type="uml:OpaqueExpression" xmi:id="_rHoJgutoEeCjb9i0gG4phA">
               <language>Natural language</language>
               <body>{value=50, unit=ms}</body>
             </expr>
           </when>
         </packagedElement>
         <packagedElement xmi:type="uml:TimeEvent" xmi:id="_-PMFcCaeEeG4fZdVXNtoOQ" name="TE - {value=500, unit=ms}" isRelative="true">
           <when xmi:type="uml:TimeExpression" xmi:id="_-PMFcSaeEeG4fZdVXNtoOQ">
             <expr xmi:type="uml:OpaqueExpression" xmi:id="_-PMFciaeEeG4fZdVXNtoOQ">
               <language>Natural language</language>
               <body>{value=500, unit=ms}</body>
             </expr>
           </when>
         </packagedElement>
         <packagedElement xmi:type="uml:CallEvent" xmi:id="_8WeCMHoDEeOA64V_YLapaA" name="CE - CServer_impl - add" operation="_TbIjUJYlEd6G9q9hwr11bw"/>
         <packagedElement xmi:type="uml:TimeEvent" xmi:id="_4WSIMCjmEeaJJusTB1aIbg" name="TE - {value=25, unit=ms}" isRelative="true">
           <when xmi:type="uml:TimeExpression" xmi:id="_4WSIMSjmEeaJJusTB1aIbg">
             <expr xmi:type="uml:OpaqueExpression" xmi:id="_4WSIMijmEeaJJusTB1aIbg">
               <language>Natural language</language>
               <body>{value=25, unit=ms}</body>
             </expr>
           </when>
         </packagedElement>
         <packagedElement xmi:type="uml:SignalEvent" xmi:id="_wqLfYEVGEeaqgqiOqzyU4w" name="SigEv" signal="_wBfuwEVGEeaqgqiOqzyU4w"/>
         <packagedElement xmi:type="uml:ChangeEvent" xmi:id="_ZedTwEVTEeanJO83GGodwg" name="CHE_Event">
           <changeExpression xmi:type="uml:OpaqueExpression" xmi:id="_ZedTwUVTEeanJO83GGodwg">
             <language>C++</language>
             <body>which_rack</body>
           </changeExpression>
         </packagedElement>
       </packagedElement>
       <packagedElement xmi:type="uml:Signal" xmi:id="_wBfuwEVGEeaqgqiOqzyU4w" name="Sig">
         <ownedAttribute xmi:type="uml:Property" xmi:id="_wBfuwUVGEeaqgqiOqzyU4w" name="a">
           <type xmi:type="uml:PrimitiveType" href="pathmap://PapyrusC_Cpp_LIBRARIES/AnsiCLibrary.uml#_7wRIABydEduyofBvg4RL2w"/>
         </ownedAttribute>
       </packagedElement>
     </packagedElement>
     <packagedElement xmi:type="uml:Package" xmi:id="_234GEDLiEd2RVeNawwNNzg" name="deployment">
       <packagedElement xmi:type="uml:Package" xmi:id="_bv58oJbOEeanRKHSrFuDZA" name="SimpleSMChangeEventDepPlan">
         <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_bv6jsJbOEeanRKHSrFuDZA" name="mainInstance" classifier="_oqZNUDLaEd2qeKRLMdIx_A"/>
       </packagedElement>
     </packagedElement>
     <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_O6TiIjLUEd26WNosUASSSw">
       <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_O6TiIzLUEd26WNosUASSSw" source="http://www.eclipse.org/uml2/2.0.0/UML">
         <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/uml2/5.0.0/UML/Profile/Standard#/"/>
       </eAnnotations>
       <appliedProfile xmi:type="uml:Profile" href="pathmap://UML_PROFILES/Standard.profile.uml#_0"/>
     </profileApplication>
     <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_GcC0cAHtEd6HSdiss9GQ0A">
       <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_Gd1kMAHtEd6HSdiss9GQ0A" source="http://www.eclipse.org/uml2/2.0.0/UML">
         <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/C_Cpp/1#/"/>
       </eAnnotations>
       <appliedProfile xmi:type="uml:Profile" href="pathmap://PapyrusC_Cpp_PROFILES/C_Cpp.profile.uml#_j9REUByGEduN1bTiWJ0lyw"/>
     </profileApplication>
     <profileApplication xmi:type="uml:ProfileApplication" xmi:id="_7TzmwHEHEeatX-i6MtVR2A">
       <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_7T0N0HEHEeatX-i6MtVR2A" source="http://www.eclipse.org/uml2/2.0.0/UML">
         <references xmi:type="ecore:EPackage" href="http://www.eclipse.org/papyrus/Deployment/1#/"/>
       </eAnnotations>
       <appliedProfile xmi:type="uml:Profile" href="pathmap://DEP_PROFILE/Deployment.profile.uml#_gPDsIBa-EearhdjjJ6cVzQ"/>
     </profileApplication>
   </uml:Model>
   <C_Cpp:Include xmi:id="_EaeJMNp0EeKd1ax3yaXM9w" body="#include &lt;iostream>&#xA;using namespace std;&#xA;&#xA;#include &lt;unistd.h>&#xA;" header="#ifdef WIN32&#xD;&#xA;#include &quot;windows.h&quot;&#xD;&#xA;#endif" base_class="_oqZNUDLaEd2qeKRLMdIx_A"/>
 </xmi:XMI>