Compositional Construction of Component Connectors

Reo (van het Griekse woord \rho\epsilon\omega dat betekent [ik] Stroom) is een recent geïntroduceerd kanaal gebaseerd coördinatiemodel waarin complexe coördinatoren, genaamd connectoren, worden samengesteld uit eenvoudigere connectoren. Reo is bedoeld als glue language voor de constructie van connectoren die de instanties van componenten combineren in een componentgebaseerd systeem. De nadruk in Reo is enkel op connectoren en hun compositie, niet op de componenten die verbonden worden. Een gedistribueerde implementatie van Reo wordt al gerealiseerd op het CWI. Het belangrijkste doel van het voorgestelde onderzoek is het ontwikkelen van een operationele semantiek gebaseerd op een calculus van componentconnectoren, als de basis voor verdere ontwikkeling van praktische gereedschappen en programmeeromgevingen voor het daadwerkelijke gebruik van Reo. Dit betreft, aan de theoretische kant, het ontwerp van een exacte syntax voor kanalen en operaties van samenstellen van kanalen, die een visuele manier van programmeren van connectoren mogelijk maakt, samen met een eenvoudig en doorzichtig semantisch model, waarin eigenschappen als gelijkheid van connectoren, optimalisatie, en realisering kunnen worden uitgedrukt en bewezen. Aan de systeemkant ontwikkelen we in dit project gereedschappen die het visuele programmeren van connectoren ondersteunen, alsmede de automatisering van gelijkheidsbewijzen, bijvoorbeeld voor optimalisatie. Het semantisch modelleren zal gebaseerd zijn op de methodologie van de co-algebra, die over de laatste tien jaar ontwikkeld is als een algemene gedragstheorie voor dynamische systemen. Co-inductie, met zijn mogelijkheden om geautomatiseerd te worden, zal het belangrijkste redeneermechanisme zijn. Eerste resultaten van co-inductieve bewijzen van gelijkheid van componentconnectoren zijn veelbelovend, en congruent met de toenemende interesse in de toepassing van co-algebras als de basis voor componentgebaseerde systemen. Vervolgens, de sociale relevantie van dit onderzoeksprogramma is in dit stadium al veiliggesteld door de betrokkenheid in het project van het softwarebedrijf Adaptive Planet, die zich heeft gecommitteerd om de mankracht te leveren om Reo te gebruiken in hun eigen toepassingen van zogenaamde data plumbing en component hot swapping.