Relational reference attribute grammars: Improving continuous model validation

Mey, Johannes; Schöne, René; Hedin, Görel; Söderberg, Emma; Kühn, Thomas; Fors, Niklas; Öqvist, Jesper; Aßmann, Uwe

doi:10.1016/j.cola.2019.100940

Cited by 13 publications

(10 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We identified three challenges -distribution, multiple paradigms and fast, reactive behaviour -and four goals -minimize development effort, network usage, computation effort while maximize interoperability -and addressed each of them. Our approach uses models based on relational Reference Attribute Grammars [28] and offers a way to explicitly specify connections to other external models. A connection comprises an endpoint as the part to update (or used for updates) and a number of needed mappings to either parse, transform or serialize updated values.…”

Section: Resultsmentioning

confidence: 99%

“…5. Actually, our approach does not directly output artefacts conform to JastAdd but instead for another preprocessor handling relations (RelAST) [28].…”

Section: Generating Code From the Dslmentioning

confidence: 99%

“…This work aims to realize those cases involving multiple CPS by offering a way to connect systems -more precisely models used by those systems -to other models in an automatic and generic way. As a formal basis, this work focusses on relational Reference Attribute Grammars (relational RAGs) [28], a formalism extending RAGs [19]. Models specified with this formalism unite the definition of structure (by employing grammars and relations) and computation (using attributes).…”

Section: Introductionmentioning

confidence: 99%

“…Reference Attribute Grammars (RAGs) [19] allow attributes to point to other nonterminal nodes which, together with the introduction of intrinsic non-containment relations [28] enables the usage of ASTs as conceptual models. Modern RAG frameworks, such as JastAdd [20], offer further features like incremental evaluation [35] or higher-order attributes [37].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Connecting conceptual models using relational reference attribute grammars

Schöne

Mey

Ebert

et al. 2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

Self Cite

View full text Add to dashboard Cite

Model-driven engineering can be used to create problem-specific, conceptual models abstracting away unwanted details. Models at runtime take this principle to the time a system is running. Connecting and synchronizing multiple models creates several problems. Usually, models used at runtime must communicate with other systems over the network, they are often based on different paradigms, and in most settings a fast and reactive behaviour is required. We aim for a structured way to define and organize such connections in order to minimize development cost, network usage and computation effort while maximizing interoperability. In order to achieve those goals, we present an extension of the paradigm of models based on reference attribute grammars by creating a dedicated problem-specific language for those connections. We show how to connect several runtime models to a robotic system in order to control this robot and to provide guarantees for safe coexistence with nearby humans. We show, that using our approach, connections can be specified more concisely while maintaining the same efficiency as handwritten code. CCS CONCEPTS • Software and its engineering → Publish-subscribe / event-based architectures; Model-driven software engineering; Interoperability; Domain specific languages; • Theory of computation → Grammars and context-free languages; • Computer systems organization → External interfaces for robotics.

show abstract

Section: Resultsmentioning

confidence: 99%

“…5. Actually, our approach does not directly output artefacts conform to JastAdd but instead for another preprocessor handling relations (RelAST) [28].…”

Section: Generating Code From the Dslmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Connecting conceptual models using relational reference attribute grammars

Schöne

Mey

Ebert

et al. 2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

Self Cite

View full text Add to dashboard Cite

show abstract

“…Thus, in this paper we propose using Relational Reference Attribute Grammars [8] for modeling and analyzing IoT systems with an explicit architecture. Reference Attribute Grammars (RAGs) support declarative analysis over abstract syntax trees and are used for building compilers and other language-based tools.…”

Section: Introductionmentioning

confidence: 99%

Runtime modeling and analysis of IoT systems

Åkesson

Hedin

Fors

et al. 2020

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedi

Self Cite

View full text Add to dashboard Cite

Internet-of-things systems are difficult to understand and debug due to their distributed nature and weak connectivity. We address this problem by using relational reference attribute grammars to model and analyze IoT systems with unreachable parts. A transitive device-dependency analysis is given as an example. CCS CONCEPTS • Software and its engineering → Software as a service orchestration system; Integrated and visual development environments.

show abstract