Promotie Luc Edixhoven: 'Expressive specification and verification of choreographies'

Op donderdag 12 december 2024 om 13.30 uur verdedigt Luc Edixhoven, promovendus bij de faculteit Bètawetenschappen, zijn proefschrift 'Expressive specification and verification of choreographies' aan de Open Universiteit in Heerlen. In de 'choreografie' is de samenwerking geregeld tussen de verschillende participanten in een gedistribueerd computersysteem.

Een gedistribueerd computersysteem (te onderscheiden van een gecentraliseerd systeem) bestaat uit meerdere softwarecomponenten die zich op meerdere computers bevinden, maar als één systeem draaien. Een gedistribueerd systeem kan uit een willekeurig aantal mogelijke configuraties bestaan, zoals mainframes, personal computers, werkstations, minicomputers, enzovoort. Het doel van gedistribueerd computergebruik is om een ​​dergelijk netwerk als één computer te laten werken.

Gedistribueerd computergebruik wordt steeds belangrijker. Het correct ontwerpen en implementeren van gedistribueerde systemen is echter bijzonder moeilijk. Een belangrijke factor hierbij is de interactie tussen de deelnemers in zo'n systeem: bepaalde taken worden gelijktijdig toegestaan, terwijl andere afhankelijk zijn van elkaar.
Een goede coördinatie en communicatie tussen de participanten zijn van groot belang en deze communicatie kan worden gespecificeerd met behulp van communicatieprotocollen. Choreografieën zijn een specifieke notatie voor deze protocollen.

Klik hier voor meer informatie over het proefschrift.

De promotores zijn dr. Bastiaan Heeren (Open Universiteit) en prof. dr. Marcello Bonsangue (Universiteit Leiden). De copromotor is dr. Sung-Shik Jongmans (Open Universiteit).

De promotie is live bij te wonen bij de Open Universiteit in Heerlen en kan online worden gevolgd via www.ou.nl/live.