Skip to content

GitLab

Commit c831b780 authored by Faezeh KHORRAM's avatar Faezeh KHORRAM 💬
Browse files

adding xmi models

parent 6dea7327
Hide whitespace changes
Inline Side-by-side
Modeling_Workbench/xFSM_models/xmi-models/BitShifting.model 0 → 100644
View file @ c831b780
<?xml version="1.0" encoding="ASCII"?>
<k3fsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:k3fsm="http://www.eclipse.org/gemoc/example/k3fsm" name="BitShifting" unprocessedString="1011" producedString="" initialState ="//@ownedStates.0">
<ownedStates name="S0">
<outgoingTransitions target = "//@ownedStates.1" input="1" name="S0_to_S1" output="0"/>
<outgoingTransitions target = "//@ownedStates.2" input="0" name="S0_to_S2" output="0"/>
</ownedStates>
<ownedStates name="S1">
<outgoingTransitions target = "//@ownedStates.1" input="1" name="S1_to_S1" output="1"/>
<outgoingTransitions target = "//@ownedStates.2" input="0" name="S1_to_S2" output="1"/>
</ownedStates>
<ownedStates name="S2">
<outgoingTransitions target = "//@ownedStates.2" input="0" name="S2_to_S2" output="0"/>
<outgoingTransitions target = "//@ownedStates.1" input="1" name="S2_to_S1" output="0"/>
</ownedStates>
</k3fsm:FSM>
Modeling_Workbench/xFSM_models/xmi-models/EdgeDetector.model 0 → 100644
View file @ c831b780
<?xml version="1.0" encoding="ASCII"?>
<k3fsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:k3fsm="http://www.eclipse.org/gemoc/example/k3fsm" name="EdgeDetector"
initialState = "//@ownedStates.0">
<ownedStates name="Si">
<outgoingTransitions target = "//@ownedStates.1" input="0" name="Si_to_S0" output="0"/>
<outgoingTransitions target = "//@ownedStates.2" input="1" name="Si_to_S1" output="0"/>
</ownedStates>
<ownedStates name="S0">
<outgoingTransitions target = "//@ownedStates.1" input="0" name="S0_to_S0" output="0"/>
<outgoingTransitions target = "//@ownedStates.2" input="1" name="S0_to_S1" output="1"/>
</ownedStates>
<ownedStates name="S1">
<outgoingTransitions target = "//@ownedStates.2" input="1" name="S1_to_S1" output="0"/>
<outgoingTransitions target = "//@ownedStates.1" input="0" name="S1_to_S0" output="1"/>
</ownedStates>
</k3fsm:FSM>
Modeling_Workbench/xFSM_models/xmi-models/String.toLowercase.model 0 → 100644
View file @ c831b780
<?xml version="1.0" encoding="ASCII"?>
<k3fsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:k3fsm="http://www.eclipse.org/gemoc/example/k3fsm" name="toLowerCase" initialState ="//@ownedStates.0">
<ownedStates name="S0">
<outgoingTransitions target = "//@ownedStates.0" input=" " name="S0_to_S0_space" output=" "/>
<outgoingTransitions target = "//@ownedStates.1" input="A" name="S0_to_a_A" output="a"/>
<outgoingTransitions target = "//@ownedStates.2" input="B" name="S0_to_b_B" output="b"/>
<outgoingTransitions target = "//@ownedStates.3" input="C" name="S0_to_c_C" output="c"/>
<outgoingTransitions target = "//@ownedStates.4" input="D" name="S0_to_d_D" output="d"/>
<outgoingTransitions target = "//@ownedStates.5" input="E" name="S0_to_e_E" output="e"/>
<outgoingTransitions target = "//@ownedStates.6" input="F" name="S0_to_f_F" output="f"/>
<outgoingTransitions target = "//@ownedStates.7" input="G" name="S0_to_g_G" output="g"/>
<outgoingTransitions target = "//@ownedStates.8" input="H" name="S0_to_h_H" output="h"/>
<outgoingTransitions target = "//@ownedStates.9" input="I" name="S0_to_i_I" output="i"/>
<outgoingTransitions target = "//@ownedStates.10" input="J" name="S0_to_j_J" output="j"/>
<outgoingTransitions target = "//@ownedStates.11" input="K" name="S0_to_k_K" output="k"/>
<outgoingTransitions target = "//@ownedStates.12" input="L" name="S0_to_l_L" output="l"/>
<outgoingTransitions target = "//@ownedStates.13" input="M" name="S0_to_m_M" output="m"/>
<outgoingTransitions target = "//@ownedStates.14" input="N" name="S0_to_n_N" output="n"/>
<outgoingTransitions target = "//@ownedStates.15" input="O" name="S0_to_o_O" output="o"/>
<outgoingTransitions target = "//@ownedStates.16" input="P" name="S0_to_p_P" output="p"/>
<outgoingTransitions target = "//@ownedStates.17" input="Q" name="S0_to_q_Q" output="q"/>
<outgoingTransitions target = "//@ownedStates.18" input="R" name="S0_to_r_R" output="r"/>
<outgoingTransitions target = "//@ownedStates.19" input="S" name="S0_to_s_S" output="s"/>
<outgoingTransitions target = "//@ownedStates.20" input="T" name="S0_to_t_T" output="t"/>
<outgoingTransitions target = "//@ownedStates.21" input="U" name="S0_to_u_U" output="u"/>
<outgoingTransitions target = "//@ownedStates.22" input="V" name="S0_to_v_V" output="v"/>
<outgoingTransitions target = "//@ownedStates.23" input="W" name="S0_to_w_W" output="w"/>
<outgoingTransitions target = "//@ownedStates.24" input="X" name="S0_to_x_X" output="x"/>
<outgoingTransitions target = "//@ownedStates.25" input="Y" name="S0_to_y_Y" output="y"/>
<outgoingTransitions target = "//@ownedStates.26" input="Z" name="S0_to_z_Z" output="z"/>
<outgoingTransitions target = "//@ownedStates.1" input="a" name="S0_to_a_a" output="a"/>
<outgoingTransitions target = "//@ownedStates.2" input="b" name="S0_to_b_b" output="b"/>
<outgoingTransitions target = "//@ownedStates.3" input="c" name="S0_to_c_c" output="c"/>
<outgoingTransitions target = "//@ownedStates.4" input="d" name="S0_to_d_d" output="d"/>
<outgoingTransitions target = "//@ownedStates.5" input="e" name="S0_to_e_e" output="e"/>
<outgoingTransitions target = "//@ownedStates.6" input="f" name="S0_to_f_f" output="f"/>
<outgoingTransitions target = "//@ownedStates.7" input="g" name="S0_to_g_g" output="g"/>
<outgoingTransitions target = "//@ownedStates.8" input="h" name="S0_to_h_h" output="h"/>
<outgoingTransitions target = "//@ownedStates.9" input="i" name="S0_to_i_i" output="i"/>
<outgoingTransitions target = "//@ownedStates.10" input="j" name="S0_to_j_j" output="j"/>
<outgoingTransitions target = "//@ownedStates.11" input="k" name="S0_to_k_k" output="k"/>
<outgoingTransitions target = "//@ownedStates.12" input="l" name="S0_to_l_l" output="l"/>
<outgoingTransitions target = "//@ownedStates.13" input="m" name="S0_to_m_m" output="m"/>
<outgoingTransitions target = "//@ownedStates.14" input="n" name="S0_to_n_n" output="n"/>
<outgoingTransitions target = "//@ownedStates.15" input="o" name="S0_to_o_o" output="o"/>
<outgoingTransitions target = "//@ownedStates.16" input="p" name="S0_to_p_p" output="p"/>
<outgoingTransitions target = "//@ownedStates.17" input="q" name="S0_to_q_q" output="q"/>
<outgoingTransitions target = "//@ownedStates.18" input="r" name="S0_to_r_r" output="r"/>
<outgoingTransitions target = "//@ownedStates.19" input="s" name="S0_to_s_s" output="s"/>
<outgoingTransitions target = "//@ownedStates.20" input="t" name="S0_to_t_t" output="t"/>
<outgoingTransitions target = "//@ownedStates.21" input="u" name="S0_to_u_u" output="u"/>
<outgoingTransitions target = "//@ownedStates.22" input="v" name="S0_to_v_v" output="v"/>
<outgoingTransitions target = "//@ownedStates.23" input="w" name="S0_to_w_w" output="w"/>
<outgoingTransitions target = "//@ownedStates.24" input="x" name="S0_to_x_x" output="x"/>
<outgoingTransitions target = "//@ownedStates.25" input="y" name="S0_to_y_y" output="y"/>
<outgoingTransitions target = "//@ownedStates.26" input="z" name="S0_to_z_z" output="z"/>
</ownedStates>
<ownedStates name="a">
<outgoingTransitions target = "//@ownedStates.1" input="a" name="a_to_a" output="a"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="b">
<outgoingTransitions target = "//@ownedStates.2" input="b" name="b_to_b" output="b"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="c">
<outgoingTransitions target = "//@ownedStates.3" input="c" name="c_to_c" output="c"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="d">
<outgoingTransitions target = "//@ownedStates.4" input="d" name="d_to_d" output="d"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="e">
<outgoingTransitions target = "//@ownedStates.5" input="e" name="e_to_e" output="e"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="f">
<outgoingTransitions target = "//@ownedStates.6" input="f" name="f_to_f" output="f"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="g">
<outgoingTransitions target = "//@ownedStates.7" input="g" name="g_to_g" output="g"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="h">
<outgoingTransitions target = "//@ownedStates.8" input="h" name="h_to_h" output="h"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="i">
<outgoingTransitions target = "//@ownedStates.9" input="i" name="i_to_i" output="i"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="j">
<outgoingTransitions target = "//@ownedStates.10" input="j" name="j_to_j" output="j"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="k">
<outgoingTransitions target = "//@ownedStates.11" input="k" name="k_to_k" output="k"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="l">
<outgoingTransitions target = "//@ownedStates.12" input="l" name="l_to_l" output="l"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="m">
<outgoingTransitions target = "//@ownedStates.13" input="m" name="m_to_m" output="m"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="n">
<outgoingTransitions target = "//@ownedStates.14" input="n" name="n_to_n" output="n"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="o">
<outgoingTransitions target = "//@ownedStates.15" input="o" name="o_to_o" output="o"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="p">
<outgoingTransitions target = "//@ownedStates.16" input="p" name="p_to_p" output="p"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="q">
<outgoingTransitions target = "//@ownedStates.17" input="q" name="q_to_q" output="q"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="r">
<outgoingTransitions target = "//@ownedStates.18" input="r" name="r_to_r" output="r"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="s">
<outgoingTransitions target = "//@ownedStates.19" input="s" name="s_to_s" output="s"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="t">
<outgoingTransitions target = "//@ownedStates.20" input="t" name="t_to_t" output="t"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="u">
<outgoingTransitions target = "//@ownedStates.21" input="u" name="u_to_u" output="u"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="v">
<outgoingTransitions target = "//@ownedStates.22" input="v" name="v_to_v" output="v"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="w">
<outgoingTransitions target = "//@ownedStates.23" input="w" name="w_to_w" output="w"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="x">
<outgoingTransitions target = "//@ownedStates.24" input="x" name="x_to_x" output="x"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="y">
<outgoingTransitions target = "//@ownedStates.25" input="y" name="y_to_y" output="y"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="z">
<outgoingTransitions target = "//@ownedStates.26" input="z" name="z_to_z" output="z"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
</k3fsm:FSM>
Modeling_Workbench/xFSM_models/xmi-models/String.toUpperCase.model 0 → 100644
View file @ c831b780
<?xml version="1.0" encoding="ASCII"?>
<k3fsm:FSM xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:k3fsm="http://www.eclipse.org/gemoc/example/k3fsm" name="toUpperCase" initialState ="//@ownedStates.0">
<ownedStates name="S0">
<outgoingTransitions target = "//@ownedStates.0" input=" " name="S0_to_S0_space" output=" "/>
<outgoingTransitions target = "//@ownedStates.1" input="a" name="S0_to_A_a" output="A"/>
<outgoingTransitions target = "//@ownedStates.2" input="b" name="S0_to_B_b" output="B"/>
<outgoingTransitions target = "//@ownedStates.3" input="c" name="S0_to_C_c" output="C"/>
<outgoingTransitions target = "//@ownedStates.4" input="d" name="S0_to_D_d" output="D"/>
<outgoingTransitions target = "//@ownedStates.5" input="e" name="S0_to_E_e" output="E"/>
<outgoingTransitions target = "//@ownedStates.6" input="f" name="S0_to_F_f" output="F"/>
<outgoingTransitions target = "//@ownedStates.7" input="g" name="S0_to_G_g" output="G"/>
<outgoingTransitions target = "//@ownedStates.8" input="h" name="S0_to_H_h" output="H"/>
<outgoingTransitions target = "//@ownedStates.9" input="i" name="S0_to_I_i" output="I"/>
<outgoingTransitions target = "//@ownedStates.10" input="j" name="S0_to_J_j" output="J"/>
<outgoingTransitions target = "//@ownedStates.11" input="k" name="S0_to_K_k" output="K"/>
<outgoingTransitions target = "//@ownedStates.12" input="l" name="S0_to_L_l" output="L"/>
<outgoingTransitions target = "//@ownedStates.13" input="m" name="S0_to_M_m" output="M"/>
<outgoingTransitions target = "//@ownedStates.14" input="n" name="S0_to_N_n" output="N"/>
<outgoingTransitions target = "//@ownedStates.15" input="o" name="S0_to_O_o" output="O"/>
<outgoingTransitions target = "//@ownedStates.16" input="p" name="S0_to_P_p" output="P"/>
<outgoingTransitions target = "//@ownedStates.17" input="q" name="S0_to_Q_q" output="Q"/>
<outgoingTransitions target = "//@ownedStates.18" input="r" name="S0_to_R_r" output="R"/>
<outgoingTransitions target = "//@ownedStates.19" input="s" name="S0_to_S_s" output="S"/>
<outgoingTransitions target = "//@ownedStates.20" input="t" name="S0_to_T_t" output="T"/>
<outgoingTransitions target = "//@ownedStates.21" input="u" name="S0_to_U_u" output="U"/>
<outgoingTransitions target = "//@ownedStates.22" input="v" name="S0_to_V_v" output="V"/>
<outgoingTransitions target = "//@ownedStates.23" input="w" name="S0_to_W_w" output="W"/>
<outgoingTransitions target = "//@ownedStates.24" input="x" name="S0_to_X_x" output="X"/>
<outgoingTransitions target = "//@ownedStates.25" input="y" name="S0_to_Y_y" output="Y"/>
<outgoingTransitions target = "//@ownedStates.26" input="z" name="S0_to_Z_z" output="Z"/>
<outgoingTransitions target = "//@ownedStates.1" input="A" name="S0_to_A_A" output="A"/>
<outgoingTransitions target = "//@ownedStates.2" input="B" name="S0_to_B_B" output="B"/>
<outgoingTransitions target = "//@ownedStates.3" input="C" name="S0_to_C_C" output="C"/>
<outgoingTransitions target = "//@ownedStates.4" input="D" name="S0_to_D_D" output="D"/>
<outgoingTransitions target = "//@ownedStates.5" input="E" name="S0_to_E_E" output="E"/>
<outgoingTransitions target = "//@ownedStates.6" input="F" name="S0_to_F_F" output="F"/>
<outgoingTransitions target = "//@ownedStates.7" input="G" name="S0_to_G_G" output="G"/>
<outgoingTransitions target = "//@ownedStates.8" input="H" name="S0_to_H_H" output="H"/>
<outgoingTransitions target = "//@ownedStates.9" input="I" name="S0_to_I_I" output="I"/>
<outgoingTransitions target = "//@ownedStates.10" input="J" name="S0_to_J_J" output="J"/>
<outgoingTransitions target = "//@ownedStates.11" input="K" name="S0_to_K_K" output="K"/>
<outgoingTransitions target = "//@ownedStates.12" input="L" name="S0_to_L_L" output="L"/>
<outgoingTransitions target = "//@ownedStates.13" input="M" name="S0_to_M_M" output="M"/>
<outgoingTransitions target = "//@ownedStates.14" input="N" name="S0_to_N_N" output="N"/>
<outgoingTransitions target = "//@ownedStates.15" input="O" name="S0_to_O_O" output="O"/>
<outgoingTransitions target = "//@ownedStates.16" input="P" name="S0_to_P_P" output="P"/>
<outgoingTransitions target = "//@ownedStates.17" input="Q" name="S0_to_Q_Q" output="Q"/>
<outgoingTransitions target = "//@ownedStates.18" input="R" name="S0_to_R_R" output="R"/>
<outgoingTransitions target = "//@ownedStates.19" input="S" name="S0_to_S_S" output="S"/>
<outgoingTransitions target = "//@ownedStates.20" input="T" name="S0_to_T_T" output="T"/>
<outgoingTransitions target = "//@ownedStates.21" input="U" name="S0_to_U_U" output="U"/>
<outgoingTransitions target = "//@ownedStates.22" input="V" name="S0_to_V_V" output="V"/>
<outgoingTransitions target = "//@ownedStates.23" input="W" name="S0_to_W_W" output="W"/>
<outgoingTransitions target = "//@ownedStates.24" input="X" name="S0_to_X_X" output="X"/>
<outgoingTransitions target = "//@ownedStates.25" input="Y" name="S0_to_Y_Y" output="Y"/>
<outgoingTransitions target = "//@ownedStates.26" input="Z" name="S0_to_Z_Z" output="Z"/>
</ownedStates>
<ownedStates name="A">
<outgoingTransitions target = "//@ownedStates.1" input="A" name="A_to_A" output="A"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="B">
<outgoingTransitions target = "//@ownedStates.2" input="B" name="B_to_B" output="B"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="C">
<outgoingTransitions target = "//@ownedStates.3" input="C" name="C_to_C" output="C"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="D">
<outgoingTransitions target = "//@ownedStates.4" input="D" name="D_to_D" output="D"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="E">
<outgoingTransitions target = "//@ownedStates.5" input="E" name="E_to_E" output="E"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="F">
<outgoingTransitions target = "//@ownedStates.6" input="F" name="F_to_F" output="F"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="G">
<outgoingTransitions target = "//@ownedStates.7" input="G" name="G_to_G" output="G"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="H">
<outgoingTransitions target = "//@ownedStates.8" input="H" name="H_to_H" output="H"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="I">
<outgoingTransitions target = "//@ownedStates.9" input="I" name="I_to_I" output="I"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="J">
<outgoingTransitions target = "//@ownedStates.10" input="J" name="J_to_J" output="J"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="K">
<outgoingTransitions target = "//@ownedStates.11" input="K" name="K_to_K" output="K"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="L">
<outgoingTransitions target = "//@ownedStates.12" input="L" name="L_to_L" output="L"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="M">
<outgoingTransitions target = "//@ownedStates.13" input="M" name="M_to_M" output="M"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="N">
<outgoingTransitions target = "//@ownedStates.14" input="N" name="N_to_N" output="N"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="O">
<outgoingTransitions target = "//@ownedStates.15" input="O" name="O_to_O" output="O"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="P">
<outgoingTransitions target = "//@ownedStates.16" input="P" name="P_to_P" output="P"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="Q">
<outgoingTransitions target = "//@ownedStates.17" input="Q" name="Q_to_Q" output="Q"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="R">
<outgoingTransitions target = "//@ownedStates.18" input="R" name="R_to_R" output="R"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="S">
<outgoingTransitions target = "//@ownedStates.19" input="S" name="S_to_S" output="S"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="T">
<outgoingTransitions target = "//@ownedStates.20" input="T" name="T_to_T" output="T"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="U">
<outgoingTransitions target = "//@ownedStates.21" input="U" name="U_to_U" output="U"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="V">
<outgoingTransitions target = "//@ownedStates.22" input="V" name="V_to_V" output="V"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="W">
<outgoingTransitions target = "//@ownedStates.23" input="W" name="W_to_W" output="W"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="X">
<outgoingTransitions target = "//@ownedStates.24" input="X" name="X_to_X" output="X"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="Y">
<outgoingTransitions target = "//@ownedStates.25" input="Y" name="Y_to_Y" output="Y"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
<ownedStates name="Z">
<outgoingTransitions target = "//@ownedStates.26" input="Z" name="Z_to_Z" output="Z"/>
<outgoingTransitions target = "//@ownedStates.0" name="back_to_S0"/>
</ownedStates>
</k3fsm:FSM>
\ No newline at end of file
Modeling_Workbench/xFSM_models/xmi.models/BitShifting.model → Modeling_Workbench/xFSM_models/xmi-models/TrafficLight.model
View file @ c831b780
......@@ -2,46 +2,39 @@
<k3fsm:FSM xmi:version="2.0"
xmlns:xmi="http://www.omg.org/XMI"
xmlns:k3fsm="http://www.eclipse.org/gemoc/example/k3fsm"
name="BitShifting">
name="TrafficLight"
initialState="//@ownedStates.0"
unprocessedString="btt">
<ownedStates
name="S0">
name="Green"
incomingTransitions="//@ownedStates.0/@outgoingTransitions.0 //@ownedStates.2/@outgoingTransitions.0">
<outgoingTransitions
input="1"
target="//@ownedStates.1"
name="S0_to_S1"
output="0"/>
input="t"
target="//@ownedStates.0"
name="Green_to_Green"
output="Green"/>
<outgoingTransitions
input="0"
target="//@ownedStates.2"
name="S0_to_S2"
output="0"/>
input="b"
target="//@ownedStates.1"
name="Green_to_Yellow"
output="Yellow"/>
</ownedStates>
<ownedStates
name="S1"
incomingTransitions="//@ownedStates.0/@outgoingTransitions.0 //@ownedStates.1/@outgoingTransitions.0 //@ownedStates.2/@outgoingTransitions.1">
<outgoingTransitions
input="1"
target="//@ownedStates.1"
name="S1_to_S1"
output="1"/>
name="Yellow"
incomingTransitions="//@ownedStates.0/@outgoingTransitions.1">
<outgoingTransitions
input="0"
input="t"
target="//@ownedStates.2"
name="S1_to_S2"
output="1"/>
name="Yellow_to_Red"
output="Red"/>
</ownedStates>
<ownedStates
name="S2"
incomingTransitions="//@ownedStates.0/@outgoingTransitions.1 //@ownedStates.1/@outgoingTransitions.1 //@ownedStates.2/@outgoingTransitions.0">
<outgoingTransitions
input="0"
target="//@ownedStates.2"
name="S2_to_S2"
output="0"/>
name="Red"
incomingTransitions="//@ownedStates.1/@outgoingTransitions.0">
<outgoingTransitions
input="1"
target="//@ownedStates.1"
name="S2_to_S1"
output="0"/>
input="t"
target="//@ownedStates.0"
name="Red_to_Green"
output="Green"/>
</ownedStates>
</k3fsm:FSM>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment