models/grub_pcr8vmm.uml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <uml:Model xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="16414f5c-2776-11e0-8caf-001f160c9c28">
   3   <packagedElement xmi:type="uml:StateMachine" xmi:id="Kk5bppv0" name="">
   4     <region xmi:id="_VK5bYpSwEdy22t6WWvUZtA" name="grub">
   5
   6       <subvertex xmi:type="uml:State" xmi:id="FinalAction" name="FinalAction" visibility="public">
   7         <doActivity xmi:type="uml:Activity" xmi:id="_VK5bY5SwEdy22t6WWvUZtA" name="setGrubProperty()"/>
   8       </subvertex>
   9       <subvertex xmi:type="uml:Pseudostate" xmi:id="Start" name="Start"/>
  10       <subvertex xmi:type="uml:State" xmi:id="Kkfd2Kq0" name="XenSmxSinitAC" visibility="public">
  11         <doActivity xmi:type="uml:Activity" xmi:id="_VK5bZJSwEdy22t6WWvUZtA" name="setGrubProperty()"/>
  12       </subvertex>
  13       <subvertex xmi:type="uml:State" xmi:id="CheckBIOS" name="Grub_PCR8_START" visibility="public"/>
  14       <subvertex xmi:type="uml:FinalState" xmi:id="Final"/>
  15       <subvertex xmi:type="uml:State" xmi:id="ModuleKernel" name="XenKernel" visibility="public">
  16         <doActivity xmi:type="uml:Activity" xmi:id="_VK5bZZSwEdy22t6WWvUZtA" name="setAssertion(linux.kernel.digest, digest)"/>
  17       </subvertex>
  18       <subvertex xmi:type="uml:State" xmi:id="ModuleInitrd" name="XenInitrd" visibility="public">
  19         <doActivity xmi:type="uml:Activity" xmi:id="_VK5bZpSwEdy22t6WWvUZtA" name="setGrubProperty()"/>
  20       </subvertex>
  21       <subvertex xmi:type="uml:State" xmi:id="KoByf0q0" name="GRUB_Verified" visibility="public">
  22         <doActivity xmi:type="uml:Activity" xmi:id="_VK5bZ5SwEdy22t6WWvUZtA" name="setAssertion(ipl.integrity, valid)"/>
  23       </subvertex>
  24       <subvertex xmi:type="uml:State" xmi:id="KoCze7W0" name="VMM_Exist" visibility="public">
  25         <doActivity xmi:type="uml:Activity" xmi:id="_VK5baJSwEdy22t6WWvUZtA" name="setAssertion(vmm, exist)"/>
  26       </subvertex>
  27       <subvertex xmi:type="uml:State" xmi:id="OsEventSeparator8" name="OsEventSeparator8" visibility="public"/>
  28       <subvertex xmi:type="uml:State" xmi:id="KernelXen" name="Xen" visibility="public">
  29         <doActivity xmi:type="uml:Activity" xmi:id="_VK5baZSwEdy22t6WWvUZtA" name="setAssertion(xen.digest, digest)"/>
  30       </subvertex>
  31       <transition xmi:id="ModuleKernel_trans" name="ModuleKernel_trans" visibility="public" kind="local" source="KernelXen" target="ModuleKernel" guard="_VK5ba5SwEdy22t6WWvUZtA">
  32         <ownedRule xmi:id="_VK5ba5SwEdy22t6WWvUZtA" name="">
  33           <specification xmi:type="uml:OpaqueExpression" xmi:id="_VK5bbJSwEdy22t6WWvUZtA" name="">
  34             <body>eventtype == 0x1405</body>
  35           </specification>
  36         </ownedRule>
  37       </transition>
  38       <transition xmi:id="Kkfdd7a0" visibility="public" kind="local" source="Kkfd2Kq0" target="KoCze7W0" guard="_VK5bbpSwEdy22t6WWvUZtA">
  39         <name xsi:nil="true"/>
  40         <ownedRule xmi:id="_VK5bbpSwEdy22t6WWvUZtA" name="">
  41           <specification xmi:type="uml:OpaqueExpression" xmi:id="_VK5bb5SwEdy22t6WWvUZtA" name="">
  42             <body>eventtype == 0x04</body>
  43           </specification>
  44         </ownedRule>
  45       </transition>
  46       <transition xmi:id="Final_trans_fromXEN" name="Final_trans_fromXEN" visibility="public" kind="local" source="ModuleInitrd" target="KoCze7W0" guard="_VK5bcZSwEdy22t6WWvUZtA">
  47         <ownedRule xmi:id="_VK5bcZSwEdy22t6WWvUZtA" name="">
  48           <specification xmi:type="uml:OpaqueExpression" xmi:id="_VK5bcpSwEdy22t6WWvUZtA" name="">
  49             <body>eventtype == 0x04</body>
  50           </specification>
  51         </ownedRule>
  52       </transition>
  53       <transition xmi:id="KkfdUYa0" visibility="public" kind="local" source="ModuleInitrd" target="Kkfd2Kq0" guard="_VK5bdJSwEdy22t6WWvUZtA">
  54         <name xsi:nil="true"/>
  55         <ownedRule xmi:id="_VK5bdJSwEdy22t6WWvUZtA" name="">
  56           <specification xmi:type="uml:OpaqueExpression" xmi:id="_VK5bdZSwEdy22t6WWvUZtA" name="">
  57             <body>eventtype == 0x1405</body>
  58           </specification>
  59         </ownedRule>
  60       </transition>
  61       <transition xmi:id="ModuleInitrd_trans" name="ModuleInitrd_trans" visibility="public" kind="local" source="ModuleKernel" target="ModuleInitrd" guard="_VK5bd5SwEdy22t6WWvUZtA">
  62         <ownedRule xmi:id="_VK5bd5SwEdy22t6WWvUZtA" name="">
  63           <specification xmi:type="uml:OpaqueExpression" xmi:id="_VK5beJSwEdy22t6WWvUZtA" name="">
  64             <body>eventtype == 0x1405</body>
  65           </specification>
  66         </ownedRule>
  67       </transition>
  68       <transition xmi:id="KoByw0H0" visibility="public" kind="local" source="KoByf0q0" target="Final">
  69         <name xsi:nil="true"/>
  70       </transition>
  71       <transition xmi:id="KernelXen_trans" name="KernelXen_trans" visibility="public" kind="local" source="CheckBIOS" target="KernelXen" guard="_VK5be5SwEdy22t6WWvUZtA">
  72         <ownedRule xmi:id="_VK5be5SwEdy22t6WWvUZtA" name="">
  73           <specification xmi:type="uml:OpaqueExpression" xmi:id="_VK5bfJSwEdy22t6WWvUZtA" name="">
  74             <body>pcrindex == 8, eventtype == 0x1205</body>
  75           </specification>
  76         </ownedRule>
  77       </transition>
  78       <transition xmi:id="Final_trans" name="Final_trans" visibility="public" kind="local" source="FinalAction" target="KoByf0q0"/>
  79       <transition xmi:id="CheckBIOS_trans" name="CheckBIOS_trans" visibility="public" kind="local" source="Start" target="CheckBIOS"/>
  80       <transition xmi:id="KoD00O40" visibility="public" kind="local" source="KoCze7W0" target="OsEventSeparator8">
  81         <name xsi:nil="true"/>
  82       </transition>
  83       <transition xmi:id="FinalAction_trans" name="FinalAction_trans" visibility="public" kind="local" source="OsEventSeparator8" target="FinalAction" guard="_VK5bgZSwEdy22t6WWvUZtA">
  84         <ownedRule xmi:id="_VK5bgZSwEdy22t6WWvUZtA" name="">
  85           <specification xmi:type="uml:OpaqueExpression" xmi:id="_VK5bgpSwEdy22t6WWvUZtA" name="">
  86             <body>pcrindex == 8, eventtype == 0x1005</body>
  87           </specification>
  88         </ownedRule>
  89       </transition>
  90     </region>
  91   </packagedElement>
  92 </uml:Model>