Systems Modelling

Note. If you click on a link and you're asked for a password, don't panic: It just means that the corresponding file has not yet been uploaded. Lecture slides will be uploaded the day before each lecture.

Lectures

• 03.09 - Introduction and Domain Modelling (F.M. Maggi)
  • Slides
  • MagicDraw_17_0_3_Enterprise
  • Material
• 10.09 - Domain Modelling (F.M. Maggi)
  • Slides
  • Scenarios Solutions
• 17.09 - Domain Modelling (F.M. Maggi)
  • Slides
  • Exercises Solutions
• 24.09 - Domain Modelling (F.M. Maggi)
  • Slides
  • Exercises Solutions
• 01.10 - Use Cases (F.M. Maggi)
  • Slides
  • Template and example
• 08.10 - Sequence Diagrams (F.M. Maggi)
  • Slides
  • Download MagicDraw project
• 15.10 - Design Patterns, Application Modelling & Code Generation (F.M. Maggi)
  • Tutorial Code Generation
  • more about patterns
• 22.10 - State Modelling (M. Dumas)
  • Slides (in PPT)
• 29.10 - State Modelling (M. Dumas)
  • Slides (in PPT)
• 05.11 - State Modelling: Yakindu (V. Vojdani)
  • Slides
• 12.11 - TLA: TruLy Agile System Design (V. Vojdani)
  • Slides
• 19.11 - TLA: Safety in Concurrent Systems (V. Vojdani)
  • Slides (Wayne Ch5, code).
• 26.11 - TLA: Liveness and Temporal Logic (V. Vojdani)
  • Slides (Wayne Ch6, exercises/code)
• 03.12 - TLA: Exercises (V. Vojdani)
  • Exercises
• 10.12 - Exam Preparation
  • Exams from 2017: Variant A and Variant B.
  • For TLA examples, see previous lecture.