Session-based concurrency: between operational and declarative views
| Promotie: | Dhr. M.A. (Mauricio) Cano Grijalba |
| Wanneer: | 07 januari 2020 |
| Aanvang: | 11:00 |
| Promotors: | J.A. (Jorge) Perez Parra, Prof, prof. dr. G.R. (Gerard) Renardel de Lavalette |
| Waar: | Academiegebouw RUG |
| Faculteit: | Science and Engineering |
Beter zicht op informatie-uitwisseling in communicatiesoftware
Toepassing van communicatiesoftware is overal aanwezig in ons dagelijks leven. Veel online activiteiten, zoals e-banking en e-commerce, vereisen berichtenuitwisselingen tussen softwarecomponenten. Deze berichtuitwisseling verloopt volgens communicatieprotocollen die de volgorde beschrijven waarop de communicatie-acties door elke component dienen te worden uitgevoerd.
Cruciaal is dat deze protocollen niet geïsoleerd zijn van de context van een programma: zo kunnen berichtuitwisselingen beïnvloed worden door externe omstandigheden zoals tijdsbeperkingen of uitzonderlijke gebeurtenissen die zich tijdens de uitvoering van het programma kunnen voordoen. Daar komt bij dat afzonderlijke componenten meestal ontwikkeld worden in verschillende programmeertalen. Het is daardoor een uitdaging om te verzekeren dat een programma overeenkomt met een communicatieprotocol.
Een uitvoerig bestudeerde programmaverificatie-methode maakt gebruik van gedragstypesystemen, die abstracte weergaven van communicatieprotocollen gebruiken om te controleren of een programma communicatie-acties uitvoert zoals beschreven is in het protocol. Een zwakte van deze methode is dat geen rekening gehouden wordt met de invloed die externe omstandigheden op het programma hebben.
Mauricio Cano Grijalba benadert dit probleem in zijn promotieonderzoek door programmeertalen met declaratieve kenmerken te bestuderen, waarin de voorwaarden van het programma duidelijk kunnen zijn beschreven. Zijn onderzoek ontwikkelt nauwkeurige vertalingen tussen programmeertalen om aan te tonen dat deze declaratieve programmeertalen een overkoepelend perspectief op communicatiesoftware kunnen bieden. In het bijzonder tonen deze vertalingen aan dat de operationele kenmerken van communicatiesoftware correct kunnen worden weergegeven door declaratieve programmeertalen. Daarnaast wordt een hybride programmeertaal beschreven die de analyse van operationele en declaratieve kenmerken van communicatiesoftware mogelijk maakt.
Het promotieonderzoek van Mauricio Cano Grijalba vond plaats bij de afdeling Fundamentele Informatica van het Bernoulli Instituut, met financiering via de RUG. Hij werkt nu als Consultant on Cybersecurity bij Deloitte.