-
-
- <transition xmi:id="Kk04zG90" name="EV_IPL_11B_trans" visibility="public" kind="local" source="EV_ACTION_4" target="EV_IPL_11B" guard="_GiBMgRy7Ed6jytZ7WXwL3w">
- <ownedRule xmi:id="_GiBMgRy7Ed6jytZ7WXwL3w" name="">
- <specification xmi:type="uml:OpaqueExpression" xmi:id="_GiBMghy7Ed6jytZ7WXwL3w" name="">
- <body>eventtype == 0x01</body>
- </specification>
- </ownedRule>
- </transition>
- <transition xmi:id="Kk02jZs0" name="CRTM_START_trans" visibility="public" kind="local" source="Start" target="PCR4_START"/>
- <transition xmi:id="EV_ACTION_4A_trans" name="EV_ACTION_4A_trans" visibility="public" kind="local" source="PCR4_START" target="EV_ACTION_4A" guard="_GiBMhRy7Ed6jytZ7WXwL3w">
- <ownedRule xmi:id="_GiBMhRy7Ed6jytZ7WXwL3w" name="">
- <specification xmi:type="uml:OpaqueExpression" xmi:id="_GiBMhhy7Ed6jytZ7WXwL3w" name="">
- <body>eventtype == 0x05</body>
- </specification>
- </ownedRule>
- </transition>
- <transition xmi:id="EV_SEPARATOR_4_trans_from3" name="EV_SEPARATOR_4_trans_from3" visibility="public" kind="local" source="PCR4_START" target="EV_SEPARATOR_4" guard="_GiBzkRy7Ed6jytZ7WXwL3w">
- <ownedRule xmi:id="_GiBzkRy7Ed6jytZ7WXwL3w" name="">
- <specification xmi:type="uml:OpaqueExpression" xmi:id="_GiBzkhy7Ed6jytZ7WXwL3w" name="">
- <body>eventtype == 0x04</body>
- </specification>
- </ownedRule>
- </transition>
- <transition xmi:id="Kk0510m0" name="IPL4_11B_HOLD_trans" visibility="public" kind="local" source="EV_IPL_11B" target="BIOS_PCR4_Verified"/>
- <transition xmi:id="IPL4_HOLD_trans" name="IPL4_HOLD_trans" visibility="public" kind="local" source="EV_IPL" target="BIOS_PCR4_Verified"/>
- <transition xmi:id="KoByXxb0" visibility="public" kind="local" source="BIOS_PCR4_Verified" target="Final">
- <name xsi:nil="true"/>
- </transition>
- <transition xmi:id="EV_ACTION_4_trans" name="EV_ACTION_4_trans" visibility="public" kind="local" source="EV_SEPARATOR_4" target="EV_ACTION_4" guard="_GiCaohy7Ed6jytZ7WXwL3w">
- <ownedRule xmi:id="_GiCaohy7Ed6jytZ7WXwL3w" name="">
- <specification xmi:type="uml:OpaqueExpression" xmi:id="_GiCaoxy7Ed6jytZ7WXwL3w" name="">
- <body>eventtype == 0x05</body>
- </specification>
- </ownedRule>
- </transition>
- <transition xmi:id="Lnjdj5B0" visibility="public" kind="local" source="PCR4_START" target="EV_EFI_BOOT_SERVICES_APPLICATION" guard="_GiCapRy7Ed6jytZ7WXwL3w">
- <name xsi:nil="true"/>
- <ownedRule xmi:id="_GiCapRy7Ed6jytZ7WXwL3w" name="">
- <specification xmi:type="uml:OpaqueExpression" xmi:id="_GiCaphy7Ed6jytZ7WXwL3w" name="">
- <body>eventtype == 0x80000003</body>
- </specification>
- </ownedRule>
- </transition>
- <transition xmi:id="L2WSWe70" visibility="public" kind="local" source="EV_IPL_DELL" target="BIOS_PCR4_Verified">
- <name xsi:nil="true"/>
- </transition>
- <transition xmi:id="EV_ACTION_4_loop" name="EV_ACTION_4_loop" visibility="public" kind="local" source="EV_ACTION_4" target="EV_ACTION_4" guard="_GiDBshy7Ed6jytZ7WXwL3w">
- <ownedRule xmi:id="_GiDBshy7Ed6jytZ7WXwL3w" name="">
- <specification xmi:type="uml:OpaqueExpression" xmi:id="_GiDBsxy7Ed6jytZ7WXwL3w" name="">
- <body>eventtype == 0x05</body>
+ <transition xmi:id="Start_to_FSM_START" name="Start_to_FSM_START" source="Start" target="FSM_START"/>
+ <transition xmi:id="FSM_START_to_EV_ACTION_1" name="FSM_START_to_EV_ACTION_1" source="FSM_START" target="EV_ACTION_1">
+ <ownedRule xmi:id="FSM_START_to_EV_ACTION_1_guard">
+ <specification xmi:type="uml:OpaqueExpression" xmi:id="FSM_START_to_EV_ACTION_1_spec">
+ <body>eventtype==0x05</body>