Location Transparency and Transactions as First-Class Concepts in Object-Oriented Programming Languages

摘要

Software systemen worden alsmaar complexer. Het gevolg hiervan is dat de totale ontwikkelingstijd voor deze programma's toeneemt. Een manier om dit ontwikkelingsproces te versnellen is door het toevoegen van hoog niveau concepten. Deze worden geïntroduceerd als hoog niveau oplossingen die de complexe architecturen voor het correct gebruik van laag niveau constructies verbergen. Hierdoor is de ontwikkelaar in staat om op een heldere en eenduidige manier om te gaan met deze constructies.In het eerste deel van dit proefschrift worden concepten aangeboden met als doel om te gaan met locatie onafhankelijkheid in gedistribueerde objectgerichte toepassingen. Een concept wordt voorgesteld voor het aangeven van de veranderlijkheid van objecten, om synchronisatie problemen tegen te gaan in specifieke probleemsituaties. Een raamwerkoplossing op basis van een cache-strategie biedt een gelijkaardige parameteroverdracht bij lokale methoden en methoden van een omgeving op afstand.Het tweede deel van dit proefschrift biedt concepten aan om transactioneel gedrag te integreren in objectgerichte programmeertalen. De basisconcepten voor transactioneel gedrag zijn uitgebreid met concepten voor de ondersteuning van compenserend gedrag. Vergrendelniveaus zijn toegevoegd om de kans op impasses bij gelijktijdige toegang te beperken. Tenslotte is herhalings-semantiek toegevoegd aan methoden met transactioneel gedrag. Deze uitbreidingen vormen de bouwstenen voor de gevorderde transactietypes zoals langlopende transacties en geneste transacties.Alle taalconcepten voorgesteld in dit werk zijn met succes toegepast in een geval studie van middelmatige grootte. Deze experimenten tonen een aanzienlijke daling in het aantal regels van objectgerichte programma's. Dit proefschrift introduceert een grafische notatie om te redeneren over de uitvoering van methoden met transactioneel gedrag. Deze notatie ondersteunt de uitgebreide concepten en de gevorderde transactietypes.