Grundlegende Methoden der Modellierung in der Informatik

Modulnummer: Q06-27
Englischer Titel: Seminal modeling methods of informatics
Leistungspunkte: 6
Lehrperson: Mendling/Reisig

Empfohlene Vorkenntnisse

Grundlagenwissen in Informatik oder Wirtschaftsinformatik

Zwingende Voraussetzungen

keine

Inhalt

In dieser Vorlesung werden grundlegende Techniken der Modellierung Rechner-integrierten Systeme vorgestellt und an Fallstudien verdeutlicht. Schwerpunkt sind bewährte Methoden, die die Architektur, das dynamische Verhalten und statische Aspekte integrieren. Modellierung umfasst auch System-Komponenten, die nicht implementiert werden sollen, beispielsweise Geschäftsprozesse oder die Organisation mechanischer Produktionsverfahren.

Die ausgewählten Methoden sind im Kern formal, unterstützen das intuitive Verständnis und eignen sich insbesondere auch für die Modellierung umfangreicher Systeme. Aspekte der Korrektheit und Verifikation werden angesprochen, aber nicht vertieft.

In der Übung zur Vorlesung entwickeln die Teilnehmer in Kleingruppen oder einzeln eigene Fallstudien und stellen sie mündlich vor. Das Thema ihrer Fallstudien wählen die Teilnehmer selbst.

Erforderliche Arbeitsleistungen für LP-Vergabe und Prüfungszulassung

- schriftlich eingereichte und/oder mündlich vorgetragene Lösungen zu Aufgaben

Lehrveranstaltungen

Vorlesung: 2 SWS
Übung: 2 SWS

Zugeordneter Vertiefungsschwerpunkt

Algorithmen und Modelle: nein
Modellbasierte Systementwicklung: ja
Daten- und Wissensmanagement: nein
Ohne Vertiefungsschwerpunkt: nein

Sprache im Modul

Deutsch: ja
Englisch: ja

Angeboten für Studiengänge

M. Sc.: ja
M. Ed.: ja
Wirtschaftsmaster: ja

Angeboten im

Wintersemester: ja
Sommersemester: nein

Turnus

Unregelmäßig