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 Chair(s): Marsha Chechik

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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:30
Validation & VerificationSLE 2018 at Studio 1
Chair(s): Marsha Chechik University of Toronto
15:30
30m
Talk
Continuous Model Validation using Reference Attribute Grammars
SLE 2018
Johannes Mey Technische Universität Dresden, René Schöne Technische Universität Dresden, Görel Hedin , Emma Söderberg Lund University, Thomas Kühn Technische Universität Dresden, Niklas Fors Lund University, Jesper Oqvist Lund University, Uwe Aßmann TU Dresden, Germany
Link to publication DOI Pre-print Media Attached
16:00
30m
Talk
Migrating Business Logic to an Incremental Computing DSL: A Case Study
SLE 2018
Daco Harkes Delft University of Technology, Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI Pre-print
16:30
20m
Talk
An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo
SLE 2018
Vadim Zaytsev Raincode Labs
16:50
20m
Talk
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo
SLE 2018
Benoît Ries University of Luxembourg, Alfredo Capozucca University of Luxembourg, Nicolas Guelfi University of Luxembourg
DOI