Projectdetails

Titel	:	Transformations for Abstractions
Hoofdaanvrager	:	Dr. E. Visser
Verbonden aan	:	Technische Universiteit Delft Faculteit Elektrotechniek, Wiskunde en Informatica Softwaretechnologie
Uitvoerder(s)	:	Dhr. L.C.L. Kats MSc
Plaats van uitvoering	:	geen informatie beschikbaar
Looptijd	:	10/01/2007 tot 10/01/2010
Strategisch doel	:	Vrije competitie
Budget	:	Eur 166,797.00 voor personele kosten Eur 5,000.00 voor materiële kosten
Subsidie-instrument	:	Open competitie (subsidie/programma is gesloten en is niet langer in de subsidiewijzer opgenomen)

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.

Producten

Artikelen

Drs. Z. Hemel, Dhr. L.C.L. Kats MSc, Dr. E. Visser (2008). Code Generation by Model Transformation. A Case Study in Transformation Modularity. Lecture Notes in Computer Science. pp. 183-198. ISSN 0302-9743.
Dr. M. Bravenboer, Dhr. L.C.L. Kats MSc, Dr. E. Visser (2008). Mixing Source and Bytecode. A Case for Compilation by Normalization. ACM SIGPLAN Notices. pp. 91-108. ISSN 0362-1340.
MSc D. M. Groenewegen, Drs. Z. Hemel, Dhr. L.C.L. Kats MSc, Dr. E. Visser (2008). When Frameworks Let You Down. Platform-Imposed Constraints on the Design and Evolution of Domain-Specific Languages. Proceedings of the 8th OOPSLA Workshop on Domain Specific Modelling. pp. 64-66
Dr K. T. Kalleberg, Dhr. L.C.L. Kats MSc, Dr. E. Visser (2008). Generating Editors for Embedded Languages. Integrating SGLR into IMP. Proceedings of the Eighth Workshop on Language Descriptions, Tools, and Applications. pp. 91-97
E. Visser, S. Eker, F. Durán, E. Balland, M. Roldán, K. T. Kalleberg, R. Shevchenko, P.-E. Moreau, Prof. dr. M.G.J. van den Brand, Dhr. L.C.L. Kats MSc (2009). The Second Rewrite Engines Competition. Electronic Notes in Theoretical Computer Science. pp. 281-291. ISSN 1571-0661.
E. Visser, Dhr. L.C.L. Kats MSc, Prof. A. Sloane (2009). Decorated Attribute Grammars. Attribute Evaluation Meets Strategic Programming. Lecture Notes in Computer Science. pp. 142-157. ISSN 0302-9743.
M. de Jonge, E. Nilsson-Nyman, E. Visser, Dhr. L.C.L. Kats MSc (2009). Providing Rapid Feedback in Generated Modular Language Environments. Adding Error Recovery to Scannerless Generalized-LR Parsing. ACM SIGPLAN Notices. pp. 445-464. ISSN 0302-9743.
E. Visser, Dr. ir. D. Groenewegen MSc, Drs. Z. Hemel, Dhr. L.C.L. Kats MSc (2009). Code Generation by Model Transformation. A Case Study in Transformation Modularity. Software and Systems Modeling. pp. 1-28. ISSN 1619-1366.