Automate1 Correction

707 views

Published on

Exercice UML sur diagramme automate

Published in: Spiritual
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
707
On SlideShare
0
From Embeds
0
Number of Embeds
9
Actions
Shares
0
Downloads
8
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Automate1 Correction

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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 ST1 I=0
  6. 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 ST1 I=0
  7. 7. 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
  8. 8. 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
  9. 9. 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
  10. 10. 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
  11. 11. 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
  12. 12. 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
  13. 13. 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
  14. 14. 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
  15. 15. 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
  16. 16. 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
  17. 17. 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
  18. 18. 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
  19. 19. 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
  20. 20. 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
  21. 21. 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
  22. 22. 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
  23. 23. 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
  24. 24. 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
  25. 25. 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
  26. 26. 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
  27. 27. 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
  28. 28. 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
  29. 29. 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
  30. 30. 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
  31. 31. 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
  32. 32. 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
  33. 33. 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
  34. 34. 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
  35. 35. 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
  36. 36. 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
  37. 37. 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
  38. 38. 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
  39. 39. 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
  40. 40. 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
  41. 41. 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
  42. 42. 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
  43. 43. 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
  44. 44. 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
  45. 45. 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
  46. 46. 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
  47. 47. 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
  48. 48. 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
  49. 49. 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
  50. 50. 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
  51. 51. 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
  52. 52. 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
  53. 53. 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
  54. 54. 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
  55. 55. 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
  56. 56. 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
  57. 57. 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
  58. 58. E1 E3 E1 E3 E1 E2 E1 E2 E3 I=6 FIN

×