Modellierung I (WS 2012/2013) - tele-TASKhttps://www.tele-task.de/series/923/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 in dieser Veranstaltung beschränken wollen.High quality e-learning content created with tele-TASK - more than video! Powered by Hasso Plattner Institute (HPI)Prof. Dr. Mathias WeskeDie 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 in dieser Veranstaltung beschränken wollen.notele-TASKtele-task@hpi.dede℗; ©; tele-TASKWed, 21 Aug 2019 18:07:03 GMTPyRSS2Gen-1.1.0http://blogs.law.harvard.edu/tech/rssBPMNhttps://www.tele-task.de/lecture/video/3743/Prof. Dr. Mathias Weske01:29:50tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3743/Wed, 30 Jan 2013 09:15:00 GMTGeschäftsprozessehttps://www.tele-task.de/lecture/video/3737/Prof. Dr. Mathias Weske01:26:52tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3737/Tue, 29 Jan 2013 13:29:00 GMTZusammengesetztes Verhaltenhttps://www.tele-task.de/lecture/video/3731/Prof. Dr. Mathias Weske01:30:19tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3731/Tue, 22 Jan 2013 13:29:00 GMTPetri-Netze & Nebenläufige Zuständehttps://www.tele-task.de/lecture/video/3720/Prof. Dr. Mathias Weske01:28:09tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3720/Wed, 16 Jan 2013 09:15:00 GMTPetri-Netzehttps://www.tele-task.de/lecture/video/3719/Prof. Dr. Mathias Weske01:30:03tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3719/Tue, 15 Jan 2013 13:29:00 GMTUML Zustandsdiagramme & Nebenläufiges Verhaltenhttps://www.tele-task.de/lecture/video/3705/Prof. Dr. Mathias Weske01:26:27tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3705/Tue, 08 Jan 2013 13:29:00 GMTErweiterte Automaten & UML Zustandsdiagrammehttps://www.tele-task.de/lecture/video/3695/Prof. Dr. Mathias Weske01:26:14tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3695/Wed, 02 Jan 2013 09:14:00 GMTAbläufe & Endliche Automatenhttps://www.tele-task.de/lecture/video/3691/Prof. Dr. Mathias Weske01:27:55tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3691/Tue, 18 Dec 2012 13:30:00 GMTSequenzielles Verhaltenhttps://www.tele-task.de/lecture/video/3676/Prof. Dr. Mathias Weske01:28:37tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3676/Tue, 11 Dec 2012 13:30:00 GMTUse Cases, Blockdiagramme & FMC Aufbaustrukturdiagrammehttps://www.tele-task.de/lecture/video/3665/Prof. Dr. Mathias Weske01:28:14tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3665/Wed, 05 Dec 2012 09:16:00 GMTFunktions- und Strukturmodellierunghttps://www.tele-task.de/lecture/video/3663/Prof. Dr. Mathias Weske01:28:46tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3663/Tue, 04 Dec 2012 13:30:00 GMTKlassendiagramme und Objektdiagrammehttps://www.tele-task.de/lecture/video/3639/Prof. Dr. Mathias Weske01:29:45tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3639/Tue, 27 Nov 2012 13:29:00 GMTKardinalitäten & Spezialisierung und Generalisierunghttps://www.tele-task.de/lecture/video/3623/Prof. Dr. Mathias Weske01:29:23tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3623/Tue, 20 Nov 2012 13:30:00 GMTER-Modellierung: Kardinalitätenhttps://www.tele-task.de/lecture/video/3599/Prof. Dr. Mathias Weske01:23:15tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3599/Tue, 13 Nov 2012 13:30:00 GMTGraphen und Bäume & Daten- und Objektmodellierunghttps://www.tele-task.de/lecture/video/3588/Prof. Dr. Mathias Weske01:26:26tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3588/Tue, 06 Nov 2012 13:31:00 GMTRelationen und Funktionen & Graphen und Bäumehttps://www.tele-task.de/lecture/video/3581/Prof. Dr. Mathias Weske01:25:58tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3581/Tue, 30 Oct 2012 13:30:00 GMTModelle in der Sprache der Mathematikhttps://www.tele-task.de/lecture/video/3537/Prof. Dr. Mathias Weske01:25:23tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3537/Wed, 24 Oct 2012 09:14:00 GMTGrundlagen der Modelltheoriehttps://www.tele-task.de/lecture/video/3536/Prof. Dr. Mathias Weske01:26:51tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3536/Tue, 23 Oct 2012 13:30:00 GMTModellbildung & Validierung, Verifikation und Analysehttps://www.tele-task.de/lecture/video/3519/Prof. Dr. Mathias Weske01:25:47tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3519/Wed, 17 Oct 2012 09:15:00 GMTOrganisatorisches und Einleitunghttps://www.tele-task.de/lecture/video/3518/Prof. Dr. Mathias Weske01:27:51tele-TASK, HPI, computer science, technology, Germany, PotsdamProf. Dr. Mathias WeskeProf. Dr. Mathias Weskehttps://www.tele-task.de/lecture/video/3518/Tue, 16 Oct 2012 13:30:00 GMT