Planned intervention: On Thursday March 28th 07:00 UTC Zenodo will be unavailable for up to 5 minutes to perform a database upgrade.
Published February 14, 2020 | Version 1.0.0
Software Open

Relational Reference Attribute Grammars: Improving Continuous Model Validation (Artefact)

Description

This artefact contains the source code, measurement environment and measurement data of the evaluation of the paper with the same name.


Abstract of the Publication
Just like current software systems, conceptual models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated, validated and serialized. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform incremental analysis efficiently using dynamic dependency tracking. However, not all features used in conceptual modelling are directly available in RAGs. In particular, support for noncontainment model relations is only available through encodings. We present an approach called Relational RAGs to directly model uni- and bidirectional noncontainment relations in RAGs and provide efficient means for navigating and editing them. Furthermore, we discuss the efficient and inter-operable serialization and deserialization of such model instances. 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.

Notes

This work is partly supported by the German Research Foundation (DFG) in the SFB 912 HAEC, the project RISCOS, the Cluster of Excellence EXC 2050/1 CeTI and within the Research Training Group RoSI (GRK 1907), and by the German Federal Ministry of Education and Research within the project OpenLicht. This work is also partly supported by the Swedish Governmental Agency for Innovation Systems (VINNOVA) in the PIIA project 2017-02371 and by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation (KAW).

Files

ModelValidationWithRAGs.zip

Files (1.5 GB)

Name Size Download all
md5:8caab232de627c86bab5ef11c2804bfa
6.6 MB Preview Download
md5:bd83c73ae917ee2fb75771966f70e2cc
11.7 kB Preview Download
md5:08064818539205a217b614999f4f4311
143.1 kB Preview Download
md5:ea514f0d98c2fb67bab2e1834df120d7
1.5 GB Download

Additional details

Related works

Is compiled by
Software: https://git-st.inf.tu-dresden.de/jastadd/relational-rags (URL)
Is derived from
Software: https://git-st.inf.tu-dresden.de/stgroup/trainbenchmark (URL)
Is documented by
Journal article: 10.1016/j.cola.2019.100940 (DOI)
Is new version of
Software: 10.1145/3284656 (DOI)