You are here: Home › Teaching › Winter Term 2014/2015 › Software Design, Modelling, and …

Software Design, Modelling, and Analysis in UML

The model-driven approach to software and systems development proposes to address quality and complexity issues in the development process. The usage of modelling languages not only for documentation, but, e.g., for automated analysis, test generation, and code generation is gaining momentum in particular in the context of (safety) critical software development. The necessary pre-requisites are a semantically founded modelling language and methods and tools for analysis. We will take the Unified Modelling Language (UML) as an example and demonstrate how to equip a relevant sublanguage (sometimes referred to as executable core) with a precise meaning in line with the official standard documents. To complement these discussions, we provide access to a contemporary UML modelling tool and use it for some of the exercises.
Course type Lecture
Instructors Prof. Dr. Andreas Podelski, Bernd Westphal
Lecture Tuesday, 8:00–10:00, SR 51-03-026
Thursday, 8:00–10:00, SR 51-03-026
Exercise Thursday, 8:00–10:00, SR 51-03-026
First session Lecture 21.10.2014
Exercise tba
Language of instruction English
Credits 6
Exams see below
Course Catalog Software Design, Modelling and Analysis in UML

 

Quicklinks: News - Formalia - Plan - Links & Literature

 

News

  • 2015-03-12: exam review ("Klausureinsicht"), Thursday, March 19., 2015, 14:00 - 16:00, room 52-00-020
  • 2014-12-22: submission dates for Exercise Sheet 5 is - of course - in 2015...
  • 2014-11-25: exam form, date, time, and place fixed - see below
  • 2014-11-11: lecture recordings from now on provided by the ILIAS platform, as stream and for download - please inform us if you have trouble accessing the recordings; to see the stream, you may need to be logged on to ILIAS before clicking the link
  • 2014-10-20: aha, seems that the eLectures server is officially no longer in use since summer 2014..., so recordings are only here for the moment
  • 2014-10-06: homepage online

Formalia

Prerequisites for admission to the final exam, form of the final exam, and everything will be announced in the first lecture.

Admission criteria

50% of the total admission (or: good will) points in the exercises are sufficient for exam admission. (For example, perfect solutions to exercise sheets 1, 3, 5, and 7 and no solutions to 2, 4, and 6 would satisfy this requirement; so would 50% of the points in each exercise). 

Exercise Submission Scheme

The exercise sheets are online early in order to allow you to be aware of the tasks while following the lecture. There will be an early/regular submission scheme following a pattern to be announced.

Note: The exercises will be rated on two scales: admission points (given your knowledge before the tutorial, how sensible is your proposal; "good will rating", "upper bound") and exam points (given the additional knowledge from the comments on your proposal and the tutorial, how many points would your proposal at least be worth in a written exam; "evil rating", "lower bound").

Exam

There will be a written exam:

  • Monday, 2nd of March, 2015
  • 90 min. starting at 10:00 c.t.
  • room 101-010/14

Note: The module result (grade, "Note") is completely determined by the exam.

Resources

Slides, Exercises, and Recordings

Note: the following plan is tentative

in the sense that the assignment of topics to dates is subject to change depending on the flow of the lecture. The assignment of form (lecture or tutorial) to dates is fixed. Slides will be typically only provided after the lecture.

 

Note: the TechSmith Screen Capture Codec seems to be necessary for playback of the recordings provided on the Electure portal.
  • Di, 21.10.: VL 01 "Introduction"
    Motivation, Overview, Formalia.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Do, 23.10.: VL 02 "Semantical Model" + exercise sheet 1 online
    Why (of all things) UML? Mathematical Foundation: Signature, Structure, System State.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 28.10.: VL 03 "OCL"
    Syntax of an (interesting fragment) of OCL.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Do, 30.10.: VL 04 "OCL Semantics"
    Formal semantics of an (interesting fragment) of OCL over system states.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 4.11.: Tutorial 1
  • Do, 6.11.: VL 05 "Object Diagrams, OCL Continued" + exercise sheet 2 online
    Relating system states and object diagrams; a notion of consistency for OCL.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 11.11.: VL 06 "Class Diagrams I"
    Mapping class diagrams to (extended) signatures.
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Do, 13.11.: VL 07 "Class Diagrams II"
    Extended signatures cont'd; stereotypes.
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di, 18.11.: Tutorial 2
  • Do, 20.11.: VL 08 "Class Diagrams III" + exercise sheet 3 online
    Visibility.
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di, 25.11.: VL 09 "Class Diagrams IV"
    Associations (syntax, system state, OCL).
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Do, 27.11.: VL 10 "Class Diagrams V"
    Associations cont'd (OCL).
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
    (Recording of Rhapsody demo in native resolution: ILIAS-Download, ILIAS-Stream)
  • Di,  2.12.:  Tutorial 3 
  • Do,  4.12.: VL 11 "Core State Machines I" + exercise sheet 4 online
    Associations, the rest; where to put OCL constraints; Basic UML state machines (syntax)
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di, 9.12.: VL 12 "Core State Machines II"
    Basic UML state machines continued (basic causality model; event pool).
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Do, 11.12.: VL 13 "Core State Machines III"
    Basic UML state machines continued (system configuration, basic causality model, transformers, re-use semantics of create)
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di, 16.12.: Tutorial 4
  • Do, 18.12.: VL 14 "Core State Machines IV" + exercise sheet 5 online
    Basic UML state machines completed (run-to-completion: discard, dispatch, commence; environment interaction, error)
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di,  23.12.: tba.
  • Do,  8. 1.: VL 15 "Core State Machines V"
    Create/Destroy transformer, step, RTC-step
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di, 13. 1.: Tutorial 5
  • Do, 15. 1.: VL 16 "Hierarchical State Machines I" + exercise sheet 6 online
    Divergence, Initial states, model semantics; Rhapsody demo
    (Slides (with annotations), 2-up, 6-up, Rhapsody-Project, Recording: ILIAS-Download, ILIAS-Stream)
  • Di, 20. 1.: VL 17 "Hierarchical State Machines Ib"
    General (hierarchical) UML state machines syntax; initial and final states.
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Do, 22. 1.: VL 18 "Hierarchical State Machines II"
    Composite states; Remaining pseudo-states; constructive vs. reflective description of behaviour; Dynamic Reflective Descriptions, Interactions, Sequence Diagrams, LSC syntax; Symbolic Büchi Automata; language of a model; Signal and Attribute expressions
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di, 27. 1.: Tutorial 6
    (Embedded Mini Lecture: Slides (with annotations), 2-up, 6-up)
  • Do, 29. 1.: VL 19 "Hierarchical State Machines III" + exercise sheet 7 online
    Deferred Events, Behavioural Features
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di,  3. 2.: VL 20 "Live Sequence Charts"
     LSC abstract syntax; Symbolic Büchi Automaton-based semantics
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Do, 5. 2.: VL 21 "Inheritance"
    Syntax of inheritance; Desired semantics of inheritance: Liskov Substitution Principle; Domain inclusion and uplink semantics, idea and principles
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Di, 10. 2.: VL 22 "Meta-Modeling" + "Wrapup + Questions"
    how to read the UML standard documents
    (Slides (with annotations), 2-up, 6-up, Recording: ILIAS-Download, ILIAS-Stream)
  • Do, 12. 2.: Tutorial 7

Links & Literature