Moses - Algebraic Process Calculi

Display language

To modulepage Generate PDF

Module / Version:
#40319 / #5

Validity:
Seit SoSe 2020

Default display language:
English

Module title:
Algebraic Process Calculi

Credits:
6

Responsible person:
Nestmann, Uwe

Grading:
benotet

Type of exam:
Portfolioprüfung

Zugehörigkeit

Faculty:
Fakultät IV

Institute:
Institut für Softwaretechnik und Theoretische Informatik

Area of expertise:
34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

Prüfungsausschuss:
No information

Kontakt

Office:
TEL 7-2

Contact person:
Nestmann, Uwe

E-mail address:
lehre@mtv.tu-berlin.de

Website:

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

Learning Outcomes

Successful participants of this module have acquired knowledge and competencies to formally model and analyse communicating and mobile process systems by means of algebraic - also domain-specific - process calculi, based on structural operational semantics. They are on the one hand capable to quickly understand existing process calculi on the basis of their syntax and semantics and to extract the corresponding intuitions; on the other hand, they are capable to design new process calculi. For this goal, they use the acquired knowledge and methods to autonomously develop suitable syntax and semantics definitions, to verify their sanity, and to present the results orally.

Content

Comparison with finite automata; handshake communication; parallelism, distribution; CCS; Pi Calculus; structural operational semantics; bisimulation techniques; congruences; Application domains: - security protocols, - systems biology, - business processes, - fault-tolerant distributed algorithms.

Module Components

Pflichtteil:

All Courses are mandatory.

Course Name	Type	Number	Cycle	Language	SWS	VZ
Algebraische Prozesskalküle	IV		SoSe	No information	4

Workload and Credit Points

Algebraische Prozesskalküle (IV):

Workload description	Multiplier	Hours	Total
Individual study (preparation and consolidation)	15.0	3.0h	45.0h
Presence	15.0	4.0h	60.0h
			105.0h(~4 LP)

Course-independent workload:

Workload description	Multiplier	Hours	Total
Homework	6.0	5.0h	30.0h
Oral consultation (preparation)	1.0	15.0h	15.0h
Oral presentation	1.0	30.0h	30.0h
			75.0h(~3 LP)

The Workload of the module sums up to 180.0 Hours. Therefore the module contains 6 Credits.

Description of Teaching and Learning Methods

The module consists of roughly two thirds of the semester following an almost traditional series of lectures and exercises (flexibly according to the needs), while the other third is contributed by students themselves with oral presentations on advanced seminar topics. Depending on your wish or need, the course will be held in German or English.

Requirements for participation and examination

Desirable prerequisites for participation in the courses:

Competencies and knowledge from the following modules (or equivalents thereof) - Formal Languages and Automata, - Discrete Structures, - Computability and Complexity, - Logics, - Reactive Systems, which are offered in the B.Sc. "Informatik" at TU Berlin, are very helpful.

Mandatory requirements for the module test application:

This module has no requirements.

Module completion

Grading

graded

Type of exam

Portfolio examination

Type of portfolio examination

100 Punkte insgesamt

Language

German/English

Test elements

Name	Points	Categorie	Duration/Extent
(Deliverable assessment) Homework exercises	20	written	5-6 deliverables
(Deliverable assessment) Presentation	40	oral	60-90 minutes
(Learning process review) Consultation	40	oral	30-40 minutes

Grading scale

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

Test description (Module completion)

No information

Duration of the Module

The following number of semesters is estimated for taking and completing the module:
1 Semester.

This module may be commenced in the following semesters:
Sommersemester.

Maximum Number of Participants

The maximum capacity of students is 20.

Registration Procedures

Participation to the class (not to be confused with registration for the module exam) is run via a course within Moodle-platform ISIS. Access to this course will be provided at the first meeting will be kept open for roughly six weeks. The registration for the module examination takes place at the examination office or via the QISPOS platform. POS examination number: 2346119

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

Assigned Degree Programs

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

This module is used in the following Degree Programs (new System):

Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Computer Engineering (M. Sc.)	1	36	SoSe 2020	SoSe 2024
Computer Science (Informatik) (M. Sc.)	1	54	SoSe 2020	SoSe 2024
Elektrotechnik (M. Sc.)	1	27	SoSe 2020	SoSe 2024
Information Systems Management (Wirtschaftsinformatik) (M. Sc.)	2	27	SoSe 2020	SoSe 2024
Wirtschaftsingenieurwesen (M. Sc.)	1	20	SoSe 2020	SoSe 2024

Miscellaneous