9. Week 10. Analysis Model - Behavior

• Presentation 5: UML Sequence and State Diagrams ( lecture ).

• Modeling dynamic properties of the system - spectrum of the tools

• Sequence diagrams in modeling interaction between modules

• Modeling behavior of a module using state diagram

• Modeling concurrency with activity diagrams

• Activity diagram with states

• Role of formalism in modeling

  • State diagrams - automata

  • Activity diagrams - Petri Nets

  • Generating executable code from a model

  • Executable specification

  • Factors in choosing the level of formalism

• Milestone: End of Week 10 -- April 3rd -- Analysis model due.