Continuous model validation using reference attribute grammars

Abstract

Just like current software systems, models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated and validated. To achieve sufficiently low response times for large models, incremental analysis is required. 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 uni-and bidirectional non-containment relations in RAGs and provide efficient means for navigating and editing them. This approach is evaluated using a scalable benchmark for incremental model editing and the JastAdd RAG system. Our work demonstrates the suitability of RAGs for validating complex and continuously changing models of current software systems. CCS Concepts • Theory of computation → Grammars and context-free languages; • Software and its engineering → System description languages; • Computing methodologies → Model verification and validation;

JavaDL: automatically incrementalizing Java bug pattern detection

“…Silver provides support for syntactic pattern matching, but (to the best of our knowledge) no support for computations over general-purpose relations, while JastAdd does not provide syntactic pattern matching support, but can support general-purpose relations [Mey et al 2018] (a feature not yet explored for purposes of program analysis). Attribute grammars have been used for bug finding [Söderberg et al 2013], and some analyses may be easier to encode in attribute grammars.…”

A cross-technology benchmark for incremental graph queries

“…JastAdd does not work with EMF models directly, but requires users to transform the input metamodel into an AST representation using a dedicated syntax [67]. Listing 11 shows the grammar representing the metamodel of Fig.…”