1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc/krempler/fig/other/isac_seeheim_um.svg	Mon Dec 13 01:34:05 2004 +0100
     1.3 @@ -0,0 +1,54 @@
     1.4 +<?xml version="1.0" standalone="no"?>
     1.5 +<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20001102//EN" "http://www.w3.org/TR/2000/CR-SVG-20001102/DTD/svg-20001102.dtd">
     1.6 +<svg xmlns="http://www.w3.org/2000/svg" width="643" x="0" y="0" height="255" id="/home/isac/isac/doc/krempler/fig/other/isac_seeheim_um" >
     1.7 + <rect width="643" x="41" y="155" height="255" transform="translate(-41,-155)" style="stroke:rgb(0,0,0);stroke-width:0;fill:rgb(255,255,255);" />
     1.8 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="230" y2="230" x1="400" x2="330" />
     1.9 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="230" y2="230" x1="210" x2="135" />
    1.10 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="250" y2="250" x1="135" x2="210" />
    1.11 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="250" y2="250" x1="330" x2="400" />
    1.12 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="230" y2="230" x1="600" x2="500" />
    1.13 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="250" y2="250" x1="500" x2="600" />
    1.14 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="350" x1="270" x2="260" />
    1.15 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="326" y2="323" x1="253" x2="250" />
    1.16 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="326" y2="304" x1="253" x2="256" />
    1.17 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="223" x1="153" x2="156" />
    1.18 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="220" x1="347" x2="365" />
    1.19 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="217" x1="347" x2="350" />
    1.20 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="223" x1="347" x2="350" />
    1.21 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="220" x1="153" x2="172" />
    1.22 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="217" x1="153" x2="156" />
    1.23 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="260" x1="191" x2="172" />
    1.24 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="263" x1="191" x2="188" />
    1.25 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="257" x1="191" x2="188" />
    1.26 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="260" x1="382" x2="365" />
    1.27 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="263" x1="382" x2="379" />
    1.28 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="257" x1="382" x2="379" />
    1.29 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="220" x1="525" x2="550" />
    1.30 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="223" x1="525" x2="528" />
    1.31 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="220" y2="217" x1="525" x2="528" />
    1.32 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="257" x1="575" x2="572" />
    1.33 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="263" x1="575" x2="572" />
    1.34 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="260" y2="260" x1="575" x2="550" />
    1.35 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:none;" y1="326" y2="323" x1="253" x2="256" />
    1.36 + <rect width="70" x="65" y="220" height="40" transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" />
    1.37 + <text x="100" y="245" transform="translate(-41,-155)" style="fill:rgb(0,0,0);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" > : Kernel</text>
    1.38 + <rect width="120" x="210" y="220" height="40" transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" />
    1.39 + <text x="270" y="245" transform="translate(-41,-155)" style="fill:rgb(0,0,0);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" > : Dialog Guide</text>
    1.40 + <rect width="100" x="400" y="220" height="40" transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" />
    1.41 + <text x="450" y="245" transform="translate(-41,-155)" style="fill:rgb(0,0,0);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" > : Worksheet</text>
    1.42 + <ellipse cx="630" cy="211.5" rx="10" ry="6.5" transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" />
    1.43 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" y1="218" y2="231" x1="630" x2="630" />
    1.44 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" y1="231" y2="245" x1="630" x2="620" />
    1.45 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" y1="231" y2="245" x1="630" x2="640" />
    1.46 + <line transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" y1="224" y2="224" x1="620" x2="640" />
    1.47 + <text x="630" y="266" transform="translate(-41,-155)" style="fill:rgb(0,0,0);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" > : User</text>
    1.48 + <text x="368" y="195" transform="translate(-41,-155)" style="fill:rgb(50,50,50);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" >request</text>
    1.49 + <text x="172" y="195" transform="translate(-41,-155)" style="fill:rgb(50,50,50);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" >request</text>
    1.50 + <text x="180" y="295" transform="translate(-41,-155)" style="fill:rgb(50,50,50);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" >notify</text>
    1.51 + <text x="370" y="295" transform="translate(-41,-155)" style="fill:rgb(50,50,50);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" >notify</text>
    1.52 + <text x="550" y="195" transform="translate(-41,-155)" style="fill:rgb(50,50,50);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" >actOnUI</text>
    1.53 + <text x="560" y="295" transform="translate(-41,-155)" style="fill:rgb(50,50,50);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" >perceive</text>
    1.54 + <rect width="110" x="205" y="350" height="40" transform="translate(-41,-155)" style="stroke:rgb(255,0,0);stroke-width:0.9;fill:rgb(255,255,192);" />
    1.55 + <text x="260" y="375" transform="translate(-41,-155)" style="fill:rgb(0,0,0);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" > : User Model</text>
    1.56 + <text x="180" y="335" transform="translate(-41,-155)" style="fill:rgb(50,50,50);stroke-width:0;font-size:10;font-style:normal;font-weight:400;font-family:Nimbus Sans L;" text-anchor="middle" >reportActivity : HintsOnActivity</text>
    1.57 +</svg>

     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/doc/krempler/fig/other/seeheim_basic.svg	Mon Dec 13 01:34:05 2004 +0100
     2.3 @@ -0,0 +1,47 @@
     2.4 +<?xml version="1.0" encoding="UTF-8" standalone="no"?>
     2.5 +<svg width="684" height="176" viewBox="0 155 684 176">
     2.6 +  <rect style="fill: none; fill-opacity:0; stroke-width: 0.001; stroke: #000000" x="0" y="155" width="684" height="170"/>
     2.7 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="400" y1="230" x2="375" y2="230"/>
     2.8 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="205" y1="230" x2="175" y2="230"/>
     2.9 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="175" y1="250" x2="205" y2="250"/>
    2.10 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="375" y1="250" x2="400" y2="250"/>
    2.11 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="600" y1="230" x2="560" y2="230"/>
    2.12 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="560" y1="250" x2="600" y2="250"/>
    2.13 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="381" y1="220" x2="384" y2="217"/>
    2.14 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="381" y1="220" x2="387" y2="220"/>
    2.15 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="381" y1="220" x2="384" y2="223"/>
    2.16 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="182" y1="220" x2="185" y2="223"/>
    2.17 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="182" y1="220" x2="190" y2="220"/>
    2.18 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="182" y1="220" x2="185" y2="217"/>
    2.19 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="197" y1="260" x2="190" y2="260"/>
    2.20 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="197" y1="260" x2="194" y2="263"/>
    2.21 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="197" y1="260" x2="194" y2="257"/>
    2.22 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="393" y1="260" x2="387" y2="260"/>
    2.23 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="393" y1="260" x2="390" y2="263"/>
    2.24 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="393" y1="260" x2="390" y2="257"/>
    2.25 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="570" y1="220" x2="580" y2="220"/>
    2.26 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="570" y1="220" x2="573" y2="223"/>
    2.27 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="570" y1="220" x2="573" y2="217"/>
    2.28 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="590" y1="260" x2="587" y2="257"/>
    2.29 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="590" y1="260" x2="580" y2="260"/>
    2.30 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="590" y1="260" x2="587" y2="263"/>
    2.31 +  <rect style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x="5" y="220" width="170" height="40"/>
    2.32 +  <text style="fill: #000000; font-size: 1" x="90" y="245"> : Application Interface</text>
    2.33 +  <rect style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x="205" y="220" width="170" height="40"/>
    2.34 +  <text style="147.388" x="290" y="147.388"> : Dialogue Controller</text>
    2.35 +  <rect style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x="400" y="220" width="160" height="40"/>
    2.36 +  <text style="fill: #000000; font-size: 1" x="480" y="245"> : Presentation Layer</text>
    2.37 +  <ellipse style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" cx="630" cy="211.5" rx="10" ry="147.388"/>
    2.38 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="630" y1="218" x2="630" y2="231"/>
    2.39 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="630" y1="231" x2="620" y2="245"/>
    2.40 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="630" y1="231" x2="640" y2="245"/>
    2.41 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.9; stroke: #000000" x1="620" y1="224" x2="640" y2="224"/>
    2.42 +  <text style="fill: #000000; font-size: 1" x="630" y="266"> : User</text>
    2.43 +  <text style="147.388" x="390" 147.388="195">request</text>
    2.44 +  <text style="fill: #000000; font-size: 1" x="190" y="195">request</text>
    2.45 +  <text style="147.388" x="190" 147.388="295">notify</text>
    2.46 +  <text style="fill: #000000; font-size: 1" x="390" y="295">notify</text>
    2.47 +  <text style="147.388" x="580" 147.388="195">actOnUI</text>
    2.48 +  <text style="fill: #000000; font-size: 1" x="570" y="295">perceive</text>
    2.49 +  <line style="fill: none; fill-opacity:0; stroke-width: 0.1; stroke-dasharray: 1; stroke: #000000" x1="147.388" y1="164.345" x2="147.388" y2="330.091"/>
    2.50 +</svg>