Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Continuous Model Validation using Reference Attribute Grammars

Mey, Johannes ; Schöne, René ; Hedin, Görel LU orcid ; Söderberg, Emma LU orcid ; Kühn, Thomas ; Fors, Niklas LU orcid ; Öqvist, Jesper LU and Aßmann, Uwe (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:
author
; ; ; ; ; ; and
organization
publishing date
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}},
}