Moses - Algebraic Process Calculi

Anzeigesprache

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SS 2017 - SS 2019. Die Version für das aktuelle Semester (SoSe 2024) finden Sie hier: Modulbeschreibung des SoSe 2024

Modul / Version:
#40319 / #3

Gültigkeit:
SS 2017 - SS 2019

Standard-Anzeigesprache:
Deutsch/Englisch

Titel des Moduls:
Algebraic Process Calculi
Algebraische Prozesskalküle

Leistungspunkte:
6

Modulverantwortliche*r:
Nestmann, Uwe

Benotung:
benotet

Prüfungsform:
Portfolioprüfung

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:
TEL 7-2

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 zu 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

Pflichtteil:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

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

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

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache

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

Prüfungsbeschreibung (Abschluss des Moduls)

Keine Angabe

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.

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
Dieses Modul findet in keinem Studiengang Verwendung.

Sonstiges

Keine Angabe