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

1. M.S. Thesis Proposal
Yaser Sulaiman

3. Road map

4. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract

5. !

6. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract

7. Unified Modeling Language

8. Stolen from Wikipedia

9. Stolen from Wikipedia

10. Stolen from Wikipedia

11. Multi-view

12. Function
System
Structure Behavior

13. UCs
System
Structure Behavior

14. UCs
System
CDs Behavior

15. UCs
System
CDs STDs

16. UCs
SDs
System
CDs STDs

17. Developed independently

18. Detecting inconsistencies

19. Cross-referencing

20. Do it AEAP

21. “The longer the defect stays in the software food chain, the
more damage it causes further down the chain.”
—Steve McConnell
Photo by catface3

22. Problem?

23. Manual is hard
Photo by TB2011

24. Generating models from others

25. Problem?

26. Manual is hard
Photo by TB2011

27. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract

28. Automate!
Photo by mkudel

29. How?

30. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract

31. Combine AI planning & DbC

32. Objectives

33. Investigate, formulate, & instantiate

34. Investigate, formulate, & instantiate

35. Investigate, formulate, & instantiate

36. Investigate, formulate, & instantiate

37. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract

38. Stolen from Eiffel

39. Correctness formulae
aka Hoare triples

40. ������ ������ {������}

41. From a mathematical notation to a
programming construct

42. Preconditions, postconditions, &
invariants

43. The C in DbC
Photo by Pioneer Library System

44. Obligations & benefits for suppliers
& their clients

45. Separation of responsibilities
Photo by Metro Transportation Library
and Archive

46. Examples

47. sqrt(x:REAL): REAL
require
x >= 0
do
..
end

48. pop(): T
require
not empty
do
..
ensure
not full
count = old count - 1
end

49. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract

50. Planning
Photo by Jeff the Trojan

51. S0 S1 S2 … G

52. Initial State
S0 S1 S2 … G

53. States
S0 S1 S2 … G

54. S0 S1 S2 … G
Actions

55. S0 S1 S2 … G
Goal

56. Planning languages

57. Stanford Research Institute
Problem Solver

58. Action Description Language

59. Preconditions & effects

60. Striking similarity

61. A method in a SD*
↔
An action in a plan
* DbC’ed

62. State-space search

63. S0 … G

64. S0 … G

65. “Are we there yet?”
Photo by Der Bettle

66. Heuristics

67. Literature Survey
Photo by cj&erson

68. 2 groups

69. Consistency analysis
Automatic model generation

70. Consistency analysis
Automatic model generation

71. Consistency Checking of UML
Requirements
Li, Liu, and He (2005)

72. J. He coauthored Unifying Theories
of Programming with C. Hoare
Photo by glingl

73. Consistency analysis
Automatic model generation

74. A Systematic Review of
Transformation Approaches
between User Requirements and
Analysis Models
Yue, Briand, and Labiche (2010)

75. Automatically Deriving UML
Sequence Diagrams from Use Cases
Yue, Briand, and Labiche (2010)

76. Research Questions

77. 1

78. How can SDs be automatically
generate from UCs and a CD that
were DbC’ed?

79. 2

80. How can that process be used to
analyze the consistency between
UCs and the CD?

81. 3

82. Which contract language should be
used to enable those automated
processes?

83. 4

84. How do the automatically-
generated SDs compare to the
manually-generated ones?

85. Object Constrain Language

86. UML DbC OCL

87. XML Metadata Interchange

88. Limitations
Photo by Rice and D

89. DbC

90. Planning techniques & languages

91. Formal methods & specs

92. Informal Formal
…
Requirements Requirements

93. Informal Formal
…
Requirements Requirements

94. Planning Messages in Sequence Diagrams
and Analyzing the Consistency of Use Cases
and Class Diagrams Automatically using
Design by Contract

95. …</presentation>
<questions>…