De Nationale Proefschriftensite geeft toegang tot 31.533 open access proefschriften van alle Nederlandse universiteiten. De proefschriften vormen een deelverzameling van NARCIS en van de ingang Publicaties.
Show page in English/Toon pagina in Nederlands
 
Project: Transformations for Abstractions
Samenvatting
bullet Samenvatting Dit voorstel gaat over technieken op de doorsnede van twee gebieden van software engineering. (1) Om de ontwikkeling van software te automatiseren is het wenselijk om het productieproces van programma's te automatiseren door middel van automatische transformaties, waarbij programma's dus het onderwerp van berekeningen zijn. (2) Om de uitdrukkingskracht van programeertalen op gebied van specifieke toepassingsgebieden te verbeteren is het wenselijk om deze talen uit te breiden met domein-specifieke abstracties. Het doel van dit project is het ontwikkelen van een systematische aanpak van de uitbreiding van programmeertalen met domein-specifieke abstracties, en daarbij die abstracties te integreren in de syntax en transformaties van de programmeeromgeving. Dit vereist onderzoek van de volgende zaken: o strategieën voor de definitie van domein abstracties o mechanismen voor de uitbreidbaarheid van transformaties o methode en patronen voor het ontwerp van open transformaties o beperkingen voor onafhankelijk uitbreidbare transformaties o afleiding van transformatie uitbreidingen uit definities van abstracties Om dit doel te bereiken analyzeren we diverse bestaande domein-specifieke talen en transformties, ontwikkelen we generieke uitbreidingsmechanismen, en valideren we deze in een 'reageerbuis' project en daarna in een programmeeromgeving voor de programmeertaal Java. Het project bouwt voort op een solide basis uit het Stratego/XT project waardoor we ons in dit project kunnen concentreren op de kern van het probleem, zonder te worden afgeleid door infrastructurele zaken.
bullet Samenvatting (EN) The project is about techniques at the intersection of two areas of software engineering. (1) In order to automate software engineering we would like to automate the process of producing programs by means of automatic transformations, thereby computing with programs as we do with other data. (2) In order to improve the expressivity of programming languages to the concepts and notations of specific application domains, we would would like to extend general-purpose languages with domain-specific abstractions. Combining these desiderata leads to the need to extend transformations for new domain-specific abstractions. The goal of this project is to develop a systematic approach to the extension of general purpose languages with domain-specific abstractions, integrating those abstractions in the syntax and transformations of the programming environment. This requires research into the following issues: * strategies for the definition of domain abstractions * mechanisms for open extensibility of transformations * methods and patterns for design of open transformations * constraints for independent extensibility of transformations * derivation of transformation extensions from definitions of abstractions We approach this goal by analyzing a variety of existing domain-specific languages and transformations, developing generic extensibility mechanisms, and validating these first in an `in vitro' setting and then in a programming environment for the Java language. The project builds on a solid body of work from the Stratego/XT project that will allow us to concentrate on the core of the problem, rather than being distracted by infrastructural issues.
Betrokken organisaties
bullet Penvoerder ICT Delft Research Centre (TUD)
bullet Financier Nederlandse Organisatie voor Wetenschappelijk Onderzoek - NWO (NWO)
Betrokken personen
bullet Projectleider Dr. E. Visser
Classificatie
bullet D16200 Software, algoritmen, besturingssystemen
Leverancier gegevens: Website TUD; Website NWO
Wijzig deze gegevens in de Nederlandse Onderzoek Databank (NOD).