My M.S. Thesis Proposal

  • 966 views
Uploaded 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 …

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."

More in: Education , Technology
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
No Downloads

Views

Total Views
966
On Slideshare
0
From Embeds
0
Number of Embeds
1

Actions

Shares
Downloads
9
Comments
0
Likes
1

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

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