Wed 19-21h, G29-307 (new time and place)

Thu 13-15h, G22a-020 (new place)

Lehrbeauftragter: |
Prof. Dr. Till Mossakowski |

Semester: |
Sommersemester 2015 |

Sprache: |
Englisch |

Wochenstunden: |
4 |

Zuhörerkreis: |
Master CV, DigEng, DKE, INF, IngINF, WIF |

- 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]

- P.H.Schmitt. UML and its Meaning. Winter 2002/2003
- Kevin Lano, editor. UML 2 - Semantics and Applications. Wiley, 2009

- Siegfried Nolte. QVT Operational Mappings. Springer, 2010.
- Kevin Lano, editor. UML 2 - Semantics and Applications. Wiley, 2009

- 07.04.2015
- 09.04.2015
- 14.04.2015
- 16.04.2015
- 22.04.2015
- 23.04.2015
- 29.04+30.04.+06.05.2015
- 07.05.2015
- 20.05.2015
- 21.05.2015, part 1
- 21.05.2015, part 2
- 28.05.2015
- 03.06.2015
- 04.06.2015
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. - 10.06.2015
- 11.06.2015
- 01.07.2015
- 02.07.2015
- 09.07.2015

- For Wed 22.04.2015: write some class diagram about university, students, teachers, courses, rooms...
- For Wed 29.04.2015: extend the class diagram using eatures such as generalisation sets with constraints, enumeration types, packages, visibility, composites, and draw some object diagram, too
- For Wed 06.05.2015: try out UMLtoCSP or EMFtoCSP
- For Tue 14.05.2015: write some UML state machine modeling a vending machine of your choice (possibly a machine selling different products)
- For Wed 03.06.2015:
- Consider the following sequence diagram:
Draw a diagram show the ordering among the events.
Determine all possible traces.

- Design a sequence diagram for the interaction between a user, an ATM and a bank.

- Consider the following sequence diagram:
Draw a diagram show the ordering among the events.
Determine all possible traces.
- For Wed 10.06.2015:
- Write the sequence diagram for the interaction between a
user, an ATM and a bank, using interaction operators like
`seq`,`alt`and`loop`. - Write a sequence diagram using the
`par`and`region`interaction operators.

- Write the sequence diagram for the interaction between a
user, an ATM and a bank, using interaction operators like
- For Wed 24.06.2015: enhance some of your diagrams with OCL formulas

Zur Lehreseite der Forschungsgruppe Theoretische Informatik

Webmaster