Foundations of UML: Lecture 5: Compositional Message Sequence Graphs

Foundations of UML: Lecture 5: Compositional Message Sequence Graphs (Mo, 15.11.2021)

Video von 2020

00:11:04	Definition Compositional MSCs
00:19:51	Composition of CMSCs
00:40:58	Definition Compositional MSG
00:45:00	Definition CMSG Language
00:54:27	Definition Safe path
00:55:23	Definition Safe CMSG
00:56:50	Undecidability of existence of a safe path