Vorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12. Lernplattform Moodle. Wer sind wir?

Transkript

1 Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Das heutige Programm Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Prüfung & Folien Einführung und Motivation: Was ist Modellierung? Inhalt der weiteren Vorlesung Wer sind wir? Barbara König Modellierung 1 Lernplattform Moodle Barbara König Modellierung 2 Dozentin: Prof. Barbara König Raum LF barbara koenig@uni-due.de Sprechstunde: nach Vereinbarung Übungsleitung: Dr. Sander Bruggink Raum LF sander.bruggink@uni-due.de Web-Seite: 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 3 Barbara König Modellierung 4

2 Vorlesungstermine Termine der Übungsgruppen/Tutorien Vorlesungs-Termin: Mittwoch, 8:30-10:00 Uhr, im Raum LB 107 Ü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. Termine der Übungsgruppen/Tutorien Barbara König Modellierung 5 Hinweise zu den Übungen Barbara König Modellierung 6 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. 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 7 Barbara König Modellierung 8

3 Hinweise zu den Übungen 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. 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. Klausur Barbara König Modellierung 9 Klausur Barbara König Modellierung 10 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 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 11 Barbara König Modellierung 12

4 Bernd Baumgarten: Petri-Netze. Grundlagen und Anwendungen, Spektrum, Wolfgang Reisig: Petri-Netze Eine Einführung, Springer, Das Buch ist vergriffen, ist aber in der Bibliothek verfügbar. 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 13 Barbara König Modellierung 14 L. Priese, H. Wimmel: Petri-Netze, Springer, Tadao Murata: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(4), Online verfügbar als PDF: Online verfügbar unter (Zugriff über Uni-Rechner) Barbara König Modellierung 15 Barbara König Modellierung 16

5 G. Booch, J. Rumbaugh, I. Jacobson: The Unified Modeling Language User Guide, Addison Wesley, M. Jeckle, C. Rupp, J. Hahn, B. Zengler, S. Queins: UML 2 glasklar, Hanser Fachbuch, Barbara König Modellierung 17 Barbara König Modellierung 18 R. Miles, K. Hamilton: Learning UML 2.0, O Reilly, Christoph Kecher: UML Das umfassende Handbuch. Galileo Press, Online verfügbar unter (Zugriff über Uni-Rechner) Buch ist in der Bibliothek verfügbar. Barbara König Modellierung 19 Barbara König Modellierung 20

6 Perdita Stevens, Rob Pooley: UML - Softwareentwicklung mit Objekten und Komponenten. Pearson, 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 Buch (vor allem das englische Original) ist in der Bibliothek verfügbar. Barbara König Modellierung 21 Folien Barbara König Modellierung 22 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, englische Fachsprache ist zumeist gut verständlich 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 23 Barbara König Modellierung 24