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

Just like current software systems, models are characterised by increasing complexity and rate of change, for instance for knowledge bases of self-adaptive systems. Yet, these models only become useful if they can be continuously evaluated and validated. Thus, large and constantly changing models require means to be analyzed incrementally.

Reference Attribute Grammars (RAGs) offer mechanisms to perform an incremental analysis efficiently using dynamic dependency tracking. However, not all features used in conceptual modelling are directly available in RAGs. In particular, support for non-containment model relations is only available through manual implementation.

We present an approach to directly model directed and undirected non-containment relations in RAGs and provide efficient means of navigating and editing them. This approach is evaluated using a scalable benchmark for incremental model editing and the JastAdd system.

Our work demonstrates the suitability of RAGs for validating complex and continuously changing models of current software systems.

Mon 5 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:30: Validation & VerificationSLE 2018 at Studio 1
Chair(s): Marsha ChechikUniversity of Toronto
15:30 - 16:00
Continuous Model Validation using Reference Attribute Grammars
SLE 2018
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
Link to publication DOI Pre-print Media Attached
16:00 - 16:30
Migrating Business Logic to an Incremental Computing DSL: A Case Study
SLE 2018
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
16:30 - 16:50
An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo
SLE 2018
Vadim ZaytsevRaincode Labs
16:50 - 17:10
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo
SLE 2018
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg