Continuous Model Validation using Reference Attribute Grammars
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
|15:30 - 16:00|
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, GermanyLink to publication DOI Pre-print Media Attached
|16:00 - 16:30|
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of TechnologyLink to publication DOI Pre-print
|16:30 - 16:50|
Vadim ZaytsevRaincode Labs
|16:50 - 17:10|
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of LuxembourgDOI