The language was changed to English.

Course Type (SWS)
Lecture: 2 │ Exercise: 1 │ Lab: 0 │ Seminar: 0
Exam Number: ZKD 59506
Type of Lecture:

 Lecture with beamer, exercises

Language: German
Cycle: WS
ECTS: 4
Exam Type

Written exam, 90 minutes

Written Exam (120 min.)
assigned Study Courses
assigned People
assigned Modules
Information
Beschreibung:

Neben der Programmierung und dem Verständnis der theoretischen Grundlagen ist die Fähigkeit zur Abstraktion und Bildung von Modellen eine wesentliche Grundkompetenz eines Informatikers. Diese Veranstaltung behandelt die Aspekte der informatischen Modellierung von intuitiven und semi-formalen Methoden bis hin zu formalen Techniken.
Inhalte im Einzelnen:
- Einführung der Grundbegriffe, Zustandsdiagramme
- Petri-Netze (Grundlagen und Eigenschaften von Petrinetzen, Erreichbarkeits- und Überdeckungsgraphen)
- UML (Unified Modelling Language mit wesentlichen Diagrammtypen, v.a. Klassen- und Objektdiagramme und Verhaltensdiagramme)

Lernziele:

Durch diese Veranstaltung sollen die Studierenden in die Lage versetzt werden,
- wesentliche praxisrelevante Modellierungsmethoden (UML, Petri-Netze) zu verstehen und anzuwenden
- praktische Beispiele mit Hilfe von Modellierungstechniken zu analysieren und Modelle daraus zu erstellen / zu synthetisieren
- verschiedene Vorgehensweisen der Modellierung bezüglich des Detailgrads und der Formalisierung zu kennen und beurteilen zu können.

Literatur:

- Broy: Informatik, eine grundlegende Einführung (Springer 1998)
- Sowa: Conceptual Structures (Addison-Wesley 1984)
- Jeckle et al.: UML2 glasklar (Hanser 2003)
- Reisig: Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien (Vieweg+Teubner, 2010)
- Harel/Politi, Modeling Reactive Systems with Statecharts (McGraw-Hill 1998)

Vorleistung:
Infolink:
Bemerkung:
Description:

Besides programming skills and understanding of theoretical concepts, abstraction and formation of models is an essential capability of computer scientists. This course deals with important aspects of modelling in computer science, ranging from intuitive and semi-formal methods to formal techniques.
Contents:
- Introduction of basic concepts, state diagrams
- Petri nets (basic concepts and properties of Petri nets, reachability and covering graphs)
- UML (Unified Modelling Language with essential diagram types, especially class and object diagrams and behavioural diagrams)

Learning Targets:

Students will learn to
- apply important modelling methods (UML, Petri nets)
- analyze practical examples by using modelling techniques and to create/synthesize own models
- learn about the differences between various modelling methods with regard to level of detail and degree of formalization

Literature:

- Broy: Informatik, eine grundlegende Einführung (Springer 1998)
- Sowa: Conceptual Structures (Addison-Wesley 1984)
- Jeckle et al.: UML2 glasklar (Hanser 2003)
- Reisig: Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien (Vieweg+Teubner, 2010)
- Harel/Politi, Modeling Reactive Systems with Statecharts (McGraw-Hill 1998)

Pre-Qualifications:
Info Link:
Notice: