update for v0.2.6

[openpts/openpts.git] / models / f12_ima_pcr10wog.uml
diff --git a/models/f12_ima_pcr10wog.uml b/models/f12_ima_pcr10wog.uml

deleted file mode 100644 (file)

index d1946f1..0000000
--- a/models/f12_ima_pcr10wog.uml
+++ /dev/null
@@ -1,52 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<uml:Model xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="c5f91f98-2775-11e0-a324-001f160c9c28">
-  <packagedElement xmi:type="uml:StateMachine" xmi:id="KmZFE1y0" name="">
-    <region xmi:id="_XqC-YpSwEdy22t6WWvUZtA" name="kernel">
-      <ownedComment xmi:id="L2gSSsT0">
-        <body>Fedora 12 IMA without Grub-IMA</body>
-      </ownedComment>
-      <subvertex xmi:type="uml:State" xmi:id="Initrd" name="Initrd" visibility="public"/>
-      <subvertex xmi:type="uml:Pseudostate" xmi:id="Start" name="Start"/>
-      <subvertex xmi:type="uml:State" xmi:id="File" name="File" visibility="public">
-        <doActivity xmi:type="uml:Activity" xmi:id="_XqC-ZJSwEdy22t6WWvUZtA" name="validateImaMeasurement()"/>
-      </subvertex>
-      <subvertex xmi:type="uml:FinalState" xmi:id="Final"/>
-      <subvertex xmi:type="uml:State" xmi:id="Aggrigate" name="Aggrigate" visibility="public">
-        <doActivity xmi:type="uml:Activity" xmi:id="_XqC-ZZSwEdy22t6WWvUZtA" name="validateImaAggregate()"/>
-      </subvertex>
-      <subvertex xmi:type="uml:State" xmi:id="Kernel" name="Kernel" visibility="public"/>
-      <subvertex xmi:type="uml:State" xmi:id="CheckOption" name="CheckOption" visibility="public"/>
-      <transition xmi:id="File_loop" name="File_loop" visibility="public" kind="local" source="File" target="File" guard="_XqC-aZSwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_XqC-aZSwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_XqC-apSwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0x00</body>
-          </specification>
-        </ownedRule>
-      </transition>
-      <transition xmi:id="Initrd_trans" name="Initrd_trans" visibility="public" kind="local" source="Kernel" target="Initrd"/>
-      <transition xmi:id="Final_trans" name="Final_trans" visibility="public" kind="local" source="File" target="Final" guard="_XqC-bZSwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_XqC-bZSwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_XqC-bpSwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0xFFFFFFFF</body>
-          </specification>
-        </ownedRule>
-      </transition>
-      <transition xmi:id="Kernel_trans" name="Kernel_trans" visibility="public" kind="local" source="CheckOption" target="Kernel"/>
-      <transition xmi:id="CheckOption_trans" name="CheckOption_trans" visibility="public" kind="local" source="Start" target="CheckOption"/>
-      <transition xmi:id="Aggrigate_trans" name="Aggrigate_trans" visibility="public" kind="local" source="Initrd" target="Aggrigate" guard="_XqC-cpSwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_XqC-cpSwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_XqC-c5SwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0x00</body>
-          </specification>
-        </ownedRule>
-      </transition>
-      <transition xmi:id="File_trans" name="File_trans" visibility="public" kind="local" source="Aggrigate" target="File" guard="_XqC-dZSwEdy22t6WWvUZtA">
-        <ownedRule xmi:id="_XqC-dZSwEdy22t6WWvUZtA" name="">
-          <specification xmi:type="uml:OpaqueExpression" xmi:id="_XqC-dpSwEdy22t6WWvUZtA" name="">
-            <body>eventtype == 0x00</body>
-          </specification>
-        </ownedRule>
-      </transition>
-    </region>
-  </packagedElement>
-</uml:Model>