SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Mon 5 Nov 2018 16:00 - 16:30 at Studio 1 - Validation & Verification

To provide empirical evidence to what extent migration of business logic to an incremental computing language (ICL) is useful, we report on a case study on a learning management system. Our contribution is to analyze a real-life project, how migrating business logic to an ICL affects information system validatability, performance, and development effort.

We find that the migrated code has better validatability; it is straightforward to establish that a program ‘does the right thing’. Moreover, the performance is better than the previous hand-written incremental computing solution. The effort spent on modeling business logic is reduced, but integrating that logic in the application and tuning performance takes considerable effort. Thus, the ICL separates the concerns of business logic and performance, but does not reduce total effort. Our case study relies on IceDust. IceDust builds on WebDSL and the Spoofax language workbench.

Mon 5 Nov

papers
15:30 - 17:30: SLE 2018 - Validation & Verification at Studio 1
papers154142820000015:30 - 16:00
Talk
Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany
papers154143000000016:00 - 16:30
Talk
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserTU Delft
papers154143180000016:30 - 16:50
Talk
Vadim ZaytsevRaincode Labs
papers154143300000016:50 - 17:10
Talk
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg