Moses - Algebraische Prozesskalküle

Zur Modulseite PDF generieren

Modul / Version
#40319 / #5

Gültigkeit
Seit SoSe 2020

Verfügbare Sprache(n)
Deutsch

Titel des Moduls
Algebraic Process Calculi
Algebraische Prozesskalküle

Leistungspunkte
6

Modulverantwortliche*r
Nestmann, Uwe

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
Englisch

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
EN 24

Ansprechpartner*in
Nestmann, Uwe

E-Mail-Adresse
lehre@mtv.tu-berlin.de

Webseite

http://www.mtv.tu-berlin.de/menue/lehre/module/algprocalc/

Lernergebnisse

Absolventinnen und Absolventen diese Moduls verfügen über Kenntnisse und Fähigkeiten zur formalen Modellierung und formalen Analyse von kommunizierenden und mobilen Prozesssystemen mit Hilfe algebraischer (auch domänenspezifischer) Prozesskalküle auf der Basis von strukturellen operationellen Semantiken. Sie können dabei einerseits existierende Kalküle auf Basis von Syntax und Semantik schnell verstehen und sich die passenden Intuitionen extrahieren; andererseits sind sie in der Lage neue Prozesskalküle zu entwerfen. Dazu nutzen Sie die im Modul erlernten Kenntnisse und Methoden, um sich die entsprechende Syntax und Semantik selbständig zu erarbeiten, zu überprüfen und ihre Arbeitsergebnisse mündlich zu präsentieren.

Lehrinhalte

Vergleich mit endlichen Automaten; Handshake-Kommunikation; Parallelität, Verteilung;CCS; Pi Kalkül; Strukturelle Operationelle Semantik; Bisimulation, Kongruenz; Anwendungsfelder: - Sicherheitsprotokolle, - Systembiologie - Geschäftsprozesse - fehlertolerante verteilte Algorithmen

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Algebraische Prozesskalküle	IV		SoSe	Keine Angabe	4

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Algebraische Prozesskalküle (IV):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	4.0h	60.0h
Studium (Vor- und Nachbereitung)	15.0	3.0h	45.0h
			105.0h(~4 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Hausaufgaben	6.0	5.0h	30.0h
Referat	1.0	30.0h	30.0h
Rücksprache (Vorbereitung)	1.0	15.0h	15.0h
			75.0h(~3 LP)

Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Die Veranstaltung besteht zu etwa zwei Dritteln aus einer flexiblen Abfolge von Vorlesungen und Übungen, und zu etwa einem Drittel aus der Erarbeitung der Anwendungsfelder in kleinen Gruppen, inklusive Referate seitens der Teilnehmer. Je nach Wunsch bzw. Notwendigkeit wird die Veranstaltung auf Deutsch oder Englisch abgehalten.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Inhaltlich werden diverse (wenngleich nicht alle) Kenntnisse aus den Modulen - Formale Sprachen und Automaten - Diskrete Strukturen - Berechenbarkeit und Komplexität - Logik - Reaktive Systeme des Bachelor Informatik der TU Berlin vorausgesetzt.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache(n)

Deutsch, Englisch

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
(Ergebnisprüfung) Hausaufgaben	20	schriftlich	5-6 Abgaben
(Ergebnisprüfung) Präsentation	40	mündlich	60-90 Minuten
(Lernprozessevaluation) Mündliche Rücksprache	40	mündlich	30-40 Minuten

Notenschlüssel

Notenschlüssel »Notenschlüssel 1: Fak IV (1)«

Gesamtpunktzahl	1.0	1.3	1.7	2.0	2.3	2.7	3.0	3.3	3.7	4.0
100.0pt	86.0pt	82.0pt	78.0pt	74.0pt	70.0pt	66.0pt	62.0pt	58.0pt	54.0pt	50.0pt

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Die maximale Teilnehmerzahl beträgt 20.

Anmeldeformalitäten

Die Teilnahme an der Lehrveranstaltung (nicht zu verwechseln mit der Modulprüfung) wird über einen ISIS-Kurs gesteuert. Die entsprechenden Zugangskoordinaten werden zu Beginn des Moduls bekanntgegeben und ungefähr sechs Wochen lang offen gehalten. Die Anmeldung zur Modulprüfung erfolgt im Prüfungsamt bzw. über QISPOS. POS-Prüfungsnummer: 2346119

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: verfügbar

Zusätzliche Informationen:
Formelsammlung, begleitend zum Lehrbuch.

Literatur

Empfohlene Literatur
Milner, Robin: communicating and mobile systems: the pi-calculus. Cambridge University Press, 1999.

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Computer Engineering (M. Sc.)	1	44	SoSe 2020	SoSe 2025
Computer Science (Informatik) (M. Sc.)	1	66	SoSe 2020	SoSe 2025
Elektrotechnik (M. Sc.)	1	33	SoSe 2020	SoSe 2025
Information Systems Management (Wirtschaftsinformatik) (M. Sc.)	1	31	SoSe 2020	SoSe 2025
Wirtschaftsingenieurwesen (M. Sc.)	1	24	SoSe 2020	SoSe 2025

Sonstiges

Keine Angabe