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.

Literature:

Books and websites about UML:

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:

Exercises:

For 12.04.2016: download and install Modelio and draw a UML class diagram
For 19.04.2016: Draw a UML class diagram that models the following situation:
- There are domestic flights and international flight lines.
- Each flight line has many specific flights.
- Each flight has a number, take-off time and landing time.
- There are small and large planes.
- At most one plane is assigned to a flight --- there can be flights without any plane assinged to them (yet).
For 20.04.2016: Draw a UML class diagram that models the situation at a university, with students, teachers, courses etc. Follow the rules and guidelines presented in the lecture.
For 26.04.2016: Draw a UML class diagram that is inconsistent (i.e. that cannot be realised by any snapshot).
For 27.04.2016: Draw a sequence of UML class diagrams with the following properties. Perferably, this should be one flawed diagram that is corrected step by step.
1. Syntactically ill-formed
2. Syntactically well-formed, but static-semantically ill-formed
3. Syntactically and static-semantically well-formed, but inconsistent
4. Syntactically and static-semantically well-formed and consistent, but methodologically doubtful
5. Syntactically and static-semantically well-formed, consistent and methodologically clean
For 04.05.2016: Write a UML state machine for a chocolate vending machine. The user should be able to press buttons for choosing different types of chocoloate, and to insert coins. The chocolate should be delivered only if its price has been paid. There should also be a cancel button.
For 10.05.2016: Write a UML state machine for a vending machine that uses hierarchical states.
For 11.05.2016: For the following UML state machine (also at the blackboard), draw all active configurations and the possible transitions among them.
For 17.05.2016: For a vending machine,
- write a UML state machine,
- write a UML class diagram specifying all attributes and operations mentioned in the state machine,
- write a UML sequence diagram showing some interaction of a user with the vending machine.
For 18.05.2016: Write (again) a UML state machine for a vending machine that uses hierarchical states.
For 24.05.2015:
1. Consider the following sequence diagram: Draw a diagram show the ordering among the events. Determine all possible traces.
2. Design a sequence diagram for the interaction between a user, an ATM and a bank.
For 25.05.2015: Consider the following sequence diagram: Draw a diagram show the ordering among the events. Determine all possible traces.
For 01.06.16: Consider your solution to the exercise for 19.04.2016: Draw a UML class diagram that models the following situation:
- There are domestic flights and international flight lines.
- Each flight line has many specific flights.
- Each flight has a number, take-off time and landing time.
- There are small and large planes.
- At most one plane is assigned to a flight --- there can be flights without any plane assinged to them (yet).
Now the new part for 01.06.16. Add OCL constraints expressing
- No plane can be used for two flights at the same time.
- Small planes are used only for domestic flights.
- There is an operation to assign a plane to a specific flight. The operation can only be executed provided that the above mentioned constraints are fulfilled.
For 07.06.16: Draw a class diagram for a university, with departments, students and courses. Students and courses belong to departments, departments belong to a university. A student can participate in many courses. Formulate as OCL constraints:
1. A student may participate only in courses of his/her own university.
2. Interdisciplinarity: A student must participate in some courses that do not belong to his/her department.
3. Each department has a capacity, indicating the maximum number of participations of students in courses. This capacity must not be exceeded.
4. There is an operation that enrolls a student at a department. State that after such enrollment, the student belongs to the department.
5. No student can be enrolled at two departments.
Provide appropriate attributes, operations and association (ends) in the class diagram that are needed for the formulation of these constraints.
For 14.06.16: Write many different OCL expressions that are undefined for different reasons. Specify the class diagram that provides the context.
For 21.06.16: Write an activity diagram for a user that buys chocolate from a vending machine. The user inserts multiple coins; model this with multiple tokens (but note that tokens are not part of the activity diagram).
For 28.06.16: For an application scenario of your choice, write a set of diagrams involving at least three different diagram types. The set of diagrams shall be coherent in the sense that they speak about the same classes, attributes, operations etc.

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster

Modelling with UML, with Semantics

Contents:

Literature:

Software

Slides:

Exercises: