Modelling with UML, with Semantics

The review of the exam on 'Modelling with UML, with semantics' will be held at Friday 21th of October at 1pm in room G29-E20. This review is for the exam written on 26th of July this year only.

Written exam will take place on July 26th, 11-13h
Register until June 27th via LSF

Time: Tue 13-15h, G10-460
Wed 9-11h, G22a-020
Start of lecture: Tue April 5, 13h
Teaching person: Prof. Dr. Till Mossakowski
Semester: Summer semester 2016
Language: Englisch
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.



Zur Lehreseite der Forschungsgruppe Theoretische Informatik