Modelling with UML, with Semantics

Written exam will take place on July 14th, 10-12h, HS1
Register for exam from May 26th until June 26th via LSF

Time: Tue 13-15h, G02-311
Wed 9-11h, G02-111
Start of lecture: Tue April 4th, 13h
Teaching person: Prof. Dr. Till Mossakowski
Semester: Summer semester 2017
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.


Books and websites about UML: Semantics of UML: More specialised topics: Metamodeling:


There are many UML modelling tools. One of them is Modelio. See here how to solve problems with installation under Ubuntu Linux.


see elearning platform


see elearning platform
Zur Lehreseite der Forschungsgruppe Theoretische Informatik