Introducing XModelerML v3.2 [German]
The following screencast provides a concise overview of the XModelerML v3.2 in German. A more detailed exploration of general tool features is provided here.
Formal Models — Identifying Valid Instance Models with UML++
The following tasks aims at a purely formal analysis of object models. Students are given a class diagram with arbitrary names (A, B, C, etc.). Additionally, students are provided with various object diagrams. For each of the provided instance diagrams, the students should decide whether or not the object diagram is a valid instance of the class diagram. This kind of modeling task was inspired by the works of Prof. Voigtländer and his research group from the University of Duisburg-Essen.
The following screencast shows how such a task may be addressed using the XModelerML.
Portaview — Constructing Object Models with UML++ [German]
The following task provides students with a domain description that intermingles information at various levels of abstractions. Students themselves must identify instance-level information as such and construct adequate abstractions over them.
- Download Task Description [German]
- Download Reference Solution as PDF [German]
- Download Reference Solution as UML++ Model (can be opened in tool) [German]
Rental Car Case Study — Analysis of Object Models with UML++ [German]
Provided with a class diagram and three different scenarios consisting of instance-level information, students are asked to analyze the initial model, identify deficiencies, and avoid threats to the integrity of the model. The following three screencasts discuss in detail how each scenario may be approached, what problems occur, and what various ways exist to counteract them.
- Download Initial Model [German]
- Download Task Description [German]
- Download Reference Solution as UML++ Model (can be opened in tool) [German]
Screencast for analysis of scenario 1:
Screencast for analysis of scenario 2:
Screencast for analysis of scenario 3:
Delegation
The following two files illustrate problems that may occur when modeling specialization relationships and show how delegation may be suited to overcome these problems.
- Screenshot of UML++ Model Using Delegation
- Example UML++ Model Using Delegation (can be opened in tool)


