You are here: Home Teaching Winter Term 2012/2013 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, 10:00–12:00, SR 051-03-026
Wednesday, 10:00–12:00, SR 051-03-026
Exercise Tuesday, 10:00–12:00, SR 051-03-026
First session Lecture 23.10.12
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

  • 2013-01-08: Exercise Sheet 5, Figure 3(b) reads "n \rightarrow x".  It is supposed to be "n.x" (in our expression language OCL); it becomes something similar to "n->x" in C++ in Rhapsody.
  • 2012-12-04: exam date fixed
  • 2012-10-26: submission dates on exercise sheet fixed
  • 2012-10-26: recordings finally online, sorry for the delay

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

  • an oral exam of length 30 min.
  • date/time: 21.3.2013, 28.2.2013

 

Please contact the examination office for time slots.

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, 23.10.: VL 01 "Introduction"
    Motivation, Overview, Formalia.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Mi, 24.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, 30.10.: VL 03 "OCL"
    Syntax of an (interesting fragment) of OCL and formal semantics over system states.
    (Slides (without annotations), 2-up, 6-up, Recording)
  • Mi, 31.10.: VL 04 "Object Diagrams"
    A notion of consistency for OCL; relating system states and object diagrams.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 6.11.: Tutorial 1
  • Mi, 7.11.: VL 05 "Class Diagrams I" + exercise sheet 2 online
    Mapping class diagrams to (extended) signatures.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 13.11.: VL 06 "Type Systems and Visibility"
    A simple type-system for OCL; an extension to explain the effect of visibility.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Mi, 14.11.: VL 07 "Class Diagrams II"
    Associations (syntax, system state).
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 20.11.: Tutorial 2
  • Mi, 21.11.: VL 08 "Class Diagrams III" + exercise sheet 3 online
    Associations continued (associations and OCL).
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 27.11.: VL 09 "Class Diagrams IV"
    Associations completed. When is a class diagram a good class diagram?
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Mi, 28.11.: VL 10 "Core State Machines I"
    Basic UML state machines  (syntax, ether, signal event); Mid-Term (naja) Evaluation
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di,  4.12.: Tutorial 3
  • Mi,  5.12.: VL 11 "Core State Machines II" + exercise sheet 4 online
    Basic UML state machines continued (system configuration, transformers, re-use semantics of create)
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 11.12.: VL 12 "Core State Machines III"
    Basic UML state machines continued (run-to-completion: discard, dispatch, commence). Difference between reflective and constructive descriptions of behaviour.
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Mi, 12.12.: VL 13 "Core State Machines IV"
    Basic UML state machines continued (environment interaction, error)
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 18.12.: Tutorial 4
  • Mi, 19.12.: VL 14 "Core State Machines V" + exercise sheet 5 online
    Basic UML state machines completed (environment interaction, error), initial states, model semantics
    (Slides (with annotations), 2-up, 6-up, Rhapsody-Project, Recording)
  • Di,  8. 1.: VL 15 "Hierarchical State Machines I"
    General (hierarchical) UML state machines
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Mi,  9. 1.: VL 16 "Hierarchical State Machines II"
    Hierarchical state machines continued: composite state
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 15. 1.: Tutorial 5
  • Mi, 16. 1.: VL 17 "Live Sequence Charts I" + exercise sheet 6 online
    Remaining pseudo-states. Dynamic Reflective Descriptions, Interactions, Sequence Diagrams, LSC syntax
    (Slides (with annotations), 2-up, 6-up, Recording, Rhapsody projects)
  • Di, 22. 1.: VL 18 "Live Sequence Charts II"
    Symbolic Büchi Automata; language of a model; Signal and Attribute expressions
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Mi, 23. 1.: VL 19 "Live Sequence Charts III, Deferred Events, Behavioural Features"
    LSC abstract syntax; Symbolic Büchi Automaton-based semantics
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 29. 1.: Tutorial 6
  • Mi, 30. 1.: VL 20 "Inheritance I" + exercise sheet 7 online
    Deferred Events, Behavioural Features, Passive Objects; Syntax of inheritance; Desired semantics of inheritance: Liskov Substitution Principle
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di,  5. 2.: VL 21 "Inheritance II"
    Domain inclusion and uplink semantics, idea and principles
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Mi,  6. 2.: VL 22 "Meta-Modeling"
    how to read the UML standard documents
    (Slides (with annotations), 2-up, 6-up, Recording)
  • Di, 12. 2.: Tutorial 7
  • Mi, 13. 2.: "Wrapup + Questions"
    (Slides (with annotations), 2-up, 6-up, Recording)

Links & Literature