Like this presentation? Why not share!

# Automate1 Correction

## by VINOT Bernard, Consultant at Links conseil on Sep 27, 2008

• 639 views

Exercice UML sur diagramme automate

Exercice UML sur diagramme automate

### Views

Total Views
639
Views on SlideShare
639
Embed Views
0

Likes
0
5
0

No embeds

### Categories

Uploaded via SlideShare as Microsoft PowerPoint

## Automate1 CorrectionPresentation Transcript

• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=0
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=0
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=1
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=1
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=2
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=2
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST1 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=3
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3 [ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST3 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=4
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=5
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST2 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 ST4 I=6
• ST1 entry: i = 0 exit: i++ ST2 entry: i++ exit: i++ on E4: i ++ E1 / i++ E1 ST3 ST4 on E2: i = i - 2 E3[ i == 5 ] E2 E1 E1 E3 E3 E1 E3 E1 E3 E1 E2 E1 E2 E3 I=6
• E1 E3 E1 E3 E1 E2 E1 E2 E3 I=6 FIN