Modelling with UML, with semantics

Vorlesung im Sommersemester 2014

Lehrbeauftragter: Prof. Dr. Till Mossakowski
Wochenstunden: 4
Zuhörerkreis: Master INF, DKE, IngINF, DigEng


Exams will take place at July 21st, July 23rd, July 28th and August 5th. Registration for exams will take place in the lectures at July 1st.


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.


New: english books and websites about UML:


Zur Lehreseite der Forschungsgruppe Theoretische Informatik