Continuous model validation using reference attribute grammars
Continuous model validation using reference attribute grammars
复制标题
使用参考属性语法进行连续模型验证
DOI：
10.1145/3276604.3276616
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Uwe Aßmann
中科院分区：
文献类型：
--
作者：
Johannes Mey;René Schöne;Görel Hedin;Emma Söderberg;Thomas Kühn;Niklas Fors;Jesper Öqvist;Uwe Aßmann
就像当前的软件系统一样，模型的特点是复杂性和变化率不断增加。然而，这些模型只有在能够持续评估和验证的情况下才会变得有用。为了使大型模型的响应时间足够短，需要进行增量分析。引用属性语法（RAG）提供了使用动态依赖关系跟踪有效执行增量分析的机制。然而，并不是所有的功能在概念建模中使用的RAG直接可用。特别是，对非包容模型关系的支持只能通过手动实现获得。我们提出了一种方法来直接建模的单向和双向的非包容关系的RAG，并提供有效的手段，导航和编辑它们。使用增量模型编辑的可扩展基准和JastAdd RAG系统评估这种方法。我们的工作证明了RAG验证当前软件系统的复杂和不断变化的模型的适用性。
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.
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
Software Language Engineering
影响因子：
--
作者：
Christoff Bürger
通讯作者：
Christoff Bürger
RSQL 中动态数据类型的关系
DOI：
--
发表时间：
2015
期刊：
Datenbanksysteme für Business, Technologie und Web
影响因子：
--
作者：
Tobias Jäkel;Thomas Kühn;Stefan Hinkel;H. Voigt;Wolfgang Lehner
通讯作者：
Wolfgang Lehner
管理进化 Nachhaltige Weiterentwicklung großer Systeme
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
Stephan Murer;Carl F. Worms;Frank J. Furrer
通讯作者：
Frank J. Furrer
关系对象模型
DOI：
--
发表时间：
1990
期刊：
International Conference on Database Theory
影响因子：
--
作者：
M. Scholl;H. Schek
通讯作者：
H. Schek
DOI：
10.1109/scam.2012.17
发表时间：
2012-09
期刊：
2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation
影响因子：
--
作者：
J. Vinju;Michael W. Godfrey
通讯作者：
J. Vinju;Michael W. Godfrey