Veerkrachtige partitionering van pervasieve computerdiensten

Terwijl pervasive computing vanuit het oogpunt van de hardware steeds realistischer wordt, zijn de bijbehorende softwarehulpmiddelen niet in hetzelfde tempo volwassen geworden. Dit legt een grote last op de schouders van de programmeurs die applicaties in staat moeten stellen hun functionaliteit te spreiden over apparaten die in de omgeving beschikbaar zijn. De visie van het proefschrift is om technieken voor applicatiepartitionering te onderzoeken voor de ontwikkeling van pervasive computing toepassingen. Met behulp van deze technieken kunnen software applicaties worden ontleed in delen die kunnen worden verdeeld over meerdere apparaten. We stellen een resilient actor model voor om de partitioneringseigenschap structureel toe te voegen aan pervasieve applicaties. Dit model zorgt ervoor dat een applicatie dynamisch gepartitioneerd kan worden om tijdens runtime op elk beschikbaar apparaat in de omgeving te draaien. Bovendien is de resulterende gepartitioneerde applicatie veerkrachtig tegen netwerkstoringen. Dit boek zal nuttig zijn voor onderzoekers die geïnteresseerd zijn in pervasive computing, maar ook voor ontwerpers van programmeertalen voor talen die speciaal ontworpen zijn voor het bouwen van softwaretoepassingen die draaien in mobiele ad-hoc netwerken.