Modelling with UML, with Semantics

New exercise class: Friday 15-17h, starting on October 26th, in room G22A-110. Please fill up this form, if you want to be enrolled in this third group.
Time: Lecture: Thu 9-11h, G40B-238 (new room!)
Exercises: Wed 11-13h, G22A-209 or Wed 13-15h, G23-K11 (please visit one and only one of them)
Start of lecture: Thu October 11th, 9h
Start of exercises: Wed October 17th (please solve first exercise until then, see elearning platform)
Teaching person: Prof. Dr. Till Mossakowski
Semester: Winter semester 2018/19
Language: English
Hours/week: 4
Attendees: Master CV, DigEng, DKE, INF, IngINF, WIF
Prerequisites: Introduction to Theoretical Computer Science
Exam: written exam


The Unified Modeling Language (UML) is an international standard graphical notation for software engineering. UML diagrams range from class diagrams that can be used both for conceptual modeling as well as planning the structure of an implementation, over state machines modeling the behaviour, (composite) structure diagrams describing the interaction of components, to interaction diagrams modeling typical interactions of the user with the software system. The lecture will present these different diagrams and their interplay. Moreover, it will present a formal semantics of the diagram. This is needed both for their precise understanding as well as for their use as correctness for safety-critical software.


Central book Further books and websites about UML: Semantics of UML: More specialised topics: Metamodeling:


There are many UML modelling tools. We will use Papyrus and Hugo/RT. Please install both on your computer.

For installing Papyrus,
  1. first install eclipse:
  2. Go to here and enter that URL in Papyrus (under Help->Install new software)


see elearning platform


see elearning platform
New rules for exercise groups:
  1. If you vote for presentation, you get a full point. Attadandence without vote: you get one-third point of a vote.
  2. Form a group of two to present the next exercises, e.g. about class diagrams. Each member of the group shall be able to explain the solution.

Zur Lehreseite der Forschungsgruppe Theoretische Informatik