spec/Sequence_Scanner.dia

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <dia:diagram xmlns:dia="http://www.lysator.liu.se/~alla/dia/">
   3   <dia:diagramdata>
   4     <dia:attribute name="background">
   5       <dia:color val="#ffffff"/>
   6     </dia:attribute>
   7     <dia:attribute name="pagebreak">
   8       <dia:color val="#000099"/>
   9     </dia:attribute>
  10     <dia:attribute name="paper">
  11       <dia:composite type="paper">
  12         <dia:attribute name="name">
  13           <dia:string>#A4#</dia:string>
  14         </dia:attribute>
  15         <dia:attribute name="tmargin">
  16           <dia:real val="2.8222000598907471"/>
  17         </dia:attribute>
  18         <dia:attribute name="bmargin">
  19           <dia:real val="2.8222000598907471"/>
  20         </dia:attribute>
  21         <dia:attribute name="lmargin">
  22           <dia:real val="2.8222000598907471"/>
  23         </dia:attribute>
  24         <dia:attribute name="rmargin">
  25           <dia:real val="2.8222000598907471"/>
  26         </dia:attribute>
  27         <dia:attribute name="is_portrait">
  28           <dia:boolean val="true"/>
  29         </dia:attribute>
  30         <dia:attribute name="scaling">
  31           <dia:real val="1"/>
  32         </dia:attribute>
  33         <dia:attribute name="fitto">
  34           <dia:boolean val="false"/>
  35         </dia:attribute>
  36       </dia:composite>
  37     </dia:attribute>
  38     <dia:attribute name="grid">
  39       <dia:composite type="grid">
  40         <dia:attribute name="width_x">
  41           <dia:real val="1"/>
  42         </dia:attribute>
  43         <dia:attribute name="width_y">
  44           <dia:real val="1"/>
  45         </dia:attribute>
  46         <dia:attribute name="visible_x">
  47           <dia:int val="1"/>
  48         </dia:attribute>
  49         <dia:attribute name="visible_y">
  50           <dia:int val="1"/>
  51         </dia:attribute>
  52         <dia:composite type="color"/>
  53       </dia:composite>
  54     </dia:attribute>
  55     <dia:attribute name="color">
  56       <dia:color val="#d8e5e5"/>
  57     </dia:attribute>
  58     <dia:attribute name="guides">
  59       <dia:composite type="guides">
  60         <dia:attribute name="hguides"/>
  61         <dia:attribute name="vguides"/>
  62       </dia:composite>
  63     </dia:attribute>
  64   </dia:diagramdata>
  65   <dia:layer name="Hintergrund" visible="true" active="true">
  66     <dia:object type="UML - LargePackage" version="0" id="O0">
  67       <dia:attribute name="obj_pos">
  68         <dia:point val="1.2,1.75"/>
  69       </dia:attribute>
  70       <dia:attribute name="obj_bb">
  71         <dia:rectangle val="1.15,0.7;39.2,13.675"/>
  72       </dia:attribute>
  73       <dia:attribute name="meta">
  74         <dia:composite type="dict"/>
  75       </dia:attribute>
  76       <dia:attribute name="elem_corner">
  77         <dia:point val="1.2,1.75"/>
  78       </dia:attribute>
  79       <dia:attribute name="elem_width">
  80         <dia:real val="37.95000000000001"/>
  81       </dia:attribute>
  82       <dia:attribute name="elem_height">
  83         <dia:real val="11.875009999999993"/>
  84       </dia:attribute>
  85       <dia:attribute name="line_width">
  86         <dia:real val="0.10000000149011612"/>
  87       </dia:attribute>
  88       <dia:attribute name="line_colour">
  89         <dia:color val="#000000"/>
  90       </dia:attribute>
  91       <dia:attribute name="fill_colour">
  92         <dia:color val="#ffffff"/>
  93       </dia:attribute>
  94       <dia:attribute name="text_colour">
  95         <dia:color val="#000000"/>
  96       </dia:attribute>
  97       <dia:attribute name="stereotype">
  98         <dia:string>##</dia:string>
  99       </dia:attribute>
 100       <dia:attribute name="name">
 101         <dia:string>#Empfangene Tastencodes#</dia:string>
 102       </dia:attribute>
 103     </dia:object>
 104     <dia:object type="UML - Lifeline" version="0" id="O1">
 105       <dia:attribute name="obj_pos">
 106         <dia:point val="3.82,3.95"/>
 107       </dia:attribute>
 108       <dia:attribute name="obj_bb">
 109         <dia:rectangle val="3.42,3.925;4.22,10.1"/>
 110       </dia:attribute>
 111       <dia:attribute name="meta">
 112         <dia:composite type="dict"/>
 113       </dia:attribute>
 114       <dia:attribute name="conn_endpoints">
 115         <dia:point val="3.82,3.95"/>
 116         <dia:point val="3.82,10.075"/>
 117       </dia:attribute>
 118       <dia:attribute name="line_colour">
 119         <dia:color val="#000000"/>
 120       </dia:attribute>
 121       <dia:attribute name="fill_colour">
 122         <dia:color val="#ffffff"/>
 123       </dia:attribute>
 124       <dia:attribute name="rtop">
 125         <dia:real val="3.3750000000000053"/>
 126       </dia:attribute>
 127       <dia:attribute name="rbot">
 128         <dia:real val="4.3750000000000053"/>
 129       </dia:attribute>
 130       <dia:attribute name="draw_focus">
 131         <dia:boolean val="true"/>
 132       </dia:attribute>
 133       <dia:attribute name="draw_cross">
 134         <dia:boolean val="false"/>
 135       </dia:attribute>
 136       <dia:attribute name="cpl_northwest">
 137         <dia:int val="1"/>
 138       </dia:attribute>
 139       <dia:attribute name="cpl_southwest">
 140         <dia:int val="1"/>
 141       </dia:attribute>
 142       <dia:attribute name="cpl_northeast">
 143         <dia:int val="1"/>
 144       </dia:attribute>
 145       <dia:attribute name="cpl_southeast">
 146         <dia:int val="1"/>
 147       </dia:attribute>
 148       <dia:connections>
 149         <dia:connection handle="0" to="O2" connection="6"/>
 150       </dia:connections>
 151     </dia:object>
 152     <dia:object type="ER - Entity" version="0" id="O2">
 153       <dia:attribute name="obj_pos">
 154         <dia:point val="2.35,2.15"/>
 155       </dia:attribute>
 156       <dia:attribute name="obj_bb">
 157         <dia:rectangle val="2.3,2.1;5.34,4"/>
 158       </dia:attribute>
 159       <dia:attribute name="elem_corner">
 160         <dia:point val="2.35,2.15"/>
 161       </dia:attribute>
 162       <dia:attribute name="elem_width">
 163         <dia:real val="2.9399999999999999"/>
 164       </dia:attribute>
 165       <dia:attribute name="elem_height">
 166         <dia:real val="1.8"/>
 167       </dia:attribute>
 168       <dia:attribute name="border_width">
 169         <dia:real val="0.10000000000000001"/>
 170       </dia:attribute>
 171       <dia:attribute name="border_color">
 172         <dia:color val="#000000"/>
 173       </dia:attribute>
 174       <dia:attribute name="inner_color">
 175         <dia:color val="#ffffff"/>
 176       </dia:attribute>
 177       <dia:attribute name="name">
 178         <dia:string>#PS/2#</dia:string>
 179       </dia:attribute>
 180       <dia:attribute name="weak">
 181         <dia:boolean val="false"/>
 182       </dia:attribute>
 183       <dia:attribute name="associative">
 184         <dia:boolean val="false"/>
 185       </dia:attribute>
 186       <dia:attribute name="font">
 187         <dia:font family="monospace" style="0" name="Courier"/>
 188       </dia:attribute>
 189       <dia:attribute name="font_height">
 190         <dia:real val="0.80000000000000004"/>
 191       </dia:attribute>
 192       <dia:childnode parent="O0"/>
 193     </dia:object>
 194     <dia:object type="UML - Lifeline" version="0" id="O3">
 195       <dia:attribute name="obj_pos">
 196         <dia:point val="17.5708,3.95"/>
 197       </dia:attribute>
 198       <dia:attribute name="obj_bb">
 199         <dia:rectangle val="17.1708,3.925;17.9708,9.95"/>
 200       </dia:attribute>
 201       <dia:attribute name="meta">
 202         <dia:composite type="dict"/>
 203       </dia:attribute>
 204       <dia:attribute name="conn_endpoints">
 205         <dia:point val="17.5708,3.95"/>
 206         <dia:point val="17.5708,9.925"/>
 207       </dia:attribute>
 208       <dia:attribute name="line_colour">
 209         <dia:color val="#000000"/>
 210       </dia:attribute>
 211       <dia:attribute name="fill_colour">
 212         <dia:color val="#ffffff"/>
 213       </dia:attribute>
 214       <dia:attribute name="rtop">
 215         <dia:real val="3.3750000000000053"/>
 216       </dia:attribute>
 217       <dia:attribute name="rbot">
 218         <dia:real val="4.3750000000000053"/>
 219       </dia:attribute>
 220       <dia:attribute name="draw_focus">
 221         <dia:boolean val="true"/>
 222       </dia:attribute>
 223       <dia:attribute name="draw_cross">
 224         <dia:boolean val="false"/>
 225       </dia:attribute>
 226       <dia:attribute name="cpl_northwest">
 227         <dia:int val="1"/>
 228       </dia:attribute>
 229       <dia:attribute name="cpl_southwest">
 230         <dia:int val="1"/>
 231       </dia:attribute>
 232       <dia:attribute name="cpl_northeast">
 233         <dia:int val="1"/>
 234       </dia:attribute>
 235       <dia:attribute name="cpl_southeast">
 236         <dia:int val="1"/>
 237       </dia:attribute>
 238       <dia:connections>
 239         <dia:connection handle="0" to="O4" connection="6"/>
 240       </dia:connections>
 241     </dia:object>
 242     <dia:object type="ER - Entity" version="0" id="O4">
 243       <dia:attribute name="obj_pos">
 244         <dia:point val="15.5233,2.15"/>
 245       </dia:attribute>
 246       <dia:attribute name="obj_bb">
 247         <dia:rectangle val="15.4733,2.1;19.6683,4"/>
 248       </dia:attribute>
 249       <dia:attribute name="elem_corner">
 250         <dia:point val="15.5233,2.15"/>
 251       </dia:attribute>
 252       <dia:attribute name="elem_width">
 253         <dia:real val="4.0949999999999998"/>
 254       </dia:attribute>
 255       <dia:attribute name="elem_height">
 256         <dia:real val="1.8"/>
 257       </dia:attribute>
 258       <dia:attribute name="border_width">
 259         <dia:real val="0.10000000000000001"/>
 260       </dia:attribute>
 261       <dia:attribute name="border_color">
 262         <dia:color val="#000000"/>
 263       </dia:attribute>
 264       <dia:attribute name="inner_color">
 265         <dia:color val="#ffffff"/>
 266       </dia:attribute>
 267       <dia:attribute name="name">
 268         <dia:string>#Scanner#</dia:string>
 269       </dia:attribute>
 270       <dia:attribute name="weak">
 271         <dia:boolean val="false"/>
 272       </dia:attribute>
 273       <dia:attribute name="associative">
 274         <dia:boolean val="false"/>
 275       </dia:attribute>
 276       <dia:attribute name="font">
 277         <dia:font family="monospace" style="0" name="Courier"/>
 278       </dia:attribute>
 279       <dia:attribute name="font_height">
 280         <dia:real val="0.80000000000000004"/>
 281       </dia:attribute>
 282     </dia:object>
 283     <dia:object type="UML - Lifeline" version="0" id="O5">
 284       <dia:attribute name="obj_pos">
 285         <dia:point val="36.085,3.95"/>
 286       </dia:attribute>
 287       <dia:attribute name="obj_bb">
 288         <dia:rectangle val="35.685,3.925;36.485,12.925"/>
 289       </dia:attribute>
 290       <dia:attribute name="meta">
 291         <dia:composite type="dict"/>
 292       </dia:attribute>
 293       <dia:attribute name="conn_endpoints">
 294         <dia:point val="36.085,3.95"/>
 295         <dia:point val="36.085,12.9"/>
 296       </dia:attribute>
 297       <dia:attribute name="line_colour">
 298         <dia:color val="#000000"/>
 299       </dia:attribute>
 300       <dia:attribute name="fill_colour">
 301         <dia:color val="#ffffff"/>
 302       </dia:attribute>
 303       <dia:attribute name="rtop">
 304         <dia:real val="6.8875000000000046"/>
 305       </dia:attribute>
 306       <dia:attribute name="rbot">
 307         <dia:real val="7.8875000000000046"/>
 308       </dia:attribute>
 309       <dia:attribute name="draw_focus">
 310         <dia:boolean val="true"/>
 311       </dia:attribute>
 312       <dia:attribute name="draw_cross">
 313         <dia:boolean val="false"/>
 314       </dia:attribute>
 315       <dia:attribute name="cpl_northwest">
 316         <dia:int val="1"/>
 317       </dia:attribute>
 318       <dia:attribute name="cpl_southwest">
 319         <dia:int val="1"/>
 320       </dia:attribute>
 321       <dia:attribute name="cpl_northeast">
 322         <dia:int val="1"/>
 323       </dia:attribute>
 324       <dia:attribute name="cpl_southeast">
 325         <dia:int val="1"/>
 326       </dia:attribute>
 327       <dia:connections>
 328         <dia:connection handle="0" to="O6" connection="6"/>
 329       </dia:connections>
 330     </dia:object>
 331     <dia:object type="ER - Entity" version="0" id="O6">
 332       <dia:attribute name="obj_pos">
 333         <dia:point val="34.23,2.15"/>
 334       </dia:attribute>
 335       <dia:attribute name="obj_bb">
 336         <dia:rectangle val="34.18,2.1;37.99,4"/>
 337       </dia:attribute>
 338       <dia:attribute name="elem_corner">
 339         <dia:point val="34.23,2.15"/>
 340       </dia:attribute>
 341       <dia:attribute name="elem_width">
 342         <dia:real val="3.71"/>
 343       </dia:attribute>
 344       <dia:attribute name="elem_height">
 345         <dia:real val="1.8"/>
 346       </dia:attribute>
 347       <dia:attribute name="border_width">
 348         <dia:real val="0.10000000000000001"/>
 349       </dia:attribute>
 350       <dia:attribute name="border_color">
 351         <dia:color val="#000000"/>
 352       </dia:attribute>
 353       <dia:attribute name="inner_color">
 354         <dia:color val="#ffffff"/>
 355       </dia:attribute>
 356       <dia:attribute name="name">
 357         <dia:string>#Parser#</dia:string>
 358       </dia:attribute>
 359       <dia:attribute name="weak">
 360         <dia:boolean val="false"/>
 361       </dia:attribute>
 362       <dia:attribute name="associative">
 363         <dia:boolean val="false"/>
 364       </dia:attribute>
 365       <dia:attribute name="font">
 366         <dia:font family="monospace" style="0" name="Courier"/>
 367       </dia:attribute>
 368       <dia:attribute name="font_height">
 369         <dia:real val="0.80000000000000004"/>
 370       </dia:attribute>
 371     </dia:object>
 372     <dia:object type="ER - Entity" version="0" id="O7">
 373       <dia:attribute name="obj_pos">
 374         <dia:point val="28.2017,2.15"/>
 375       </dia:attribute>
 376       <dia:attribute name="obj_bb">
 377         <dia:rectangle val="28.1517,2.1;32.3467,4"/>
 378       </dia:attribute>
 379       <dia:attribute name="elem_corner">
 380         <dia:point val="28.2017,2.15"/>
 381       </dia:attribute>
 382       <dia:attribute name="elem_width">
 383         <dia:real val="4.0949999999999998"/>
 384       </dia:attribute>
 385       <dia:attribute name="elem_height">
 386         <dia:real val="1.8"/>
 387       </dia:attribute>
 388       <dia:attribute name="border_width">
 389         <dia:real val="0.10000000000000001"/>
 390       </dia:attribute>
 391       <dia:attribute name="border_color">
 392         <dia:color val="#000000"/>
 393       </dia:attribute>
 394       <dia:attribute name="inner_color">
 395         <dia:color val="#ffffff"/>
 396       </dia:attribute>
 397       <dia:attribute name="name">
 398         <dia:string>#History#</dia:string>
 399       </dia:attribute>
 400       <dia:attribute name="weak">
 401         <dia:boolean val="false"/>
 402       </dia:attribute>
 403       <dia:attribute name="associative">
 404         <dia:boolean val="false"/>
 405       </dia:attribute>
 406       <dia:attribute name="font">
 407         <dia:font family="monospace" style="0" name="Courier"/>
 408       </dia:attribute>
 409       <dia:attribute name="font_height">
 410         <dia:real val="0.80000000000000004"/>
 411       </dia:attribute>
 412     </dia:object>
 413     <dia:object type="UML - Lifeline" version="0" id="O8">
 414       <dia:attribute name="obj_pos">
 415         <dia:point val="30.2492,3.95"/>
 416       </dia:attribute>
 417       <dia:attribute name="obj_bb">
 418         <dia:rectangle val="29.8492,3.925;30.6492,13.025"/>
 419       </dia:attribute>
 420       <dia:attribute name="meta">
 421         <dia:composite type="dict"/>
 422       </dia:attribute>
 423       <dia:attribute name="conn_endpoints">
 424         <dia:point val="30.2492,3.95"/>
 425         <dia:point val="30.2492,13"/>
 426       </dia:attribute>
 427       <dia:attribute name="line_colour">
 428         <dia:color val="#000000"/>
 429       </dia:attribute>
 430       <dia:attribute name="fill_colour">
 431         <dia:color val="#ffffff"/>
 432       </dia:attribute>
 433       <dia:attribute name="rtop">
 434         <dia:real val="3.3750000000000053"/>
 435       </dia:attribute>
 436       <dia:attribute name="rbot">
 437         <dia:real val="4.3750000000000053"/>
 438       </dia:attribute>
 439       <dia:attribute name="draw_focus">
 440         <dia:boolean val="true"/>
 441       </dia:attribute>
 442       <dia:attribute name="draw_cross">
 443         <dia:boolean val="false"/>
 444       </dia:attribute>
 445       <dia:attribute name="cpl_northwest">
 446         <dia:int val="1"/>
 447       </dia:attribute>
 448       <dia:attribute name="cpl_southwest">
 449         <dia:int val="1"/>
 450       </dia:attribute>
 451       <dia:attribute name="cpl_northeast">
 452         <dia:int val="1"/>
 453       </dia:attribute>
 454       <dia:attribute name="cpl_southeast">
 455         <dia:int val="1"/>
 456       </dia:attribute>
 457       <dia:connections>
 458         <dia:connection handle="0" to="O7" connection="6"/>
 459       </dia:connections>
 460     </dia:object>
 461     <dia:object type="UML - Transition" version="2" id="O9">
 462       <dia:attribute name="obj_pos">
 463         <dia:point val="4.17,7.325"/>
 464       </dia:attribute>
 465       <dia:attribute name="obj_bb">
 466         <dia:rectangle val="4.12,6.25;17.2708,7.975"/>
 467       </dia:attribute>
 468       <dia:attribute name="meta">
 469         <dia:composite type="dict"/>
 470       </dia:attribute>
 471       <dia:attribute name="orth_points">
 472         <dia:point val="4.17,7.325"/>
 473         <dia:point val="7.3,7.325"/>
 474         <dia:point val="7.3,7.325"/>
 475         <dia:point val="17.2208,7.325"/>
 476       </dia:attribute>
 477       <dia:attribute name="orth_orient">
 478         <dia:enum val="0"/>
 479         <dia:enum val="1"/>
 480         <dia:enum val="0"/>
 481       </dia:attribute>
 482       <dia:attribute name="orth_autoroute">
 483         <dia:boolean val="false"/>
 484       </dia:attribute>
 485       <dia:attribute name="text_colour">
 486         <dia:color val="#000000"/>
 487       </dia:attribute>
 488       <dia:attribute name="line_colour">
 489         <dia:color val="#000000"/>
 490       </dia:attribute>
 491       <dia:attribute name="trigger">
 492         <dia:string>#zugelassene Taste gedrückt (außer Enter)#</dia:string>
 493       </dia:attribute>
 494       <dia:attribute name="action">
 495         <dia:string>##</dia:string>
 496       </dia:attribute>
 497       <dia:attribute name="guard">
 498         <dia:string>##</dia:string>
 499       </dia:attribute>
 500       <dia:attribute name="trigger_text_pos">
 501         <dia:point val="10.45,6.9"/>
 502       </dia:attribute>
 503       <dia:attribute name="guard_text_pos">
 504         <dia:point val="5.81458,7.825"/>
 505       </dia:attribute>
 506       <dia:attribute name="direction_inverted">
 507         <dia:boolean val="false"/>
 508       </dia:attribute>
 509       <dia:connections>
 510         <dia:connection handle="0" to="O1" connection="1"/>
 511         <dia:connection handle="1" to="O3" connection="0"/>
 512       </dia:connections>
 513       <dia:childnode parent="O0"/>
 514     </dia:object>
 515     <dia:object type="UML - Transition" version="2" id="O10">
 516       <dia:attribute name="obj_pos">
 517         <dia:point val="17.9208,8.075"/>
 518       </dia:attribute>
 519       <dia:attribute name="obj_bb">
 520         <dia:rectangle val="17.9208,6.925;29.9699,8.125"/>
 521       </dia:attribute>
 522       <dia:attribute name="meta">
 523         <dia:composite type="dict"/>
 524       </dia:attribute>
 525       <dia:attribute name="orth_points">
 526         <dia:point val="17.9208,8.075"/>
 527         <dia:point val="17.9208,8.075"/>
 528         <dia:point val="29.8992,8.075"/>
 529         <dia:point val="29.8992,8.075"/>
 530       </dia:attribute>
 531       <dia:attribute name="orth_orient">
 532         <dia:enum val="0"/>
 533         <dia:enum val="1"/>
 534         <dia:enum val="0"/>
 535       </dia:attribute>
 536       <dia:attribute name="orth_autoroute">
 537         <dia:boolean val="true"/>
 538       </dia:attribute>
 539       <dia:attribute name="text_colour">
 540         <dia:color val="#000000"/>
 541       </dia:attribute>
 542       <dia:attribute name="line_colour">
 543         <dia:color val="#000000"/>
 544       </dia:attribute>
 545       <dia:attribute name="trigger">
 546         <dia:string>#dekodierten Charakter abspeichern#</dia:string>
 547       </dia:attribute>
 548       <dia:attribute name="action">
 549         <dia:string>##</dia:string>
 550       </dia:attribute>
 551       <dia:attribute name="guard">
 552         <dia:string>##</dia:string>
 553       </dia:attribute>
 554       <dia:attribute name="trigger_text_pos">
 555         <dia:point val="24,7.825"/>
 556       </dia:attribute>
 557       <dia:attribute name="guard_text_pos">
 558         <dia:point val="23.41,7.575"/>
 559       </dia:attribute>
 560       <dia:attribute name="direction_inverted">
 561         <dia:boolean val="false"/>
 562       </dia:attribute>
 563       <dia:connections>
 564         <dia:connection handle="0" to="O3" connection="10"/>
 565         <dia:connection handle="1" to="O8" connection="8"/>
 566       </dia:connections>
 567       <dia:childnode parent="O0"/>
 568     </dia:object>
 569     <dia:object type="UML - Lifeline" version="0" id="O11">
 570       <dia:attribute name="obj_pos">
 571         <dia:point val="3.82,8.325"/>
 572       </dia:attribute>
 573       <dia:attribute name="obj_bb">
 574         <dia:rectangle val="3.42,8.3;4.22,13.125"/>
 575       </dia:attribute>
 576       <dia:attribute name="meta">
 577         <dia:composite type="dict"/>
 578       </dia:attribute>
 579       <dia:attribute name="conn_endpoints">
 580         <dia:point val="3.82,8.325"/>
 581         <dia:point val="3.82,13.1"/>
 582       </dia:attribute>
 583       <dia:attribute name="line_colour">
 584         <dia:color val="#000000"/>
 585       </dia:attribute>
 586       <dia:attribute name="fill_colour">
 587         <dia:color val="#ffffff"/>
 588       </dia:attribute>
 589       <dia:attribute name="rtop">
 590         <dia:real val="2.25"/>
 591       </dia:attribute>
 592       <dia:attribute name="rbot">
 593         <dia:real val="3.25"/>
 594       </dia:attribute>
 595       <dia:attribute name="draw_focus">
 596         <dia:boolean val="true"/>
 597       </dia:attribute>
 598       <dia:attribute name="draw_cross">
 599         <dia:boolean val="false"/>
 600       </dia:attribute>
 601       <dia:attribute name="cpl_northwest">
 602         <dia:int val="1"/>
 603       </dia:attribute>
 604       <dia:attribute name="cpl_southwest">
 605         <dia:int val="1"/>
 606       </dia:attribute>
 607       <dia:attribute name="cpl_northeast">
 608         <dia:int val="1"/>
 609       </dia:attribute>
 610       <dia:attribute name="cpl_southeast">
 611         <dia:int val="1"/>
 612       </dia:attribute>
 613       <dia:connections>
 614         <dia:connection handle="0" to="O1" connection="6"/>
 615       </dia:connections>
 616     </dia:object>
 617     <dia:object type="UML - Lifeline" version="0" id="O12">
 618       <dia:attribute name="obj_pos">
 619         <dia:point val="17.5708,8.325"/>
 620       </dia:attribute>
 621       <dia:attribute name="obj_bb">
 622         <dia:rectangle val="17.1708,8.3;17.9708,12.975"/>
 623       </dia:attribute>
 624       <dia:attribute name="meta">
 625         <dia:composite type="dict"/>
 626       </dia:attribute>
 627       <dia:attribute name="conn_endpoints">
 628         <dia:point val="17.5708,8.325"/>
 629         <dia:point val="17.5708,12.95"/>
 630       </dia:attribute>
 631       <dia:attribute name="line_colour">
 632         <dia:color val="#000000"/>
 633       </dia:attribute>
 634       <dia:attribute name="fill_colour">
 635         <dia:color val="#ffffff"/>
 636       </dia:attribute>
 637       <dia:attribute name="rtop">
 638         <dia:real val="2.25"/>
 639       </dia:attribute>
 640       <dia:attribute name="rbot">
 641         <dia:real val="3.25"/>
 642       </dia:attribute>
 643       <dia:attribute name="draw_focus">
 644         <dia:boolean val="true"/>
 645       </dia:attribute>
 646       <dia:attribute name="draw_cross">
 647         <dia:boolean val="false"/>
 648       </dia:attribute>
 649       <dia:attribute name="cpl_northwest">
 650         <dia:int val="1"/>
 651       </dia:attribute>
 652       <dia:attribute name="cpl_southwest">
 653         <dia:int val="1"/>
 654       </dia:attribute>
 655       <dia:attribute name="cpl_northeast">
 656         <dia:int val="1"/>
 657       </dia:attribute>
 658       <dia:attribute name="cpl_southeast">
 659         <dia:int val="1"/>
 660       </dia:attribute>
 661       <dia:connections>
 662         <dia:connection handle="0" to="O3" connection="6"/>
 663       </dia:connections>
 664     </dia:object>
 665     <dia:object type="UML - Transition" version="2" id="O13">
 666       <dia:attribute name="obj_pos">
 667         <dia:point val="4.17,10.575"/>
 668       </dia:attribute>
 669       <dia:attribute name="obj_bb">
 670         <dia:rectangle val="4.17,9.425;17.2915,10.625"/>
 671       </dia:attribute>
 672       <dia:attribute name="meta">
 673         <dia:composite type="dict"/>
 674       </dia:attribute>
 675       <dia:attribute name="orth_points">
 676         <dia:point val="4.17,10.575"/>
 677         <dia:point val="4.17,10.575"/>
 678         <dia:point val="17.2208,10.575"/>
 679         <dia:point val="17.2208,10.575"/>
 680       </dia:attribute>
 681       <dia:attribute name="orth_orient">
 682         <dia:enum val="0"/>
 683         <dia:enum val="1"/>
 684         <dia:enum val="0"/>
 685       </dia:attribute>
 686       <dia:attribute name="orth_autoroute">
 687         <dia:boolean val="true"/>
 688       </dia:attribute>
 689       <dia:attribute name="text_colour">
 690         <dia:color val="#000000"/>
 691       </dia:attribute>
 692       <dia:attribute name="line_colour">
 693         <dia:color val="#000000"/>
 694       </dia:attribute>
 695       <dia:attribute name="trigger">
 696         <dia:string>#Enter gedrückt#</dia:string>
 697       </dia:attribute>
 698       <dia:attribute name="action">
 699         <dia:string>##</dia:string>
 700       </dia:attribute>
 701       <dia:attribute name="guard">
 702         <dia:string>##</dia:string>
 703       </dia:attribute>
 704       <dia:attribute name="trigger_text_pos">
 705         <dia:point val="10.625,10.125"/>
 706       </dia:attribute>
 707       <dia:attribute name="guard_text_pos">
 708         <dia:point val="10.1954,10.075"/>
 709       </dia:attribute>
 710       <dia:attribute name="direction_inverted">
 711         <dia:boolean val="false"/>
 712       </dia:attribute>
 713       <dia:connections>
 714         <dia:connection handle="0" to="O11" connection="1"/>
 715         <dia:connection handle="1" to="O12" connection="0"/>
 716       </dia:connections>
 717       <dia:childnode parent="O0"/>
 718     </dia:object>
 719     <dia:object type="UML - Transition" version="2" id="O14">
 720       <dia:attribute name="obj_pos">
 721         <dia:point val="17.9208,11.325"/>
 722       </dia:attribute>
 723       <dia:attribute name="obj_bb">
 724         <dia:rectangle val="17.8708,10.1813;35.785,11.8375"/>
 725       </dia:attribute>
 726       <dia:attribute name="meta">
 727         <dia:composite type="dict"/>
 728       </dia:attribute>
 729       <dia:attribute name="orth_points">
 730         <dia:point val="17.9208,11.325"/>
 731         <dia:point val="26.8279,11.325"/>
 732         <dia:point val="26.8279,11.3375"/>
 733         <dia:point val="35.735,11.3375"/>
 734       </dia:attribute>
 735       <dia:attribute name="orth_orient">
 736         <dia:enum val="0"/>
 737         <dia:enum val="1"/>
 738         <dia:enum val="0"/>
 739       </dia:attribute>
 740       <dia:attribute name="orth_autoroute">
 741         <dia:boolean val="true"/>
 742       </dia:attribute>
 743       <dia:attribute name="text_colour">
 744         <dia:color val="#000000"/>
 745       </dia:attribute>
 746       <dia:attribute name="line_colour">
 747         <dia:color val="#000000"/>
 748       </dia:attribute>
 749       <dia:attribute name="trigger">
 750         <dia:string>#Berechnung starten#</dia:string>
 751       </dia:attribute>
 752       <dia:attribute name="action">
 753         <dia:string>##</dia:string>
 754       </dia:attribute>
 755       <dia:attribute name="guard">
 756         <dia:string>##</dia:string>
 757       </dia:attribute>
 758       <dia:attribute name="trigger_text_pos">
 759         <dia:point val="25.025,10.95"/>
 760       </dia:attribute>
 761       <dia:attribute name="guard_text_pos">
 762         <dia:point val="26.3279,10.8313"/>
 763       </dia:attribute>
 764       <dia:attribute name="direction_inverted">
 765         <dia:boolean val="false"/>
 766       </dia:attribute>
 767       <dia:connections>
 768         <dia:connection handle="0" to="O12" connection="10"/>
 769         <dia:connection handle="1" to="O5" connection="2"/>
 770       </dia:connections>
 771       <dia:childnode parent="O0"/>
 772     </dia:object>
 773   </dia:layer>
 774 </dia:diagram>