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.

Literature:

Books and websites about UML:

Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel: UML@Classroom. An Introduction to Object-Oriented Modeling. Springer 2015 (book can be downloaded from within the university)
Grady Booch, Alan Brown, Sridhar Iyengar, James Rumbaugh, Bran Selic. An MDA Manifesto. MDA Journal, May 2004.
The Unified Modeling Language
Grady Booch, James Rumbaugh, Ivar Jacobson: The Unified Modeling Language User Guide. Addison-Wesley, 2005
Grady Booch, James Rumbaugh, Ivar Jacobson: The Unified Modeling Reference Manual. Addison-Wesley, 2005
Systems Engineering with SysML/UML - see chapter 3 about UML
Marco Brambilla, Jordi Cabot, Manuel Wimmer. Model-Driven Software Engineering in Practice. Morgan & Claypool, 2012.
Volker Gruhn, Daniel Pieper, Carsten Röttgers. MDA. Springer, 2006 [in German]
Additional literature

Semantics of UML:

P.H.Schmitt. UML and its Meaning. Winter 2002/2003
Kevin Lano, editor. UML 2 - Semantics and Applications. Wiley, 2009
program written in SWI-Prolog for computing the set of traces. Note that a>b means "event a occurs later than event b". Store the program into traces.pl, and then enter [traces]. in order to load it.

Software

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

Slides:

see elearning platform

Exercises:

see elearning platform

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster

Modelling with UML, with Semantics

Contents:

Literature:

Software

Slides:

Exercises: