diagram { /* line-style: sloppy 0.3; */ } controlflow { dash-style: 0; } Modellname hier eintragen Ablauf reset (1.0, 0.0, 0.0, 1.0, -63.3325267095356, 704.3999999999999) (0.0, 0.0) 20.0 20.0 State Machine MSP430-StateMachine (1.0, 0.0, 0.0, 1.0, 8.0, 8.0) (-244.4958441384397, 0.0) 1269.9964112440239 1090.6165284444828 False (1.0, 0.0, 0.0, 1.0, 964.0223449626474, 377.1943371546741) [(-999.3548716721831, 345.2056628453259), (-918.0223449626474, 345.2056628453259)] idle (1.0, 0.0, 0.0, 1.0, 37.99999999999999, 688.4000000000001) (0.0, 0.0) 50.0 52.0 A (1.0, 0.0, 0.0, 1.0, 41.5, 76.80000000000001) (0.0, 0.0) 97.0 52.0 False False (1.0, 0.0, 0.0, 1.0, 393.39724202029396, 505.245117941848) [(-297.39724202029396, 217.154882058152), (-74.97622731113597, 217.154882058152), (-74.97622731113597, -280.07774097662934), (43.72938384182612, -280.0925817502037)] B (1.0, 0.0, 0.0, 1.0, 20.0, 238.8) (0.0, 0.0) 132.0 52.0 False False (1.0, 0.0, 0.0, 1.0, 643.143217001042, 515.2616677405409) [(-158.14659113892185, -276.19423450621), (-160.87659113892187, -166.19423450621002)] 1-9 False False (1.0, 0.0, 0.0, 1.0, 1224.7708753118209, 192.0609942360434) [(-690.6442494497007, 9.666438998287447), (-653.9328056755969, 10.426382729175202), (-653.9328056755969, 33.106382729175266), (-690.6442494497007, 32.34643899828751)] A-D False False (1.0, 0.0, 0.0, 1.0, 1427.73323171514, 78.54009651752189) [(-880.1066058530198, 285.735336716809), (-856.8951620789159, 286.49528044769687), (-856.895162078916, 308.07928044769704), (-880.1066058530198, 307.31933671680906)] 0-9 select_count (1.0, 0.0, 0.0, 1.0, 387.6266258621201, 102.26743323433087) (0.0, 0.0) 218.5401732597482 321.71317763289477 select_count (1.0, 0.0, 0.0, 1.0, -186.34092585307778, 108.85295935581789) (-17.420949104009978, 0.0) 211.01531575913464 308.54212538992067 A (1.0, 0.0, 0.0, 1.0, 42.0, 76.80000000000007) (0.0, 0.0) 50.0 52.0 B (1.0, 0.0, 0.0, 1.0, 38.513999999999996, 206.7470406441821) (0.0, 0.0) 50.0 52.0 False False (1.0, 0.0, 0.0, 1.0, 489.5561200877478, 513.2583577808024) [(-73.9294942256277, -141.28487196142697), (-141.5561200877478, -141.28487196142697), (-141.5561200877478, -216.13433573002413), (-293.47612008774774, -216.13433573002413)] confirmed (1.0, 0.0, 0.0, 1.0, 110.08000000000007, 263.12402205077825) (0.0, 0.0) 78.0 59.44772460066565 False False (1.0, 0.0, 0.0, 1.0, 448.15438091981633, 663.5066047611988) [(-291.07438091981635, -392.38258271042054), (-291.07438091981635, -450.4391715268679), (-11.027755057696254, -450.4391715268679)] A-D door_open (1.0, 0.0, 0.0, 1.0, 20.5, 526.4) (0.0, 0.0) 85.0 52.0 False False (1.0, 0.0, 0.0, 1.0, 441.4766810540209, 672.1876145867328) [(-323.39668105402086, -371.33973023562174), (-357.48868105402084, -371.33973023562174), (-357.4886810540209, -137.78761458673284)] [door_opened] False False (1.0, 0.0, 0.0, 1.0, 220.4448154961932, 680.2008544256873) [(-191.9448154961932, -108.46085442568733), (-392.1669709364176, -108.46085442568733), (-392.16697093641756, -460.5478950698694), (-356.785741349271, -460.5478950698694)] A-D False False (1.0, 0.0, 0.0, 1.0, 160.34551670403462, 553.9923269621543) [(-275.1724425571124, -308.3393676063363), (-271.6664425571124, -230.39232696215436)] 1-9 False False (1.0, 0.0, 0.0, 1.0, 179.71084631484126, 540.6369272305632) [(-266.051772167919, -332.65396787474526), (-244.5898039023392, -332.65396787474526), (-244.58980390233924, -309.31396787474523), (-266.051772167919, -309.31396787474523)] A-D False False (1.0, 0.0, 0.0, 1.0, 74.20318843527397, 551.3212470158361) [(-189.03011428835177, -175.72124701583607), (-189.03011428835177, 9.078752984163884), (-45.70318843527397, 9.078752984163998)] False False (1.0, 0.0, 0.0, 1.0, 139.3259873559967, 990.4406496907525) [(-68.32598735599674, -404.0406496907525), (-68.32598735599669, -294.0406496907524)] [door_closed] False False (1.0, 0.0, 0.0, 1.0, 84.701519406319, 347.93376630251197) [(-174.5284452593968, 1.6662336974880532), (-124.20521750379442, 1.6662336974880532), (-124.20521750379442, 212.46623369748812), (-56.201519406318994, 212.96623369748804)] "*" False False (1.0, 0.0, 0.0, 1.0, 88.70813932579625, 203.0276792147518) [(-200.0290651788741, -9.374719858933844), (-200.0290651788741, -36.059579275295164), (-42.70813932579625, -36.059579275295164), (-42.70813932579614, 331.3723207852482)] "*" reset_transactions reset_transaction # append_transaction commit_transactions 0-9 # append_transaction False False (1.0, 0.0, 0.0, 1.0, 148.1396681313753, 322.55850681248944) [(0.0, 8.013239838954462), (0.0, 27.041493187510582), (32.052959355817904, 27.041493187510582), (32.052959355817904, 8.013239838954462)] * beep_invalid error (1.0, 0.0, 0.0, 1.0, 471.89671249199426, 688.4000000000001) (0.0, 0.0) 50.0 52.0 False False (1.0, 0.0, 0.0, 1.0, 87.37259935263717, 737.9114384649632) [(8.627400647362826, 0.0), (392.5241131393571, 0.0)] [door_opened] beep_alarm; audit_append False False (1.0, 0.0, 0.0, 1.0, 479.353581474827, 710.5328690152021) [(25.543131017167184, 37.867130984797996), (25.543131017167184, 70.7836185774313), (-408.3535814748271, 70.7836185774313), (-408.3535814748271, 37.867130984797996)] [door_closed] edit_stock (1.0, 0.0, 0.0, 1.0, 21.987999999999975, 862.70353963793) (0.0, 0.0) 81.0 52.0 False False (1.0, 0.0, 0.0, 1.0, 46.40788002783745, 738.485082295181) [(10.684319785272635, 9.914917704819118), (10.684319785272692, 132.21845734274905)] "*" A (1.0, 0.0, 0.0, 1.0, -216.12067557025176, 862.70353963793) (0.0, 0.0) 71.0 52.0 False False (1.0, 0.0, 0.0, 1.0, -41.73775820066183, 906.7631189132248) [(71.7257582006618, -10.059579275294823), (-95.38291736958985, -10.059579275294823)] False False (1.0, 0.0, 0.0, 1.0, -246.075374094001, 825.7936719647736) [(60.93028835734205, 44.90986767315644), (60.93028835734205, -5.131424383112517), (90.14520574794861, -5.131424383112517), (90.14520574794861, 44.90986767315644)] A-D False False (1.0, 0.0, 0.0, 1.0, 38.39464018888299, 876.045699530566) [(-8.406640188883014, 10.684319785272692), (-49.41497900688597, 10.684319785272692), (-49.41497900688603, -138.1342610656028), (7.605359811117005, -138.1342610656028)] "*" False False (1.0, 0.0, 0.0, 1.0, 190.24448135224117, 319.3398715996364) [(5.835518647758903, -8.275000228027409), (33.85227366011213, -8.275000228027409), (33.85227366011213, 388.1727379692849), (-94.24448135224117, 388.1727379692849)] * reset_transactions False False (1.0, 0.0, 0.0, 1.0, 506.19903551328713, 428.4194200599975) [(0.0, 3.5611908072281153), (-1.3023230212929775, 267.9805799400026)] [door_opened] beep_alarm; audit_append A-D B (1.0, 0.0, 0.0, 1.0, -215.61203029881133, 963.9718205940161) (0.0, 0.0) 71.7797497171739 48.23858452867603 False False (1.0, 0.0, 0.0, 1.0, -170.63743778763262, 910.8243190787935) [(-1.9832377826191419, 11.87922055913657), (-1.9832377826191419, 61.14750151522264)] 1-9 False False (1.0, 0.0, 0.0, 1.0, -150.25493728255827, 1003.2249880351305) [(14.42265670092084, 1.3588333670047632), (48.23858452867597, 1.3588333670047632), (48.23858452867597, -15.626583720557164), (14.42265670092084, -15.626583720557164)] 0-9 False False (1.0, 0.0, 0.0, 1.0, -53.22137172001912, 1058.2577393988308) [(-119.39930385023268, -38.04733427613871), (-119.39930385023268, 6.114750151522571), (124.22137172001914, 6.114750151522571), (124.22137172001918, -135.55419976090104)] "*" False False (1.0, 0.0, 0.0, 1.0, -155.01085406707563, 1017.4927383886825) [(0.0, 2.71766673400964), (-0.9193142789767421, 16.985417087562155), (209.96877107313378, 16.98541708756204), (209.96877107313378, -94.78919875075246)] # update_stock