Foundations of UML

Semester:	Wintersemester 2021/22
Veranstalter:	Prof. Katoen
Bemerkungen:	Videos vom Lehrstuhl selbst aufgezeichnet und uns zur Verfügung gestellt. Einige Aufnahmen sind aus 2020.

Videos

- Lecture 1: Introduction / Message Sequence Charts
- Do, 14.10.2021, 16:30 Uhr
- Lecture 2: Races
- Do, 21.10.2021, 16:30 Uhr
- Lecture 2: Races
- Do, 28.10.2021, 16:30 Uhr
- Video von 2020
- Lecture 3: Message Sequence Graphs
- Do, 04.11.2021, 16:30 Uhr
- Lecture 4: Message Sequence Graphs
- Mo, 08.11.2021, 16:30 Uhr
- Video von 2020
- Lecture 5: Compositional Message Sequence Graphs
- Mo, 15.11.2021, 16:30 Uhr
- Lecture 6: Compositional Message Sequence Graphs
- Do, 18.11.2021, 16:30 Uhr
- Video von 2020
- Definition Pushdown automaton
- Definition Configuration
- Definition Successor
- Lecture 7: Communicating Finite-State Machines
- Mo, 22.11.2021, 16:30 Uhr
- Lecture 9: Bounded MSCs and CFMs
- Do, 25.11.2021, 16:30 Uhr
- Lecture 09: Realisability
- Mo, 29.11.2021, 16:30 Uhr
- Video von 2020
- Realisability
- Realisability Problem
- Deterministic CFM
- Deadlock-free CFM
- Weak CFM
- Realisability of MSC
- Inference
- MSC projection
- Inference Relation
- Closure under Inference
- Realisability under Closure
- Lecture 10: Realisability
- Mo, 06.12.2021, 16:30 Uhr
- Lecture 11: Safe Realisability
- Do, 09.12.2021, 16:30 Uhr
- Lecture 12: Regularity and Realisability
- Mo, 13.12.2021, 16:30 Uhr
- Lecture 13: Local Choice MSGs and Regular Expressions on MSCs
- Do, 16.12.2021, 16:30 Uhr
- Lecture 14: Realising Local-Choice MSGs
- Mo, 20.12.2021, 16:30 Uhr
- Lecture 15: A Logic for MSCs
- Mo, 10.01.2022, 16:30 Uhr
- Lecture 16: A Logic for MSCs (Part 2)
- Do, 13.01.2022, 16:30 Uhr
- Lecture 17: Introduction to Statecharts
- Do, 20.01.2022, 16:30 Uhr
- Lecture 19: Statechart Semantics (2)
- Do, 27.01.2022, 17:00 Uhr