My M.S. Thesis Proposal

1,608 views

Published on

This is the slideshow I used to present my M.S. thesis proposal, which is tentatively titled "Planning Messages in Sequence Diagrams and Analyzing the Consistency of Use Cases and Class Diagrams Automatically using Design by Contract."

Published in: Education, Technology
0 Comments
2 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
1,608
On SlideShare
0
From Embeds
0
Number of Embeds
5
Actions
Shares
0
Downloads
28
Comments
0
Likes
2
Embeds 0
No embeds

No notes for slide

My M.S. Thesis Proposal

  1. 1. M.S. Thesis Proposal Yaser Sulaiman
  2. 2. Road map
  3. 3. Planning Messages in Sequence Diagramsand Analyzing the Consistency of Use Cases and Class Diagrams Automatically using Design by Contract
  4. 4. !
  5. 5. Planning Messages in Sequence Diagramsand Analyzing the Consistency of Use Cases and Class Diagrams Automatically using Design by Contract
  6. 6. Unified Modeling Language
  7. 7. Stolen from Wikipedia
  8. 8. Stolen from Wikipedia
  9. 9. Stolen from Wikipedia
  10. 10. Multi-view
  11. 11. Function SystemStructure Behavior
  12. 12. UCs SystemStructure Behavior
  13. 13. UCs SystemCDs Behavior
  14. 14. UCs SystemCDs STDs
  15. 15. UCsSDs SystemCDs STDs
  16. 16. Developed independently
  17. 17. Detecting inconsistencies
  18. 18. Cross-referencing
  19. 19. Do it AEAP
  20. 20. “The longer the defect stays in the software food chain, themore damage it causes further down the chain.” —Steve McConnell Photo by catface3
  21. 21. Problem?
  22. 22. Manual is hard Photo by TB2011
  23. 23. Generating models from others
  24. 24. Problem?
  25. 25. Manual is hard Photo by TB2011
  26. 26. Planning Messages in Sequence Diagramsand Analyzing the Consistency of Use Cases and Class Diagrams Automatically using Design by Contract
  27. 27. Automate! Photo by mkudel
  28. 28. How?
  29. 29. Planning Messages in Sequence Diagramsand Analyzing the Consistency of Use Cases and Class Diagrams Automatically using Design by Contract
  30. 30. Combine AI planning & DbC
  31. 31. Objectives
  32. 32. Investigate, formulate, & instantiate
  33. 33. Investigate, formulate, & instantiate
  34. 34. Investigate, formulate, & instantiate
  35. 35. Investigate, formulate, & instantiate
  36. 36. Planning Messages in Sequence Diagramsand Analyzing the Consistency of Use Cases and Class Diagrams Automatically using Design by Contract
  37. 37. Stolen from Eiffel
  38. 38. Correctness formulae aka Hoare triples
  39. 39. {}
  40. 40. From a mathematical notation to a programming construct
  41. 41. Preconditions, postconditions, invariants
  42. 42. The C in DbC Photo by Pioneer Library System
  43. 43. Obligations benefits for suppliers their clients
  44. 44. Separation of responsibilities Photo by Metro Transportation Library and Archive
  45. 45. Examples
  46. 46. sqrt(x:REAL): REAL require x = 0 do .. end
  47. 47. pop(): T require not empty do .. ensure not full count = old count - 1 end
  48. 48. Planning Messages in Sequence Diagramsand Analyzing the Consistency of Use Cases and Class Diagrams Automatically using Design by Contract
  49. 49. Planning Photo by Jeff the Trojan
  50. 50. S0 S1 S2 … G
  51. 51. Initial StateS0 S1 S2 … G
  52. 52. StatesS0 S1 S2 … G
  53. 53. S0 S1 S2 … G Actions
  54. 54. S0 S1 S2 … G Goal
  55. 55. Planning languages
  56. 56. Stanford Research Institute Problem Solver
  57. 57. Action Description Language
  58. 58. Preconditions effects
  59. 59. Striking similarity
  60. 60. A method in a SD* ↔An action in a plan * DbC’ed
  61. 61. State-space search
  62. 62. S0 … G
  63. 63. S0 … G
  64. 64. “Are we there yet?” Photo by Der Bettle
  65. 65. Heuristics
  66. 66. Literature Survey Photo by cjerson
  67. 67. 2 groups
  68. 68. Consistency analysisAutomatic model generation
  69. 69. Consistency analysisAutomatic model generation
  70. 70. Consistency Checking of UML Requirements Li, Liu, and He (2005)
  71. 71. J. He coauthored Unifying Theories of Programming with C. Hoare Photo by glingl
  72. 72. Consistency analysisAutomatic model generation
  73. 73. A Systematic Review of Transformation Approachesbetween User Requirements and Analysis Models Yue, Briand, and Labiche (2010)
  74. 74. Automatically Deriving UMLSequence Diagrams from Use Cases Yue, Briand, and Labiche (2010)
  75. 75. Research Questions
  76. 76. 1
  77. 77. How can SDs be automaticallygenerate from UCs and a CD that were DbC’ed?
  78. 78. 2
  79. 79. How can that process be used toanalyze the consistency between UCs and the CD?
  80. 80. 3
  81. 81. Which contract language should be used to enable those automated processes?
  82. 82. 4
  83. 83. How do the automatically-generated SDs compare to the manually-generated ones?
  84. 84. Object Constrain Language
  85. 85. UML DbC OCL
  86. 86. XML Metadata Interchange
  87. 87. Limitations Photo by Rice and D
  88. 88. DbC
  89. 89. Planning techniques languages
  90. 90. Formal methods specs
  91. 91. Informal Formal …Requirements Requirements
  92. 92. Informal Formal …Requirements Requirements
  93. 93. Planning Messages in Sequence Diagramsand Analyzing the Consistency of Use Cases and Class Diagrams Automatically using Design by Contract
  94. 94. …/presentation questions…

×