José Proença, promovendus van het Centrum Wiskunde &
Informatica (CWI) in Amsterdam, ontwikkelde nieuwe coördinatietechnieken om efficiënt
grote internetdiensten te combineren. Dit is belangrijk voor bijvoorbeeld cloud
computing, waarin webdiensten een sleutelrol spelen. Ook efficiënt gebruik van
multi-core-architecturen hangt af van efficiënte coördinatie. Proença
verdedigde zijn proefschrift ‘Synchronous Coordination of Distributed
Components’ op 11 mei aan de Universiteit Leiden. Zijn prototype open-source
framework ‘Dreams’ kan door softwareontwikkelaars gebruikt worden om
gedistribueerde diensten en componenten gestructureerd en onderhoudsvriendelijk
te combineren.
Een gedistribueerd systeem is verdeeld in verschillende subsystemen, die elk specifieke berekeningen uitvoeren. De middelen en resultaten van deze softwarecomponenten moeten worden gecoördineerd door een coördinatielaag om een werkend systeem te vormen. Deze laag is geschreven in een coördinatietaal, zoals Reo – een krachtige coördinatietaal die is geïntroduceerd door de onderzoeksgroep Foundations of Software Engineering van het CWI. De kracht van deze taal ligt in zijn expressiviteit en modulariteit: grote systemen worden gebouwd door het samenstellen van kleine systemen. Tot nu toe was het echter moeilijk om er grote gedistribueerde systemen op te laten draaien. Proença toonde aan dat de complexe operaties die Reo beschrijft kunnen worden geïmplementeerd in grote gedistribueerde systemen. Dit illustreert de bruikbaarheid van Reo-modellen.
Resultaten
Door het werk van Proença verbetert de executie van gecombineerde diensten
in gedistribueerde systemen, zowel in grootte als in snelheid. De promovendus
leverde drie belangrijke bijdragen. Hij realiseerde een werkende implementatie
van Reo in grote gedistribueerde systemen, waarmee het uitgebreide theoretische
werk werd aangevuld met de praktijk. Daarnaast ondersteunt zijn werk
ontkoppeling en eenvoudige herconfiguratie van software, wat betekent dat een
systeem kan worden gesplitst in kleine, onafhankelijk van elkaar opererende
subsystemen. Hierdoor zijn aanpassingen aan een werkend systeem relatief goedkoop.
Ten derde presteert zijn werk beter dan eerdere pogingen, zowel in snelheid als
in kosten.
CWI
Het Centrum Wiskunde & Informatica (CWI) is sinds 1946
het nationale onderzoeksinstituut voor wiskunde en informatica. Het is
gevestigd op het Science Park Amsterdam en is deel van de Nederlandse Organisatie
voor Wetenschappelijk Onderzoek (NWO). Het instituut heeft een sterke
internationale positie. Ruim 150 wetenschappers doen er grensverleggend
onderzoek en dragen de verkregen kennis over aan de maatschappij. Meer dan 30
van de onderzoekers zijn hoogleraar aan een universiteit. Het instituut heeft
21 spin-off bedrijven voortgebracht.
Meer informatie
- Promotor: prof. dr. F. Arbab (CWI en Universiteit Leiden).
Co-promotoren: dr. D. Clarke (Katholieke Universiteit Leuven, Belgium) en
dr. E.P. de Vink (Techische Universiteit Eindhoven en CWI). Het promotieonderzoek
is gefinancierd door de Portugese Fundação para a Ciência e Tecnologia (FCT).
- Websites: http://reo.project.cwi.nl/ (Reo project), http://people.cs.kuleuven.be/~jose.proenca/ (huidige homepage van José Proença) en http://www.cwi.nl/sen3 (onderzoeksgroep Foundations of Software Engineering van het CWI).
