diff options
Diffstat (limited to 'books/workshops/2000/shumsky/slides2_files/slide0028.htm')
-rw-r--r-- | books/workshops/2000/shumsky/slides2_files/slide0028.htm | 131 |
1 files changed, 131 insertions, 0 deletions
diff --git a/books/workshops/2000/shumsky/slides2_files/slide0028.htm b/books/workshops/2000/shumsky/slides2_files/slide0028.htm new file mode 100644 index 0000000..0000d5e --- /dev/null +++ b/books/workshops/2000/shumsky/slides2_files/slide0028.htm @@ -0,0 +1,131 @@ +<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> +<link rel=OLE-Object-Data href=oledata.mso> +<!--[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: Translator Correctness"> +<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="slide0028.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="38"/> +</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_s38914" type="#_x0000_m1026" + style='position:absolute;left:45.5pt;top:16.25pt;width:629pt;height:60pt'> + <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_s38915" type="#_x0000_m1027" + style='position:absolute;left:27pt;top:92.625pt;width:666pt;height:223.375pt'> + <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_s38914" class=T style='position:absolute;top:3.75%; + left:7.3%;width:85.58%;height:10.0%'>Translator Correctness</div> + <div v:shape="_x0000_s38915" class=B><span style='position:absolute; + top:17.75%;left:8.42%;width:91.94%'><span style='font-size:88%'><span + style='mso-special-format:bullet;position:absolute;left:-4.07%'>•</span></span><span + style='font-size:88%'>Defined an inverse function untranslate, and </span></span><span + style='position:absolute;top:24.0%;left:8.42%;width:88.2%'><span + style='font-size:88%'>prove that no information is lost w.r.t. to a </span></span><span + style='position:absolute;top:30.25%;left:8.42%;width:86.89%'><span + style='font-size:88%'>specialized equivalence relation </span></span> + <div style='text-align:center;position:absolute;top:37.75%;left:4.49%; + width:91.19%;height:5.25%'><span style='mso-special-format:nobullet; + display:none'>•</span><span style='font-family:"Courier New";font-size:75%; + color:#5F5F5F'><b>(equal* (untranslate (translate S)) S) </b></span></div> + <div style='position:absolute;top:44.0%;left:4.68%;width:90.63%;height:6.5%'><span + style='position:absolute;top:0%;left:4.13%;width:95.86%'><span + style='font-size:88%'><span style='mso-special-format:bullet;position:absolute; + left:-4.31%'>•</span></span><span style='font-size:88%'>Trivial for process + translation </span></span></div> + <div style='position:absolute;top:51.5%;left:4.68%;width:90.63%;height:6.5%'><span + style='position:absolute;top:0%;left:4.13%;width:95.86%'><span + style='font-size:88%'><span style='mso-special-format:bullet;position:absolute; + left:-4.31%'>•</span></span><span style='font-size:88%'>Tricky for network + translation</span></span></div> + </div> + <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="_x0000_s38916" type="#_x0000_t75" style='position:absolute; + left:36pt;top:332.375pt;width:636pt;height:191.375pt'> + <v:imagedata src="slide0028_image014.wmz" o:title=""/> + </v:shape><o:OLEObject Type="Embed" ProgID="Visio.Drawing.5" + ShapeID="_x0000_s38916" DrawAspect="Content" ObjectID="38"> + <p:oleclientdata menuname="VISIO" clipboardname="VISIO 5 Drawing"/></o:OLEObject> + <![if !vml]><img border=0 v:shapes="_x0000_s38916" src="slide0028_image015.gif" + style='position:absolute;top:61.5%;left:5.05%;width:88.38%;height:35.5%'><![endif]></p:slide></div> + +</body> + +</html> |