Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
|
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2009/09/24 12:37] barakat angelegt |
forschung:applying_formal_methods_for_qos_provisioning_in_mobile_architectures [2011/11/21 17:34] |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | <html> | ||
| - | |||
| - | <html xmlns:v="urn:schemas-microsoft-com:vml" | ||
| - | xmlns:o="urn:schemas-microsoft-com:office:office" | ||
| - | xmlns:w="urn:schemas-microsoft-com:office:word" | ||
| - | xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" | ||
| - | xmlns="http://www.w3.org/TR/REC-html40"> | ||
| - | |||
| - | <head> | ||
| - | <meta http-equiv=Content-Type content="text/html; charset=windows-1252"> | ||
| - | <meta name=ProgId content=Word.Document> | ||
| - | <meta name=Generator content="Microsoft Word 12"> | ||
| - | <meta name=Originator content="Microsoft Word 12"> | ||
| - | <link rel=File-List href="Projekt%20webseite-Dateien/filelist.xml"> | ||
| - | <link rel=Edit-Time-Data href="Projekt%20webseite-Dateien/editdata.mso"> | ||
| - | <!--[if !mso]> | ||
| - | <style> | ||
| - | v\:* {behavior:url(#default#VML);} | ||
| - | o\:* {behavior:url(#default#VML);} | ||
| - | w\:* {behavior:url(#default#VML);} | ||
| - | .shape {behavior:url(#default#VML);} | ||
| - | </style> | ||
| - | <![endif]--> | ||
| - | <title>Applying Formal Methods for QoS Provisioning in Mobile Architectures</title> | ||
| - | <!--[if gte mso 9]><xml> | ||
| - | <o:DocumentProperties> | ||
| - | <o:Author>Kamal Barakat</o:Author> | ||
| - | <o:LastAuthor>Kamal Barakat</o:LastAuthor> | ||
| - | <o:Revision>24</o:Revision> | ||
| - | <o:Created>2009-09-24T09:54:00Z</o:Created> | ||
| - | <o:LastSaved>2009-09-24T10:29:00Z</o:LastSaved> | ||
| - | <o:Pages>2</o:Pages> | ||
| - | <o:Words>1266</o:Words> | ||
| - | <o:Characters>7979</o:Characters> | ||
| - | <o:Company>RWTH Aachen</o:Company> | ||
| - | <o:Lines>66</o:Lines> | ||
| - | <o:Paragraphs>18</o:Paragraphs> | ||
| - | <o:CharactersWithSpaces>9227</o:CharactersWithSpaces> | ||
| - | <o:Version>12.00</o:Version> | ||
| - | </o:DocumentProperties> | ||
| - | </xml><![endif]--> | ||
| - | <link rel=dataStoreItem href="Projekt%20webseite-Dateien/item0001.xml" | ||
| - | target="Projekt%20webseite-Dateien/props0002.xml"> | ||
| - | <link rel=themeData href="Projekt%20webseite-Dateien/themedata.thmx"> | ||
| - | <link rel=colorSchemeMapping | ||
| - | href="Projekt%20webseite-Dateien/colorschememapping.xml"> | ||
| - | <!--[if gte mso 9]><xml> | ||
| - | <w:WordDocument> | ||
| - | <w:TrackMoves>false</w:TrackMoves> | ||
| - | <w:TrackFormatting/> | ||
| - | <w:HyphenationZone>21</w:HyphenationZone> | ||
| - | <w:PunctuationKerning/> | ||
| - | <w:ValidateAgainstSchemas/> | ||
| - | <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> | ||
| - | <w:IgnoreMixedContent>false</w:IgnoreMixedContent> | ||
| - | <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> | ||
| - | <w:DoNotPromoteQF/> | ||
| - | <w:LidThemeOther>DE</w:LidThemeOther> | ||
| - | <w:LidThemeAsian>X-NONE</w:LidThemeAsian> | ||
| - | <w:LidThemeComplexScript>AR-SA</w:LidThemeComplexScript> | ||
| - | <w:Compatibility> | ||
| - | <w:BreakWrappedTables/> | ||
| - | <w:SnapToGridInCell/> | ||
| - | <w:WrapTextWithPunct/> | ||
| - | <w:UseAsianBreakRules/> | ||
| - | <w:DontGrowAutofit/> | ||
| - | <w:SplitPgBreakAndParaMark/> | ||
| - | <w:DontVertAlignCellWithSp/> | ||
| - | <w:DontBreakConstrainedForcedTables/> | ||
| - | <w:DontVertAlignInTxbx/> | ||
| - | <w:Word11KerningPairs/> | ||
| - | <w:CachedColBalance/> | ||
| - | </w:Compatibility> | ||
| - | <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> | ||
| - | <m:mathPr> | ||
| - | <m:mathFont m:val="Cambria Math"/> | ||
| - | <m:brkBin m:val="before"/> | ||
| - | <m:brkBinSub m:val="--"/> | ||
| - | <m:smallFrac m:val="off"/> | ||
| - | <m:dispDef/> | ||
| - | <m:lMargin m:val="0"/> | ||
| - | <m:rMargin m:val="0"/> | ||
| - | <m:defJc m:val="centerGroup"/> | ||
| - | <m:wrapIndent m:val="1440"/> | ||
| - | <m:intLim m:val="subSup"/> | ||
| - | <m:naryLim m:val="undOvr"/> | ||
| - | </m:mathPr></w:WordDocument> | ||
| - | </xml><![endif]--><!--[if gte mso 9]><xml> | ||
| - | <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true" | ||
| - | DefSemiHidden="true" DefQFormat="false" DefPriority="99" | ||
| - | LatentStyleCount="267"> | ||
| - | <w:LsdException Locked="false" Priority="0" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Normal"/> | ||
| - | <w:LsdException Locked="false" Priority="9" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="heading 1"/> | ||
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/> | ||
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/> | ||
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/> | ||
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/> | ||
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/> | ||
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/> | ||
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/> | ||
| - | <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 1"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 2"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 3"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 4"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 5"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 6"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 7"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 8"/> | ||
| - | <w:LsdException Locked="false" Priority="39" Name="toc 9"/> | ||
| - | <w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/> | ||
| - | <w:LsdException Locked="false" Priority="10" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Title"/> | ||
| - | <w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/> | ||
| - | <w:LsdException Locked="false" Priority="11" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/> | ||
| - | <w:LsdException Locked="false" Priority="22" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Strong"/> | ||
| - | <w:LsdException Locked="false" Priority="20" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/> | ||
| - | <w:LsdException Locked="false" Priority="59" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Table Grid"/> | ||
| - | <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/> | ||
| - | <w:LsdException Locked="false" Priority="1" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/> | ||
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Shading"/> | ||
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light List"/> | ||
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Grid"/> | ||
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 1"/> | ||
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 2"/> | ||
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 1"/> | ||
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 2"/> | ||
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 1"/> | ||
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 2"/> | ||
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 3"/> | ||
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Dark List"/> | ||
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Shading"/> | ||
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful List"/> | ||
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Grid"/> | ||
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Shading Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light List Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Grid Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/> | ||
| - | <w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/> | ||
| - | <w:LsdException Locked="false" Priority="34" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/> | ||
| - | <w:LsdException Locked="false" Priority="29" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Quote"/> | ||
| - | <w:LsdException Locked="false" Priority="30" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/> | ||
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Dark List Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful List Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/> | ||
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Shading Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light List Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Grid Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Dark List Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful List Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/> | ||
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Shading Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light List Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Grid Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Dark List Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful List Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/> | ||
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Shading Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light List Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Grid Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Dark List Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful List Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/> | ||
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Shading Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light List Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Grid Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Dark List Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful List Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/> | ||
| - | <w:LsdException Locked="false" Priority="60" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Shading Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="61" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light List Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="62" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Light Grid Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="63" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="64" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="65" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="66" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="67" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="68" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="69" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="70" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Dark List Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="71" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="72" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful List Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="73" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/> | ||
| - | <w:LsdException Locked="false" Priority="19" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/> | ||
| - | <w:LsdException Locked="false" Priority="21" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/> | ||
| - | <w:LsdException Locked="false" Priority="31" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/> | ||
| - | <w:LsdException Locked="false" Priority="32" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/> | ||
| - | <w:LsdException Locked="false" Priority="33" SemiHidden="false" | ||
| - | UnhideWhenUsed="false" QFormat="true" Name="Book Title"/> | ||
| - | <w:LsdException Locked="false" Priority="37" Name="Bibliography"/> | ||
| - | <w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/> | ||
| - | </w:LatentStyles> | ||
| - | </xml><![endif]--> | ||
| - | |||
| - | <style> | ||
| - | <!-- | ||
| - | /* Font Definitions */ | ||
| - | @font-face | ||
| - | {font-family:"MS Mincho"; | ||
| - | panose-1:2 2 6 9 4 2 5 8 3 4; | ||
| - | mso-font-alt:"\FF2D\FF33 \660E\671D"; | ||
| - | mso-font-charset:128; | ||
| - | mso-generic-font-family:modern; | ||
| - | mso-font-pitch:fixed; | ||
| - | mso-font-signature:-1610612033 1757936891 16 0 131231 0;} | ||
| - | @font-face | ||
| - | {font-family:"Cambria Math"; | ||
| - | panose-1:2 4 5 3 5 4 6 3 2 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:roman; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:-1610611985 1107304683 0 0 159 0;} | ||
| - | @font-face | ||
| - | {font-family:Cambria; | ||
| - | panose-1:2 4 5 3 5 4 6 3 2 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:roman; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:-1610611985 1073741899 0 0 159 0;} | ||
| - | @font-face | ||
| - | {font-family:Calibri; | ||
| - | panose-1:2 15 5 2 2 2 4 3 2 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:swiss; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:-1610611985 1073750139 0 0 159 0;} | ||
| - | @font-face | ||
| - | {font-family:Tahoma; | ||
| - | panose-1:2 11 6 4 3 5 4 4 2 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:swiss; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:1627400839 -2147483648 8 0 66047 0;} | ||
| - | @font-face | ||
| - | {font-family:"Arial Black"; | ||
| - | panose-1:2 11 10 4 2 1 2 2 2 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:swiss; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:647 0 0 0 159 0;} | ||
| - | @font-face | ||
| - | {font-family:"Bradley Hand ITC"; | ||
| - | panose-1:3 7 4 2 5 3 2 3 2 3; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:script; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:3 0 0 0 1 0;} | ||
| - | @font-face | ||
| - | {font-family:"Script MT Bold"; | ||
| - | panose-1:3 4 6 2 4 6 7 8 9 4; | ||
| - | mso-font-charset:0; | ||
| - | mso-generic-font-family:script; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:3 0 0 0 1 0;} | ||
| - | @font-face | ||
| - | {font-family:"\@MS Mincho"; | ||
| - | panose-1:2 2 6 9 4 2 5 8 3 4; | ||
| - | mso-font-charset:128; | ||
| - | mso-generic-font-family:modern; | ||
| - | mso-font-pitch:fixed; | ||
| - | mso-font-signature:-1610612033 1757936891 16 0 131231 0;} | ||
| - | @font-face | ||
| - | {font-family:Aharoni; | ||
| - | panose-1:0 0 0 0 0 0 0 0 0 0; | ||
| - | mso-font-charset:177; | ||
| - | mso-generic-font-family:auto; | ||
| - | mso-font-pitch:variable; | ||
| - | mso-font-signature:2049 0 0 0 32 0;} | ||
| - | /* Style Definitions */ | ||
| - | p.MsoNormal, li.MsoNormal, div.MsoNormal | ||
| - | {mso-style-unhide:no; | ||
| - | mso-style-qformat:yes; | ||
| - | mso-style-parent:""; | ||
| - | margin:0cm; | ||
| - | margin-bottom:.0001pt; | ||
| - | mso-pagination:widow-orphan; | ||
| - | font-size:12.0pt; | ||
| - | font-family:"Times New Roman","serif"; | ||
| - | mso-fareast-font-family:"MS Mincho"; | ||
| - | mso-ansi-language:EN-US; | ||
| - | mso-fareast-language:JA;} | ||
| - | h1 | ||
| - | {mso-style-priority:9; | ||
| - | mso-style-unhide:no; | ||
| - | mso-style-qformat:yes; | ||
| - | mso-style-link:"Überschrift 1 Zchn"; | ||
| - | mso-style-next:Standard; | ||
| - | margin-top:24.0pt; | ||
| - | margin-right:0cm; | ||
| - | margin-bottom:0cm; | ||
| - | margin-left:0cm; | ||
| - | margin-bottom:.0001pt; | ||
| - | mso-pagination:widow-orphan lines-together; | ||
| - | page-break-after:avoid; | ||
| - | mso-outline-level:1; | ||
| - | font-size:14.0pt; | ||
| - | font-family:"Cambria","serif"; | ||
| - | mso-ascii-font-family:Cambria; | ||
| - | mso-ascii-theme-font:major-latin; | ||
| - | mso-fareast-font-family:"Times New Roman"; | ||
| - | mso-fareast-theme-font:major-fareast; | ||
| - | mso-hansi-font-family:Cambria; | ||
| - | mso-hansi-theme-font:major-latin; | ||
| - | mso-bidi-font-family:"Times New Roman"; | ||
| - | mso-bidi-theme-font:major-bidi; | ||
| - | color:#365F91; | ||
| - | mso-themecolor:accent1; | ||
| - | mso-themeshade:191; | ||
| - | mso-font-kerning:0pt; | ||
| - | mso-ansi-language:EN-US; | ||
| - | mso-fareast-language:JA;} | ||
| - | h2 | ||
| - | {mso-style-priority:9; | ||
| - | mso-style-qformat:yes; | ||
| - | mso-style-link:"Überschrift 2 Zchn"; | ||
| - | mso-style-next:Standard; | ||
| - | margin-top:12.0pt; | ||
| - | margin-right:0cm; | ||
| - | margin-bottom:3.0pt; | ||
| - | margin-left:0cm; | ||
| - | line-height:115%; | ||
| - | mso-pagination:widow-orphan; | ||
| - | page-break-after:avoid; | ||
| - | mso-outline-level:2; | ||
| - | font-size:14.0pt; | ||
| - | font-family:"Cambria","serif"; | ||
| - | mso-fareast-font-family:"Times New Roman"; | ||
| - | mso-bidi-font-family:"Times New Roman"; | ||
| - | mso-fareast-language:EN-US; | ||
| - | font-style:italic;} | ||
| - | p.MsoCaption, li.MsoCaption, div.MsoCaption | ||
| - | {mso-style-priority:35; | ||
| - | mso-style-qformat:yes; | ||
| - | mso-style-next:Standard; | ||
| - | margin-top:0cm; | ||
| - | margin-right:0cm; | ||
| - | margin-bottom:10.0pt; | ||
| - | margin-left:0cm; | ||
| - | mso-pagination:widow-orphan; | ||
| - | font-size:9.0pt; | ||
| - | font-family:"Times New Roman","serif"; | ||
| - | mso-fareast-font-family:"MS Mincho"; | ||
| - | color:#4F81BD; | ||
| - | mso-themecolor:accent1; | ||
| - | mso-ansi-language:EN-US; | ||
| - | mso-fareast-language:JA; | ||
| - | font-weight:bold;} | ||
| - | a:link, span.MsoHyperlink | ||
| - | {mso-style-noshow:yes; | ||
| - | mso-style-priority:99; | ||
| - | color:blue; | ||
| - | mso-themecolor:hyperlink; | ||
| - | text-decoration:underline; | ||
| - | text-underline:single;} | ||
| - | a:visited, span.MsoHyperlinkFollowed | ||
| - | {mso-style-noshow:yes; | ||
| - | mso-style-priority:99; | ||
| - | color:purple; | ||
| - | mso-themecolor:followedhyperlink; | ||
| - | text-decoration:underline; | ||
| - | text-underline:single;} | ||
| - | p.MsoAcetate, li.MsoAcetate, div.MsoAcetate | ||
| - | {mso-style-noshow:yes; | ||
| - | mso-style-priority:99; | ||
| - | mso-style-link:"Sprechblasentext Zchn"; | ||
| - | margin:0cm; | ||
| - | margin-bottom:.0001pt; | ||
| - | mso-pagination:widow-orphan; | ||
| - | font-size:8.0pt; | ||
| - | font-family:"Tahoma","sans-serif"; | ||
| - | mso-fareast-font-family:"MS Mincho"; | ||
| - | mso-ansi-language:EN-US; | ||
| - | mso-fareast-language:JA;} | ||
| - | span.berschrift1Zchn | ||
| - | {mso-style-name:"Überschrift 1 Zchn"; | ||
| - | mso-style-priority:9; | ||
| - | mso-style-unhide:no; | ||
| - | mso-style-locked:yes; | ||
| - | mso-style-link:"Überschrift 1"; | ||
| - | mso-ansi-font-size:14.0pt; | ||
| - | mso-bidi-font-size:14.0pt; | ||
| - | font-family:"Cambria","serif"; | ||
| - | mso-ascii-font-family:Cambria; | ||
| - | mso-ascii-theme-font:major-latin; | ||
| - | mso-fareast-font-family:"Times New Roman"; | ||
| - | mso-fareast-theme-font:major-fareast; | ||
| - | mso-hansi-font-family:Cambria; | ||
| - | mso-hansi-theme-font:major-latin; | ||
| - | mso-bidi-font-family:"Times New Roman"; | ||
| - | mso-bidi-theme-font:major-bidi; | ||
| - | color:#365F91; | ||
| - | mso-themecolor:accent1; | ||
| - | mso-themeshade:191; | ||
| - | mso-ansi-language:EN-US; | ||
| - | mso-fareast-language:JA; | ||
| - | font-weight:bold;} | ||
| - | span.berschrift2Zchn | ||
| - | {mso-style-name:"Überschrift 2 Zchn"; | ||
| - | mso-style-priority:9; | ||
| - | mso-style-unhide:no; | ||
| - | mso-style-locked:yes; | ||
| - | mso-style-link:"Überschrift 2"; | ||
| - | mso-ansi-font-size:14.0pt; | ||
| - | mso-bidi-font-size:14.0pt; | ||
| - | font-family:"Cambria","serif"; | ||
| - | mso-ascii-font-family:Cambria; | ||
| - | mso-fareast-font-family:"Times New Roman"; | ||
| - | mso-hansi-font-family:Cambria; | ||
| - | mso-bidi-font-family:"Times New Roman"; | ||
| - | font-weight:bold; | ||
| - | font-style:italic;} | ||
| - | span.SprechblasentextZchn | ||
| - | {mso-style-name:"Sprechblasentext Zchn"; | ||
| - | mso-style-noshow:yes; | ||
| - | mso-style-priority:99; | ||
| - | mso-style-unhide:no; | ||
| - | mso-style-locked:yes; | ||
| - | mso-style-link:Sprechblasentext; | ||
| - | mso-ansi-font-size:8.0pt; | ||
| - | mso-bidi-font-size:8.0pt; | ||
| - | font-family:"Tahoma","sans-serif"; | ||
| - | mso-ascii-font-family:Tahoma; | ||
| - | mso-fareast-font-family:"MS Mincho"; | ||
| - | mso-hansi-font-family:Tahoma; | ||
| - | mso-bidi-font-family:Tahoma; | ||
| - | mso-ansi-language:EN-US; | ||
| - | mso-fareast-language:JA;} | ||
| - | .MsoChpDefault | ||
| - | {mso-style-type:export-only; | ||
| - | mso-default-props:yes; | ||
| - | font-size:10.0pt; | ||
| - | mso-ansi-font-size:10.0pt; | ||
| - | mso-bidi-font-size:10.0pt; | ||
| - | mso-ascii-font-family:Calibri; | ||
| - | mso-ascii-theme-font:minor-latin; | ||
| - | mso-fareast-font-family:Calibri; | ||
| - | mso-fareast-theme-font:minor-latin; | ||
| - | mso-hansi-font-family:Calibri; | ||
| - | mso-hansi-theme-font:minor-latin; | ||
| - | mso-bidi-font-family:"Times New Roman"; | ||
| - | mso-bidi-theme-font:minor-bidi; | ||
| - | mso-fareast-language:EN-US;} | ||
| - | @page Section1 | ||
| - | {size:595.3pt 841.9pt; | ||
| - | margin:70.85pt 70.85pt 2.0cm 70.85pt; | ||
| - | mso-header-margin:35.4pt; | ||
| - | mso-footer-margin:35.4pt; | ||
| - | mso-paper-source:0;} | ||
| - | div.Section1 | ||
| - | {page:Section1;} | ||
| - | /* List Definitions */ | ||
| - | @list l0 | ||
| - | {mso-list-id:736167216; | ||
| - | mso-list-type:hybrid; | ||
| - | mso-list-template-ids:1693595538 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | ||
| - | @list l0:level1 | ||
| - | {mso-level-number-format:bullet; | ||
| - | mso-level-text:\F0B7; | ||
| - | mso-level-tab-stop:none; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt; | ||
| - | font-family:Symbol;} | ||
| - | @list l0:level2 | ||
| - | {mso-level-tab-stop:72.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level3 | ||
| - | {mso-level-tab-stop:108.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level4 | ||
| - | {mso-level-tab-stop:144.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level5 | ||
| - | {mso-level-tab-stop:180.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level6 | ||
| - | {mso-level-tab-stop:216.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level7 | ||
| - | {mso-level-tab-stop:252.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level8 | ||
| - | {mso-level-tab-stop:288.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l0:level9 | ||
| - | {mso-level-tab-stop:324.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1 | ||
| - | {mso-list-id:756679102; | ||
| - | mso-list-type:hybrid; | ||
| - | mso-list-template-ids:782923292 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | ||
| - | @list l1:level1 | ||
| - | {mso-level-number-format:bullet; | ||
| - | mso-level-text:\F0B7; | ||
| - | mso-level-tab-stop:none; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt; | ||
| - | font-family:Symbol;} | ||
| - | @list l1:level2 | ||
| - | {mso-level-tab-stop:72.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level3 | ||
| - | {mso-level-tab-stop:108.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level4 | ||
| - | {mso-level-tab-stop:144.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level5 | ||
| - | {mso-level-tab-stop:180.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level6 | ||
| - | {mso-level-tab-stop:216.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level7 | ||
| - | {mso-level-tab-stop:252.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level8 | ||
| - | {mso-level-tab-stop:288.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l1:level9 | ||
| - | {mso-level-tab-stop:324.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2 | ||
| - | {mso-list-id:2141721082; | ||
| - | mso-list-type:hybrid; | ||
| - | mso-list-template-ids:-1980831990 67567617 67567619 67567621 67567617 67567619 67567621 67567617 67567619 67567621;} | ||
| - | @list l2:level1 | ||
| - | {mso-level-number-format:bullet; | ||
| - | mso-level-text:\F0B7; | ||
| - | mso-level-tab-stop:none; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt; | ||
| - | font-family:Symbol;} | ||
| - | @list l2:level2 | ||
| - | {mso-level-tab-stop:72.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level3 | ||
| - | {mso-level-tab-stop:108.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level4 | ||
| - | {mso-level-tab-stop:144.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level5 | ||
| - | {mso-level-tab-stop:180.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level6 | ||
| - | {mso-level-tab-stop:216.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level7 | ||
| - | {mso-level-tab-stop:252.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level8 | ||
| - | {mso-level-tab-stop:288.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | @list l2:level9 | ||
| - | {mso-level-tab-stop:324.0pt; | ||
| - | mso-level-number-position:left; | ||
| - | text-indent:-18.0pt;} | ||
| - | ol | ||
| - | {margin-bottom:0cm;} | ||
| - | ul | ||
| - | {margin-bottom:0cm;} | ||
| - | --> | ||
| - | </style> | ||
| - | <!--[if gte mso 10]> | ||
| - | <style> | ||
| - | /* Style Definitions */ | ||
| - | table.MsoNormalTable | ||
| - | {mso-style-name:"Normale Tabelle"; | ||
| - | mso-tstyle-rowband-size:0; | ||
| - | mso-tstyle-colband-size:0; | ||
| - | mso-style-noshow:yes; | ||
| - | mso-style-priority:99; | ||
| - | mso-style-qformat:yes; | ||
| - | mso-style-parent:""; | ||
| - | mso-padding-alt:0cm 5.4pt 0cm 5.4pt; | ||
| - | mso-para-margin:0cm; | ||
| - | mso-para-margin-bottom:.0001pt; | ||
| - | mso-pagination:widow-orphan; | ||
| - | font-size:10.0pt; | ||
| - | font-family:"Calibri","sans-serif"; | ||
| - | mso-ascii-font-family:Calibri; | ||
| - | mso-ascii-theme-font:minor-latin; | ||
| - | mso-hansi-font-family:Calibri; | ||
| - | mso-hansi-theme-font:minor-latin; | ||
| - | mso-fareast-language:EN-US;} | ||
| - | table.MsoTableGrid | ||
| - | {mso-style-name:Tabellengitternetz; | ||
| - | mso-tstyle-rowband-size:0; | ||
| - | mso-tstyle-colband-size:0; | ||
| - | mso-style-priority:59; | ||
| - | mso-style-unhide:no; | ||
| - | border:solid black 1.0pt; | ||
| - | mso-border-themecolor:text1; | ||
| - | mso-border-alt:solid black .5pt; | ||
| - | mso-border-themecolor:text1; | ||
| - | mso-padding-alt:0cm 5.4pt 0cm 5.4pt; | ||
| - | mso-border-insideh:.5pt solid black; | ||
| - | mso-border-insideh-themecolor:text1; | ||
| - | mso-border-insidev:.5pt solid black; | ||
| - | mso-border-insidev-themecolor:text1; | ||
| - | mso-para-margin:0cm; | ||
| - | mso-para-margin-bottom:.0001pt; | ||
| - | mso-pagination:widow-orphan; | ||
| - | font-size:11.0pt; | ||
| - | font-family:"Calibri","sans-serif"; | ||
| - | mso-ascii-font-family:Calibri; | ||
| - | mso-ascii-theme-font:minor-latin; | ||
| - | mso-hansi-font-family:Calibri; | ||
| - | mso-hansi-theme-font:minor-latin; | ||
| - | mso-fareast-language:EN-US;} | ||
| - | </style> | ||
| - | <![endif]--><!--[if gte mso 9]><xml> | ||
| - | <o:shapedefaults v:ext="edit" spidmax="6146"/> | ||
| - | </xml><![endif]--><!--[if gte mso 9]><xml> | ||
| - | <o:shapelayout v:ext="edit"> | ||
| - | <o:idmap v:ext="edit" data="1"/> | ||
| - | </o:shapelayout></xml><![endif]--> | ||
| - | </head> | ||
| - | |||
| - | <body lang=DE link=blue vlink=purple style='tab-interval:35.4pt'> | ||
| - | |||
| - | <div class=Section1> | ||
| - | |||
| - | <div align=center> | ||
| - | |||
| - | <table class=MsoTableGrid border=0 cellspacing=0 cellpadding=0 width="100%" | ||
| - | style='width:100.0%;border-collapse:collapse;border:none;mso-yfti-tbllook: | ||
| - | 1184;mso-padding-alt:0cm 2.0cm 0cm 2.0cm;mso-border-insideh:none;mso-border-insidev: | ||
| - | none'> | ||
| - | <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <h1><span lang=EN-US style='font-size:22.0pt'>Applying Formal Methods for QoS | ||
| - | Provisioning in Mobile Architectures<o:p></o:p></span></h1> | ||
| - | |||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><!--[if gte vml 1]><v:shapetype | ||
| - | id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t" | ||
| - | path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f"> | ||
| - | <v:stroke joinstyle="miter"/> | ||
| - | <v:formulas> | ||
| - | <v:f eqn="if lineDrawn pixelLineWidth 0"/> | ||
| - | <v:f eqn="sum @0 1 0"/> | ||
| - | <v:f eqn="sum 0 0 @1"/> | ||
| - | <v:f eqn="prod @2 1 2"/> | ||
| - | <v:f eqn="prod @3 21600 pixelWidth"/> | ||
| - | <v:f eqn="prod @3 21600 pixelHeight"/> | ||
| - | <v:f eqn="sum @0 0 1"/> | ||
| - | <v:f eqn="prod @6 1 2"/> | ||
| - | <v:f eqn="prod @7 21600 pixelWidth"/> | ||
| - | <v:f eqn="sum @8 21600 0"/> | ||
| - | <v:f eqn="prod @7 21600 pixelHeight"/> | ||
| - | <v:f eqn="sum @10 21600 0"/> | ||
| - | </v:formulas> | ||
| - | <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/> | ||
| - | <o:lock v:ext="edit" aspectratio="t"/> | ||
| - | </v:shapetype><v:shape id="Bild_x0020_14" o:spid="_x0000_s1055" type="#_x0000_t75" | ||
| - | alt="komplex" style='position:absolute;left:0;text-align:left;margin-left:151.25pt; | ||
| - | margin-top:12.4pt;width:191.25pt;height:176.25pt;z-index:2;visibility:visible; | ||
| - | mso-wrap-style:square;mso-wrap-distance-left:28.35pt; | ||
| - | mso-wrap-distance-top:14.2pt;mso-wrap-distance-right:28.35pt; | ||
| - | mso-wrap-distance-bottom:14.2pt;mso-position-horizontal:right; | ||
| - | mso-position-horizontal-relative:text;mso-position-vertical:absolute; | ||
| - | mso-position-vertical-relative:text'> | ||
| - | <v:imagedata src="image001.jpg" o:title="komplex"/> | ||
| - | <w:wrap type="square" side="left"/> | ||
| - | </v:shape><![endif]--><![if !vml]><img width=255 height=235 | ||
| - | src="image007.jpg" align=right hspace=38 | ||
| - | vspace=19 alt=komplex v:shapes="Bild_x0020_14"><![endif]><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>This project | ||
| - | focuses on the application of formal methods to model and manage QoS for | ||
| - | Network Mobility. The field of network mobility is gaining ground in | ||
| - | telecommunications because of the evolution of broadband technologies and the | ||
| - | increasing applications that demand broadband access, e.g. connectivity in | ||
| - | public transportation and IMS. Network Mobility is the field that considers | ||
| - | sets of mobile devices moving together as one entity with one or more access | ||
| - | points which are called mobile routers. These networks are standardized under | ||
| - | the IETF-RFC3963 specification also known as NEMO Basic Support, while QoS | ||
| - | challenges are described in IETF-RFC4980. NEMO BS is an extension to MIPv6 | ||
| - | described under IETF-RFC3775. Mobile routers can possess multiple Radio | ||
| - | Access Technologies (RATs) and have to perform real-time operations, e.g. | ||
| - | handover, managing binding updates, merging/splitting mobile networks and | ||
| - | managing QoS. The intelligent management of mobility, data streams of | ||
| - | different QoS requirements and the available RATs makes the formalization of | ||
| - | this problem a necessity due to its complexity. The importance of this study | ||
| - | comes from the industry focus on network operator’s IP services, especially | ||
| - | IMS. NEMO BS provides a solution for this system and at the same time | ||
| - | requires investment in research to improve QoS.<o:p></o:p></span></p> | ||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:1'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | ||
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Work Plan<o:p></o:p></span></h2> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>This | ||
| - | work consists of two main parts; building the formal model and simulating the | ||
| - | NEMO protocol. These parts are to be run in parallel to achieve | ||
| - | interdependability. This means that simulation measurements will be used to | ||
| - | support theoretic hypothesis made by the formalized description of the QoS | ||
| - | problem. On the other hand, formal tools have to<span style='mso-no-proof: | ||
| - | yes'> </span><span style='mso-spacerun:yes'> </span>be implemented in order | ||
| - | to be able to incorporate extensions which in turn will allow making | ||
| - | predictions of the behavior of the modeled system in a similar way to | ||
| - | simulations. This means that these tools will be designed to be able to | ||
| - | generate quantitative as well as qualitative conclusions.<o:p></o:p></span></p> | ||
| - | |||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:2'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | ||
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>The Formal | ||
| - | Model<o:p></o:p></span></h2> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | ||
| - | lang=EN-US style='font-size:100.0pt;font-family:"Bradley Hand ITC"; | ||
| - | mso-bidi-font-family:Arial;color:#0070C0'>π</span><b><span lang=EN-US | ||
| - | style='font-size:28.0pt;font-family:"Script MT Bold";mso-bidi-font-family: | ||
| - | Arial'>Calculus</span></b><span lang=EN-US style='font-size:72.0pt; | ||
| - | font-family:"Bradley Hand ITC";mso-bidi-font-family:Arial'><o:p></o:p></span></p> | ||
| - | </td> | ||
| - | |||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:3'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus | ||
| - | is a modeling formality that focuses on communicating processes. It offers | ||
| - | firm representation of connectivity and messaging using math-like | ||
| - | expressions. Π-Calculus had initially a monadic syntax where single | ||
| - | arguments are passed through channels. Later on, polyadic π-Calculus was | ||
| - | introduced to allow pushing sets of arguments at once over the communication | ||
| - | channels. Process replication was also introduced. In the higher order | ||
| - | π-Calculus, process names can be exchanged through the channels too. | ||
| - | Some research uses available syntax to express problems like QoS while others | ||
| - | ground their own flavor of it by introducing modifications to the syntax like | ||
| - | spi-Calculus which is specifically suitable for cryptology. One more example | ||
| - | is Ambient-Calculus which concerns itself with defining computation domains | ||
| - | or ambiences where communication between local processes happens within its | ||
| - | boundary, ambiences can move and communication crossing the border is | ||
| - | analogous to crossing firewalls. The extensibility, expressiveness, | ||
| - | flexibility and firm formality of π-Calculus make it the most suitable | ||
| - | tool for modeling communication protocols and prototypes of enhancements. | ||
| - | This work aims to make further contributions to π-Calculus in order to | ||
| - | achieve the following:</span><span lang=EN-US style='font-size:10.0pt; | ||
| - | font-family:"Arial","sans-serif";mso-fareast-language:DE;mso-no-proof:yes'> <o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | |||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus is | ||
| - | founded on the principle of state automata. Consequently, processes in | ||
| - | π-Calculus interact and switch their states upon reception of messages | ||
| - | over communication channels, which means that message reception among | ||
| - | processes triggers the interaction and causes the system to evolve. However, | ||
| - | modeling real-world systems needs more than that. The notion of time is | ||
| - | currently unavailable in the syntax of π-Calculus, which makes it | ||
| - | unsuitable for performing simulations in which particular events take place | ||
| - | at certain points of time, e.g. time-out events. In this work we aim to | ||
| - | introduce a new component in the syntax of π-Calculus to enable it to | ||
| - | model timed events.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Π-Calculus is | ||
| - | suitable for deducing qualitative conclusions about processes’ interaction | ||
| - | and states. However, more meaningful verification results can be made when | ||
| - | quantitative conclusions are made from the π-Calculus model such as | ||
| - | bandwidth utilization and power consumption. This can be done if the notion | ||
| - | of time was present in the model. Available tools for π-Calculus have | ||
| - | limitations to be covered, e.g. polyadic π-Calculus has to be supported | ||
| - | in order to be able to model process replication. Otherwise, polyadic systems | ||
| - | have to be downgraded to monadic syntax which is unrealistic for complex | ||
| - | systems.<o:p></o:p></span></p> | ||
| - | |||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>There have been | ||
| - | models suggested about using π-Calculus to model QoS supervision in | ||
| - | telecommunication networks. As our work touches the foundations of | ||
| - | π-Calculus, we would like to see how these changes will affect the | ||
| - | suggested models and how we can improve them.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>A π-Calculus | ||
| - | model for NEMO BS has to be built as described in RFC3963. Software | ||
| - | development of the protocol under the simulation tool and QoS enhancements | ||
| - | should be based on this model. This is important to ensure strong analogy | ||
| - | interrelationships between simulation measurements and the qualitative | ||
| - | deductions made from the formal model.<span style='mso-spacerun:yes'> | ||
| - | </span><o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l1 level1 lfo2'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | |||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Depending on the | ||
| - | interdependency between simulation and formal model verification results | ||
| - | further studies can evolve to explain observed phenomena and try to set rules | ||
| - | to make this relation deterministic.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>The | ||
| - | ability to make realistic assessments of modeled systems before the | ||
| - | implementation phase using formal model checking techniques has several | ||
| - | advantages:<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It will be possible | ||
| - | on basis of the qualitative attributes of the suggested model to judge | ||
| - | whether it answers the requirements it is meant to satisfy.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | |||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It allows | ||
| - | quantitatively comparing formal models and making early choices about | ||
| - | modifications and improvements.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l0 level1 lfo4'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>It shortens the | ||
| - | software development cycle by limiting the need to go back to the model and | ||
| - | make modifications for issues discovered after implementation.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | </td> | ||
| - | </tr> | ||
| - | |||
| - | <tr style='mso-yfti-irow:4'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | ||
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Simulating | ||
| - | the Protocol<o:p></o:p></span></h2> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><b><span | ||
| - | style='font-size:48.0pt;font-family:"Arial Black","sans-serif";mso-bidi-font-family: | ||
| - | Aharoni;mso-ansi-language:DE;mso-fareast-language:DE;mso-no-proof:yes'><!--[if gte vml 1]><v:shape | ||
| - | id="Bild_x0020_15" o:spid="_x0000_i1025" type="#_x0000_t75" style='width:231pt; | ||
| - | height:45.75pt;visibility:visible;mso-wrap-style:square'> | ||
| - | <v:imagedata src="image008.png" o:title=""/> | ||
| - | </v:shape><![endif]--><![if !vml]><img width=308 height=61 | ||
| - | src="image009.jpg" v:shapes="Bild_x0020_15"><![endif]></span></b><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p></o:p></span></p> | ||
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | ||
| - | style='font-size:10.0pt;line-height:115%;font-family:"Arial","sans-serif"; | ||
| - | mso-ansi-language:EN-US'><o:p> </o:p></span></h2> | ||
| - | |||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:5'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'>For this | ||
| - | purpose OPNET Modeler® is being used under university licensing. This | ||
| - | simulator contains a huge library of standardized protocols and devices as | ||
| - | well as commercial ones, e.g. MIPv6 and mobile routers. The hierarchical | ||
| - | structure of components and their modular design shortens the time required | ||
| - | to develop own devices and extend particular protocols. To complete the | ||
| - | required infrastructure for performing simulations the following tasks are | ||
| - | ahead:</span><span lang=EN-US style='font-size:1.0pt;mso-fareast-font-family: | ||
| - | "Times New Roman";color:black;background:black;mso-ansi-language:X-NONE; | ||
| - | mso-fareast-language:X-NONE;mso-bidi-language:X-NONE;layout-grid-mode:line'> </span><span | ||
| - | style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman";color:black; | ||
| - | background:black;mso-ansi-language:DE;mso-fareast-language:X-NONE;mso-bidi-language: | ||
| - | X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | ||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:6'> | ||
| - | |||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <h2 align=center style='margin-bottom:6.0pt;text-align:center;mso-outline-level: | ||
| - | 2'><!--[if gte vml 1]><o:wrapblock><v:shape id="Bild_x0020_18" o:spid="_x0000_s1054" | ||
| - | type="#_x0000_t75" alt="architecture_lrg" style='position:absolute;left:0; | ||
| - | text-align:left;margin-left:0;margin-top:-118.45pt;width:306pt;height:358.5pt; | ||
| - | z-index:1;visibility:visible;mso-wrap-style:square; | ||
| - | mso-wrap-distance-left:9pt;mso-wrap-distance-top:0; | ||
| - | mso-wrap-distance-right:9pt;mso-wrap-distance-bottom:0; | ||
| - | mso-position-horizontal:center;mso-position-horizontal-relative:text; | ||
| - | mso-position-vertical:absolute;mso-position-vertical-relative:text'> | ||
| - | <v:imagedata src="image010.gif" o:title="architecture_lrg"/> | ||
| - | <w:wrap type="topAndBottom"/> | ||
| - | </v:shape><![endif]--><![if !vml]><img width=408 height=478 | ||
| - | src="image011.jpg" alt="architecture_lrg" v:shapes="Bild_x0020_18"><![endif]><!--[if gte vml 1]></o:wrapblock><![endif]--><br | ||
| - | style='mso-ignore:vglayout' clear=ALL> | ||
| - | <span lang=EN-US style='font-size:10.0pt;line-height:115%;font-family:"Arial","sans-serif"; | ||
| - | mso-fareast-font-family:"MS Mincho";color:#548DD4;mso-themecolor:text2; | ||
| - | mso-themetint:153;mso-ansi-language:EN-US;mso-fareast-language:JA;font-weight: | ||
| - | normal;font-style:normal'>Copyright OPNET Technologies, Inc.®<o:p></o:p></span></h2> | ||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:7'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | ||
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | ||
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | ||
| - | |||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Create a multi-RAT | ||
| - | router on which the NEMO BS protocol is going to be run. Multiple RAT | ||
| - | interfaces are necessary to study the effect of access technology switching | ||
| - | on ongoing data sessions and to test possible QoS enhancements and | ||
| - | strategies. This router shares its network layer between the different RATs | ||
| - | by setting MIPv6 on top of Link Layer (LL) and Radio Resource Control (RRC) | ||
| - | layers of available RATs. Each RAT will have its own physical, MAC, LL, Radio | ||
| - | Link Control (RLC) and RRC of its own. On top of MIPv6 NEMO BS is going to be | ||
| - | implemented. This structure allows for unified session management and QoS | ||
| - | control. For this research, WiFi, WiMAX and UMTS are going to be the RATs of | ||
| - | our mobile routers.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Create core-network | ||
| - | components that will provide the required messaging to perform handover and | ||
| - | domain administration. These components are described in 3GPP-23.401 and | ||
| - | 3GPP-23.402. These specifications describe network structure for different | ||
| - | scenarios (homing or visiting) in addition to mobility management, network | ||
| - | selection, network access strategies and QoS provisioning.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | |||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>NEMO BS has to be | ||
| - | modeled using our extensions of π-Calculus. Afterwards, the protocol can | ||
| - | be implemented for simulation based on the prototyped model. This has to be | ||
| - | done in this order because strong interdependency between simulation and | ||
| - | formalization is required for further study purposes.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Extend MIPv6 to | ||
| - | include NEMO BS as described in RFC3963 and according to the prototyped | ||
| - | π-Calculus model. To allow code-reuse NEMO BS will be written above an | ||
| - | abstraction layer that will integrate it with OPNET.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Integrate the NEMO | ||
| - | BS extension with OPNET. At this point, full functionality of NEMO BS should | ||
| - | be available for testing.<o:p></o:p></span></p> | ||
| - | |||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Create test | ||
| - | scenarios for use with simulations. These scenarios will be based on the use | ||
| - | cases described in 3GPP-22.259. This document describes use-cases for PANs in | ||
| - | IMS for which NEMO BS represents a suitable solution. This particular | ||
| - | approach has been chosen in order to keep a close to industry requirements.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Collect baseline | ||
| - | measurements against which QoS improvements are going to be evaluated.<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal style='margin-top:0cm;margin-right:0cm;margin-bottom:6.0pt; | ||
| - | margin-left:17.85pt;text-align:justify;text-indent:-17.85pt;mso-list:l2 level1 lfo6'><![if !supportLists]><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:Symbol;mso-fareast-font-family: | ||
| - | Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<span | ||
| - | style='font:7.0pt "Times New Roman"'>         | ||
| - | </span></span></span><![endif]><span dir=LTR></span><span lang=EN-US | ||
| - | style='font-size:10.0pt;font-family:"Arial","sans-serif"'>Modify the | ||
| - | implementation of NEMO BS to propagate the QoS improvements made using the π-Calculus | ||
| - | based model and collect simulation measurements. These measurements will be | ||
| - | compared with the baseline results to assess the improvements. In addition, | ||
| - | they will be semantically compared to the quantitative attributes of the QoS | ||
| - | improved model to see how these results match or differ.<o:p></o:p></span></p> | ||
| - | |||
| - | <h2 style='margin-bottom:6.0pt;text-align:justify;mso-outline-level:2'><span | ||
| - | lang=EN-US style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'><o:p> </o:p></span></h2> | ||
| - | <p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;mso-fareast-language: | ||
| - | EN-US'><o:p> </o:p></span></p> | ||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:8'> | ||
| - | <td width="100%" colspan=3 valign=top style='width:100.0%;padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <h2 style='margin-bottom:6.0pt;text-align:justify'><span lang=EN-US | ||
| - | style='font-family:"Arial","sans-serif";mso-ansi-language:EN-US'>Contact<o:p></o:p></span></h2> | ||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | ||
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | ||
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | ||
| - | |||
| - | </td> | ||
| - | </tr> | ||
| - | <tr style='mso-yfti-irow:9;mso-yfti-lastrow:yes'> | ||
| - | <td width="33%" style='width:33.34%;border-top:none;border-left:solid windowtext 1.0pt; | ||
| - | border-bottom:solid windowtext 1.0pt;border-right:none;mso-border-left-alt: | ||
| - | solid windowtext .5pt;mso-border-bottom-alt:solid windowtext .5pt;padding: | ||
| - | 0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal align=center style='text-align:center'><span lang=EN-US | ||
| - | style='font-size:11.0pt'>Kamal Barakat<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | ||
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | ||
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | ||
| - | X-NONE;layout-grid-mode:line'><o:p> </o:p></span></p> | ||
| - | </td> | ||
| - | <td width="33%" style='width:33.34%;border-top:solid windowtext 1.0pt; | ||
| - | border-left:none;border-bottom:solid windowtext 1.0pt;border-right:none; | ||
| - | mso-border-top-alt:solid windowtext .5pt;mso-border-bottom-alt:solid windowtext .5pt; | ||
| - | padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | |||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | ||
| - | lang=EN-US style='font-size:11.0pt'><a | ||
| - | href="mailto:Barakat@embedded.rwth-aachen.de">barakat [at] embedded [dot] | ||
| - | rwth-aachen [dot] de</a></span><span lang=EN-US style='font-size:1.0pt; | ||
| - | mso-fareast-font-family:"Times New Roman";color:black;background:black; | ||
| - | mso-fareast-language:X-NONE;mso-bidi-language:X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | ||
| - | </td> | ||
| - | <td width="33%" style='width:33.32%;border-top:solid windowtext 1.0pt; | ||
| - | border-left:none;border-bottom:none;border-right:solid windowtext 1.0pt; | ||
| - | mso-border-top-alt:solid windowtext .5pt;mso-border-right-alt:solid windowtext .5pt; | ||
| - | padding:0cm 2.0cm 0cm 2.0cm'> | ||
| - | <p class=MsoNormal align=center style='text-align:center'><span lang=EN-US | ||
| - | style='font-size:11.0pt'>Tel. +49 (241) 80 21171<o:p></o:p></span></p> | ||
| - | <p class=MsoNormal align=center style='margin-bottom:6.0pt;text-align:center'><span | ||
| - | lang=EN-US style='font-size:11.0pt'>Fax +49 (241) 80 22150</span><span | ||
| - | lang=EN-US style='font-size:1.0pt;mso-fareast-font-family:"Times New Roman"; | ||
| - | color:black;background:black;mso-fareast-language:X-NONE;mso-bidi-language: | ||
| - | X-NONE;layout-grid-mode:line'><o:p></o:p></span></p> | ||
| - | </td> | ||
| - | </tr> | ||
| - | |||
| - | </table> | ||
| - | |||
| - | </div> | ||
| - | |||
| - | <p class=MsoNormal style='margin-bottom:6.0pt;text-align:justify'><span | ||
| - | lang=EN-US style='font-size:10.0pt;font-family:"Arial","sans-serif"'><o:p> </o:p></span></p> | ||
| - | |||
| - | <p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p> | ||
| - | |||
| - | </div> | ||
| - | |||
| - | </body> | ||
| - | |||
| - | </html> | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | </html> | ||