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

papers
15:30 - 17:30: SLE 2018 - Validation & Verification at Studio 1
Chair(s): Marsha ChechikUniversity of Toronto
papers15: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
Link to publication DOI Pre-print Media Attached
papers16:00 - 16:30
Talk
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
papers16:30 - 16:50
Talk
Vadim ZaytsevRaincode Labs
papers16:50 - 17:10
Talk
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg
DOI