Modellierung I (Wintersemester 2007/2008)

Lecturer: Prof. Dr. Holger Giese (Systemanalyse und Modellierung)
Tutors: Dipl.-Inform. Stefan Neumann

General Information

• Weekly Hours: 4
• Credits: 6
• Graded: yes
• Enrolment Deadline: 02.11.2007
• Teaching Form:
• Enrolment Type: Compulsory Module

Programs

• IT-Systems Engineering BA

Description

Die Modellierung gehört zu den Kernaufgaben der Informatik. Sie stellt eine wesentliche Arbeitsmethode dar, die in allen Gebieten des Faches breite Anwendung findet. Probleme, seien sie das Verstehen oder Gestalten von Systemen, Lösen von Aufgaben, oder Strukturieren von Information, werden häufig als Ganzes oder in Teilaspekten modelliert. Bei einer solchen Modellierung eines Problems zeigt sich, ob und wie es verstanden wurde. Somit führt die Modellierung häufig zu einem besseren Verständnis desselben, was wiederum Voraussetzung für eine adäquate Lösung des Problems ist.

Modellierung ist somit ein essentieller Schritt zum Verstehen eines Problems. Sie ermöglicht das Kommunizieren über das Problem und liefert ein gedankliches Hilfsmittel zum Gestalten, Bewerten oder Kritisieren einer geplanten Lösung oder der Anforderungen an eine Lösung. Modelle ermöglichen die Durchführung von Experimenten, die am Original häufig nicht durchgeführt werden können und ermöglicht das Aufstellen und Prüfen von Hypothesen über beobachtete oder postulierte Phänomene in Bezug auf das Problem.

Die bei der Modellierung gewonnenen Einblicke liefern darüber hinaus meist auch den Schlüssel für einen systematischen Entwurf. Deswegen hat es sich als sinnvoll erwiesen Probleme zu modellieren, bevor man versucht sie oder Teile von ihnen durch den Entwurf von Software, Algorithmen, Daten und/oder Hardware zu lösen bzw. zu implementieren.

Als Mittel für die Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung, die es erlauben sowohl Strukturen als auch das Verhalten zu spezifizieren. Neben sehr allgemeinen Kalkülen und Notationen existieren für unterschiedliche Arten von Problemen und Aufgaben teilweise spezifische Ansätze, so dass in den verschiedenen Gebieten der Informatik unterschiedliche Modellierungsmethoden eingesetzt werden. Blickt man über den Tellerrand der Informatik hinaus, ist die anzutreffende Vielfalt noch größer. Der überwältigenden Mehrheit dieser Kalküle und Notationen liegen allerdings wenige fundamentale Kalküle und Notationen zugrunde, auf die wir uns hier in dieser Veranstaltung beschränken wollen.

Requirements

-     keine

Literature

Die Folien zur Vorlesung werden im internen Bereich zur Verfügung gestellt.

Zur Ergänzung und Vertiefung der Lehrinhalte werden die folgenden Bücher und Artikel empfohlen:

[1]  Uwe Kastens und Hans Kleine Büning. Modellierung: Grundlagen und formale Methoden. Carl Hanser Verlag. 2005. ISBN 3-446-40460-0

[2]  Manfred Broy und Ralf Steinbrüggen. Modellbildung in der Informatik. Springer-Verlag. 2004. ISBN 3-540-44292-8

[3]  Ludewig, Jochen, Models in software engineering - an introduction, Software and Systems Modeling, 2, 1, 3/1/2003, Page 5, DOI 10.1007/s10270-003-0020-3

Learning

Es finden zwei 90-minütige Vorlesungen pro Woche statt. Alle zwei Wochen werden Übungen anstelle der Vorlesung stattfinden, in denen die Lösungen für die ca. 2 Wochen vorher gestellten Aufgaben durch die Studierenden vorgeführt werden sollen. Die Abgabe muss dabei in der Woche vor der Übung erfolgt sein (Details folgen). Die Lösungen sollen in Gruppen von 3-4 Studierenden erstellt werden. Jedes Mitglied einer Gruppe muss jeweils anteilig die Verantwortung für Lösungen der Aufgaben seiner Gruppe übernehmen und muss die Lösungen alleine vorstellen können.

Examination

Vorraussetzung für die Teilnahme an der Klausur ist die aktive Teilnahme an der Übung und ausreichende Bearbeitung der Übungsaufgaben. Um zur Abschlussklausur zugelassen zu werden, müssen alle bis auf ein Aufgabenblatt zumindest ausreichend bearbeitet und vorgeführt worden sein.

Zur differenzierten Leistungsbewertung wird dann eine abschließende 90-minütige Klausur herangezogen. Die Klausur findet nach Ende der Vorlesungszeit statt. Es finden gegebenenfalls Nachprüfungen statt. Bitte bei Frau Miers anmelden. Die maximal erreichbare Note in der Nachprüfung ist die 4,0.

Dates

Aktualisiert am 06.03.2008

Klausureinsicht:

• Die Klausureinsicht findet am 15.04.08 im Raum A-2.4 von 11:00 - 16:00 Uhr statt

Nachprüfungen (mündlich):

• Datum
  • 23.04.08 
    
• Raum: A-2.5
• Anmeldung bei Frau Miers (Kerstin.Miers(at)hpi.uni-potsdam.de)
• Studenten mit Note 5.0 können sich zur Nachprüfung anmelden (bestmögliche erreichbare Note ist eine 4.0)

Vorlesung:

• Uhrzeit
  • Mittwochs 09:20Uhr - 10:50Uhr
  • Freitags 09:20Uhr - 10:50Uhr
• Datum
  • 17.10.2007
  • 24.10.2007
  • 26.10.2007
  • 02.11.2007
  • 14.11.2007
  • 16.11.2007
  • 21.11.2007
  • 23.11.2007
  • 28.11.2007
  • 30.11.2007
  • 05.12.2007
  • 07.12.2007
  • 12.12.2007
  • 14.12.2007
  • 19.12.2007
  • 09.01.2008
  • 11.01.2008
  • 23.01.2008
  • 25.01.2008
  • 30.01.2008
  • 01.02.2008
  • 06.02.2008
  • 08.02.2008

Übungen:

• Montag 15:15Uhr - 16:45Uhr
  • A-2.2 Betreuer: Felix Elliger
  • BE.2 Betreuer: Nico Rehwaldt
  • C-2.13 Betreuer: Fabian Lindenberg
• Dienstag: 15:15Uhr - 16:45Uhr
  • A-1.1 Betreuer: Alexander Kuscher
  • A-2.1 Betreuer: Michael Grünewald
  • A-1.14 Betreuer: Sebastian Kölle
• Dienstag: 17:00Uhr - 18:30Uhr
  • A-1.2 Betreuer: Felix Elliger
  • A-2.1 Betreuer: David Schwalb
  • A-2.2 Betreuer: Fabian Lindenberg
• Mittwoch 13:30Uhr - 15:00Uhr
• A-1.2 Betreuer: Nico Rehwaldt
• Donnerstag 15:15Uhr-16:45Uhr
• A-1.1 Betreuer: David Schwalb
• Freitag: 15:15Uhr - 16:45Uhr
  
  • A-1.1 Betreuer: Alexander Kuscher
  • A-1.2 Betreuer: Michael Grünewald
  • A-2.1 Betreuer: Sebastian Kölle

  Wochen(2007):

  • 44. Woche
  • 46. Woche
  • 48. Woche
  • 50. Woche

  Wochen(2008):

  • 2. Woche
  • 4. Woche
  • 6. Woche
  
  
   

E-Mail-Adressen der Übungsgruppenleiter:

David Schwalb: david.schwalb(at)student.hpi.uni-potsdam.de

Felix Elliger: felix.elliger(at)student.hpi.uni-potsdam.de

Nico Rehwald: nico.rehwaldt(at)student.hpi.uni-potsdam.de

Michael Grünewald: michael.gruenewald(at)student.hpi.uni-potsdam.de

Fabian Lindenberg: fabian.lindenberg(at)student.hpi.uni-potsdam.de

Alexander Kuscher: alexander.kuscher(at)student.hpi.uni-potsdam.de

Sebastian Kölle: sebastian.koelle(at)student.hpi.uni-potsdam.de

Zurück