Moses - Algebraische Prozesskalküle

Zur Modulseite PDF generieren

Modul / Version
#40319 / #1

Gültigkeit
WS 2013/14 - WS 2015/16

Verfügbare Sprache(n)
Deutsch, Englisch

Titel des Moduls
Algebraische Prozesskalküle

Leistungspunkte
6

Modulverantwortliche*r
Nestmann, Uwe

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
Deutsch, 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/

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum WS 2013/14 - WS 2015/16. Die Version für das aktuelle Semester (SoSe 2025) finden Sie hier: Modulbeschreibung des SoSe 2025

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 Prozesskalküle auf der Basis von Operationellen Semantiken und Fähigkeiten zur Erstellung domänenspezifischer Prozesskalküle. Sie sind in der Lage, sich die entsprechenden Kenntnisse teilweise selbständig zu erarbeiten und ihre Arbeitsergebnisse mündlich zu präsentieren. Die Veranstaltung vermittelt überwiegend: 40% Fachkompetenz 40% Methodenkompetenz 05% Systemkompetenz 15% Sozialkompetenz

Lehrinhalte

Vergleich mit endlichen Automaten; Handshake-Kommunikation; Parallelität, Verteilung;CCS; Pi Kalkül; 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 Kenntnisse aus den Modulen - Grundlagen und algebraische Strukturen - Automaten und Komplexität - Logiken und Kalküle - Spezifikation und Semantik des TheGI-Zyklus des Bachelor Informatik 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

Keine Angabe

Sprache(n)

Deutsch, Englisch

Prüfungselemente

Name	Punkte/Gewicht	Kategorie	Dauer/Umfang
Hausaufgaben	20	Keine Angabe	Keine Angabe
mündliche Rücksprache	40	Keine Angabe	Keine Angabe
Referat	40	Keine Angabe	Keine Angabe

Notenschlüssel

Keine Angabe

Prüfungsbeschreibung (Abschluss des Moduls)

Zur Berechnung der Modul-Note kommt der Notenschlüssel 1 der Fakultät IV zur Anwendung.

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 3-4 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.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Neben den im POS-System abgebildeten Master-Studiengängen kann das Modul auch für * Informatik – Diplom (Studiengebiet THI) * Technische Informatik – Diplom angerechnet werden.

Sonstiges

Keine Angabe