Continuous Model Validation using Reference Attribute Grammars
(2018) The ACM SIGPLAN International Conference on Software Language Engineering p.70-82- 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... (More)
- 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. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/81ccfc56-5e31-4172-ba33-8f57d617e0b6
- author
- Mey, Johannes ; Schöne, René ; Hedin, Görel LU ; Söderberg, Emma LU ; Kühn, Thomas ; Fors, Niklas LU ; Öqvist, Jesper LU and Aßmann, Uwe
- organization
- publishing date
- 2018-11
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- keywords
- Incremental model evaluation, bidirectional relations, References Attribute Grammars
- host publication
- Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’18)
- pages
- 13 pages
- publisher
- Association for Computing Machinery (ACM)
- conference name
- The ACM SIGPLAN International Conference on Software Language Engineering
- conference location
- Boston, United States
- conference dates
- 2018-11-05 - 2018-11-06
- external identifiers
-
- scopus:85058240697
- ISBN
- 978-1-4503-6029-6
- DOI
- 10.1145/3276604.3276616
- project
- Bloqqi - ett öppet modulärt automationsspråk
- Bloqqi - dubblett - ta bort
- ELLIIT LU P05: Scalable Language Tools for Cyber-Physical Systems
- language
- English
- LU publication?
- yes
- id
- 81ccfc56-5e31-4172-ba33-8f57d617e0b6
- date added to LUP
- 2018-10-19 17:05:43
- date last changed
- 2022-05-03 06:59:43
@inproceedings{81ccfc56-5e31-4172-ba33-8f57d617e0b6, 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.}}, author = {{Mey, Johannes and Schöne, René and Hedin, Görel and Söderberg, Emma and Kühn, Thomas and Fors, Niklas and Öqvist, Jesper and Aßmann, Uwe}}, booktitle = {{Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’18)}}, isbn = {{978-1-4503-6029-6}}, keywords = {{Incremental model evaluation; bidirectional relations; References Attribute Grammars}}, language = {{eng}}, pages = {{70--82}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{Continuous Model Validation using Reference Attribute Grammars}}, url = {{https://lup.lub.lu.se/search/files/53162734/sle18main_p34_final.pdf}}, doi = {{10.1145/3276604.3276616}}, year = {{2018}}, }