Vorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12

Transkript

1 Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Barbara König Modellierung 1

2 Das heutige Programm Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Prüfung Literatur & Folien Einführung und Motivation: Was ist Modellierung? Inhalt der weiteren Vorlesung Barbara König Modellierung 2

3 Wer sind wir? Dozentin: Prof. Barbara König Raum LF barbara Sprechstunde: nach Vereinbarung Übungsleitung: Dr. Sander Bruggink Raum LF Web-Seite: Barbara König Modellierung 3

4 Lernplattform Moodle Wir verwenden Moodle, um: die Aufgabenblätter zur Verfügung zu stellen und Hausaufgaben elektronisch abzugeben. Moodle-Plattform an der Universität Duisburg-Essen: (siehe auch Link auf der Webseite) Bitte legen Sie dort einen Zugang an (falls noch nicht vorhanden) und tragen Sie sich in den Kurs Modellierungsmethoden der Informatik (Abteilung Informatik und Angewandte Kognitionswissenschaft) ein. Zugangsschlüssel:... Barbara König Modellierung 4

5 Vorlesungstermine Vorlesungs-Termin: Mittwoch, 8:30-10:00 Uhr, im Raum LB 107 Barbara König Modellierung 5

6 Termine der Übungsgruppen/Tutorien Übungsgruppen: Donnerstag, 10-11, LF 125 (28 Plätze) (Gruppe A) Donnerstag, 11-12, LF 125 (28 Plätze) (Gruppe B) Donnerstag, 10-11, LC 141 (24 Plätze) (Gruppe C) Donnerstag, 11-12, LC 141 (24 Plätze) (Gruppe D) Donnerstag, 14-16, LF 125 (28 Plätze) (Gruppe E) Montag, 16-18, LC 137 (88 Plätze) (Gruppe F) Dienstag, 10-12, LC 141 (24 Plätze) (Gruppe G) Dienstag, 12-14, LC 137 (88 Plätze) (Gruppe H) In der Montagsgruppe und in den Dienstagsgruppen werden dieselben Aufgaben besprochen wie in den Donnerstagsgruppen der Vorwoche. Barbara König Modellierung 6

7 Termine der Übungsgruppen/Tutorien Am Dienstag, 1. November, fallen aufgrund des Feiertags die Übungsgruppen aus. Als Ersatz gibt es, ausnahmsweise, am 31. Oktober zwei Übungsgruppen am Montag: Montag, 16-17, LC 137 Montag, 17-18, LC 137 Sie können jedoch auch gerne einmalig eine der Donnerstagsgruppen besuchen. Barbara König Modellierung 7

8 Hinweise zu den Übungen Bitte versuchen Sie, sich möglichst gleichmäßig auf die Übungen zu verteilen. Besuchen Sie die Übungen und machen Sie die Hausaufgaben! Diesen Stoff kann man nur durch regelmäßiges Üben erlernen. Auswendiglernen hilft nicht besonders viel. Die Übungen beginnen in der dritten Semesterwoche am Donnerstag, den 27. Oktober. Die Montags- und Dienstagsgruppen fangen erst in der vierten Semesterwoche an! Barbara König Modellierung 8

9 Hinweise zu den Übungen Das Übungsblatt wird jeweils am Dienstag ins Netz gestellt. Das erste Übungsblatt wird am 18. Oktober bereitgestellt. Die schriftlichen Aufgaben müssen bis spätestens Mittwoch, 16 Uhr, der darauffolgenden Woche abgegeben werden. In dieser Woche wird dann auch das Übungsblatt besprochen. Barbara König Modellierung 9

10 Hinweise zu den Übungen Abgabe durch Elektronische Abgabe über die Lernplattform Moodle oder Briefkasten: Einwurf in den neben Raum LF259. Bitte geben Sie auf Ihrer Lösung deutlich Ihren Namen, Ihre Matrikelnummer, Ihre Gruppennnumer und das Fach an. Elektronische Abgaben sind nur als PDF zulässig! Bitte benennen Sie Dateien nach folgendem Schema (um eine eindeutige Namenswahl zu gewährleisten): <nachname>-<blattnr>.pdf Sie dürfen in Einer- oder Zweier-Gruppen abgeben. Plagiate oder das Kopieren alter Musterlösungen sind selbstverständlich nicht erlaubt! In diesem Fall vergeben wir keine Punkte. Barbara König Modellierung 10

11 Klausur Die Vorlesung wird durch eine Klausur am Ende des Semesters geprüft: Voraussichtlicher Termin: 14. Februar 2012 Die genaue Uhrzeit und der Raum werden noch bekanntgegeben. Die Anmeldung erfolgt über das Prüfungsamt Barbara König Modellierung 11

12 Klausur Es gibt folgende Bonusregelung: Mit 50% der Hausaufgabenpunkten gibt es einen Bonus für die Klausur. Auswirkung: Verbesserung um eine Notenstufe; z.b. von 2,3 auf 2,0 (konkret: zwei Zusatzpunkte in der Klausur) Barbara König Modellierung 12

13 Literatur Bernd Baumgarten: Petri-Netze. Grundlagen und Anwendungen, Spektrum, Das Buch ist vergriffen, ist aber in der Bibliothek verfügbar. Barbara König Modellierung 13

14 Literatur Wolfgang Reisig: Petri-Netze Eine Einführung, Springer, Ebenfalls vergriffen und in der Bibliothek verfügbar. Es gibt jedoch eine neue Version: Wolfgang Reisig: : Modellierungstechnik, Analysemethoden, Fallstudien, Vieweg+Teubner, buch/ Barbara König Modellierung 14

15 Literatur L. Priese, H. Wimmel: Petri-Netze, Springer, Online verfügbar unter (Zugriff über Uni-Rechner) Barbara König Modellierung 15

16 Literatur Tadao Murata: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(4), Online verfügbar als PDF: Barbara König Modellierung 16

17 Literatur G. Booch, J. Rumbaugh, I. Jacobson: The Unified Modeling Language User Guide, Addison Wesley, Barbara König Modellierung 17

18 Literatur M. Jeckle, C. Rupp, J. Hahn, B. Zengler, S. Queins: UML 2 glasklar, Hanser Fachbuch, Barbara König Modellierung 18

19 Literatur R. Miles, K. Hamilton: Learning UML 2.0, O Reilly, Online verfügbar unter (Zugriff über Uni-Rechner) Barbara König Modellierung 19

20 Literatur Christoph Kecher: UML Das umfassende Handbuch. Galileo Press, Buch ist in der Bibliothek verfügbar. Barbara König Modellierung 20

21 Literatur Perdita Stevens, Rob Pooley: UML - Softwareentwicklung mit Objekten und Komponenten. Pearson, Buch (vor allem das englische Original) ist in der Bibliothek verfügbar. Barbara König Modellierung 21

22 Literatur David Harel: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, pp North-Holland Online verfügbar als PDF: SCANNED.PAPERS/Statecharts.pdf Barbara König Modellierung 22

23 Literatur Hinweise: Die Bücher sind als Ergänzung gedacht, sie präsentieren den Stoff oft aus einem anderen Blickwinkel. Sehen Sie sich die Bücher erst an, bevor Sie sie kaufen. Nicht jede/r kommt mit jedem Buch zurecht. Die Bibliothek (LK) ist ein guter Platz um nach Büchern zu stöbern (Informatik-Abteilung im 1. Stock, Lehrbuchsammlung im Keller) Wagen Sie sich auch an englische Literatur, englische Fachsprache ist zumeist gut verständlich Barbara König Modellierung 23

24 Folien Folien werden im Web als PDF bereitgestellt regelmäßig aktualisiert Die Folien werden sich gegenüber dem letzten Jahr relativ wenig verändern. Von daher macht es Sinn, sich die Folien des Vorjahres schon einmal anzusehen (siehe jordan.inf.uni-due.de/teaching/ws0910/mod/ bzw. den Link auf der Vorlesungs-Webseite). Barbara König Modellierung 24