Foundations of UML: Lecture 3: Message Sequence Graphs (Do, 04.11.2021)
  • Einbetten

Beschreibung:

Video von 2020

Kapitel:

00:14:59
Definition Message Sequence Graph
00:19:19
Definition Concatenation of MSCs
00:32:12
Properties of Concatenation
00:35:57
Definition Paths in MSGs
00:44:01
Definition Language of an MSG
00:45:03
Definition Word Language
00:49:51
Definition Races in MSGs
00:57:10
Undecidability of empty intersection