1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
<html xmlns:v="urn:schemas-microsoft-com:vml"
xmlns:o="urn:schemas-microsoft-com:office:office"
xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
<meta name=ProgId content=PowerPoint.Slide>
<meta name=Generator content="Microsoft PowerPoint 9">
<link id=Main-File rel=Main-File href="../slides2.htm">
<link rel=Preview href=preview.wmf>
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
p\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
v\:textbox {display:none;}
</style>
<![endif]-->
<title>Developing a Framework for Simulation, Verification and Testing of SDL
Specifications</title>
<meta name=Description content="3-Nov-00: Communication Network Translation">
<link rel=Stylesheet href="master03_stylesheet.css">
<![if !ppt]>
<style media=print>
<!--.sld
{left:0px !important;
width:6.0in !important;
height:4.5in !important;
font-size:107% !important;}
-->
</style>
<script src=script.js></script><script><!--
gId="slide0027.htm"
if( !IsNts() ) Redirect( "PPTSld", gId );
//-->
</script><!--[if vml]><script>g_vml = 1;
</script><![endif]--><script for=window event=onload><!--
if( !IsSldOrNts() ) return;
if( MakeNotesVis() ) return;
LoadSld( gId );
MakeSldVis(0);
//-->
</script><![endif]><o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="35"/>
</o:shapelayout>
</head>
<body lang=EN-US style='margin:0px;background-color:white'
onclick="DocumentOnClick()" onresize="_RSW()" onkeypress="_KPH()">
<div id=SlideObj class=sld style='position:absolute;top:0px;left:0px;
width:534px;height:400px;font-size:16px;background-color:white;clip:rect(0%, 101%, 101%, 0%);
visibility:hidden'><p:slide coordsize="720,540"
colors="#FFFFFF,#000000,#808080,#000000,#00CC99,#3333CC,#CCCCFF,#B2B2B2"
masterhref="master03.xml">
<p:shaperange href="master03.xml#_x0000_s1025"/><![if !ppt]><p:shaperange
href="master03.xml#_x0000_s1028"/><p:shaperange
href="master03.xml#_x0000_s1029"/><![endif]><p:shaperange
href="master03.xml#_x0000_m1026"/><v:shape id="_x0000_s35842" type="#_x0000_m1026"
style='position:absolute;left:0;top:31.125pt;width:10in;height:112.75pt;
mso-wrap-style:square'>
<v:fill o:detectmouseclick="f"/>
<v:stroke o:forcedash="f"/>
<o:lock v:ext="edit" text="f"/>
<v:textbox style='mso-fit-shape-to-text:t'/>
<p:placeholder type="title"/></v:shape><p:shaperange
href="master03.xml#_x0000_m1027"/><v:shape id="_x0000_s35843" type="#_x0000_m1027"
style='position:absolute;left:12pt;top:175.25pt;width:690pt;height:333.625pt'>
<v:fill o:detectmouseclick="f"/>
<v:stroke o:forcedash="f"/>
<o:lock v:ext="edit" text="f"/>
<v:textbox style='mso-fit-shape-to-text:t'/>
<p:placeholder type="body" position="1"/></v:shape>
<div v:shape="_x0000_s35842" class=T><span style='position:absolute;
top:6.5%;left:.93%;width:98.12%'>Communication Network <br>
</span><span
style='position:absolute;top:16.25%;left:.93%;width:98.12%'>Translation</span></div>
<div v:shape="_x0000_s35843" class=B><span style='position:absolute;
top:33.0%;left:6.36%;width:102.99%'><span style='font-size:88%'><span
style='mso-special-format:bullet;position:absolute;left:-3.63%'>�</span></span><span
style='font-size:88%'>Paths consisting of several links are collapsed into </span></span><span
style='position:absolute;top:39.25%;left:6.36%;width:90.26%'><span
style='font-size:88%'>multi-component single entities </span></span>
<div style='position:absolute;top:46.75%;left:2.62%;width:94.0%;height:6.5%'><span
style='position:absolute;top:0%;left:3.98%;width:96.01%'><span
style='font-size:88%'><span style='mso-special-format:bullet;position:absolute;
left:-4.14%'>�</span></span><span style='font-size:88%'>Instantaneous paths:
</span></span></div>
<div style='text-align:center;position:absolute;top:54.25%;left:2.62%;
width:94.0%;height:5.25%'><span style='mso-special-format:nobullet;display:
none'>�</span><span style='font-family:"Courier New";font-size:75%;color:#5F5F5F'><b>(source
destination route-name) </b></span></div>
<div style='position:absolute;top:60.75%;left:2.62%;width:94.0%;height:6.5%'><span
style='position:absolute;top:0%;left:3.98%;width:96.01%'><span
style='font-size:88%'><span style='mso-special-format:bullet;position:absolute;
left:-4.14%'>�</span></span><span style='font-size:88%'>Delaying paths: </span></span></div>
<div style='text-align:center;position:absolute;top:68.25%;left:-.74%;
width:100.74%;height:5.25%'><span style='mso-special-format:nobullet;
display:none'>�</span><span style='font-family:"Courier New";font-size:75%;
color:#5F5F5F'><b>(source destination (member routes) queue) </b></span></div>
<div style='position:absolute;top:74.5%;left:2.62%;width:94.0%;height:6.5%'><span
style='position:absolute;top:0%;left:3.98%;width:96.01%'><span
style='font-size:88%'><span style='mso-special-format:bullet;position:absolute;
left:-4.14%'>�</span></span><span style='font-size:88%'>Network from
example: </span></span></div>
<div style='text-align:center;position:absolute;top:82.0%;left:2.62%;
width:94.0%;height:5.25%'><span style='mso-special-format:nobullet;display:
none'>�</span><span style='font-family:"Courier New";font-size:75%;color:#5F5F5F'><b>(sender
receiver (out1 link in2) nil) </b></span></div>
<div style='text-align:center;position:absolute;top:88.5%;left:2.62%;
width:94.0%;height:5.25%'><span style='mso-special-format:nobullet;display:
none'>�</span><span style='font-family:"Courier New";font-size:75%;color:#5F5F5F'><b>(receiver
sender (out2 link in1) nil)</b></span></div>
</div>
</p:slide></div>
</body>
</html>
|