Reference Attribute Grammars for Metamodel Semantics

Bürger, Christoff; Karol, Sven; Wende, Christian; Aßmann, Uwe

doi:10.1007/978-3-642-19440-5_3

Cited by 20 publications

(19 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Only simple cases are supported by default implementations [9]. JastEMF [4] allows to specify the semantics of EMF metamodels using JastAdd RAGs by integrating generated code from JastAdd and EMF.…”

Section: Related Workmentioning

confidence: 99%

Declarative Name Binding and Scope Rules

Konat

Kats

Wachsmuth

et al. 2013

Software Language Engineering

View full text Add to dashboard Cite

Abstract. In textual software languages, names are used to reference elements like variables, methods, classes, etc. Name resolution analyses these names in order to establish references between denition and use sites of elements. In this paper, we identify recurring patterns for name bindings in programming languages and introduce a declarative metalanguage for the specication of name bindings in terms of namespaces, denition sites, use sites, and scopes. Based on such declarative name binding specications, we provide a language-parametric algorithm for static name resolution during compile-time. We discuss the integration of the algorithm into the Spoofax Language Workbench and show how its results can be employed in semantic editor services like reference resolution, constraint checking, and content completion.

show abstract

Section: Related Workmentioning

confidence: 99%

Declarative Name Binding and Scope Rules

Konat

Kats

Wachsmuth

et al. 2013

Software Language Engineering

View full text Add to dashboard Cite

show abstract

“…To overcome this issue and to provide an appropriate and usable approach for specifying metamodel semantics, we developed the JastEMF tool [9] which integrates RAGs based on the JastAdd tool [10] with the EMF [11,12]. An RAG specifies the computation of semantic values over the syntax trees of a target language.…”

Section: Implementing Static Semantics With Jastemfmentioning

confidence: 99%

“…Note that in line 3 the terminal dependentOfName was added to make the name of the referenced option available for AG computations. Other parts of the metamodel belong to the semantic interface, such as EAttributes marked as derived in the metamodel, non-containment references and operations [12].…”

Section: Implementing Static Semantics With Jastemfmentioning

confidence: 99%

Model-Based Language Engineering with EMFText

Heidenreich

Johannes

Karol

et al. 2013

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract.Model-based techniques are in wide-spread use for the design and implementation of domain specific languages (DSLs) and their tooling. The Eclipse Modeling Framework (EMF) is a frequently used environment for model-based language engineering. With its underlying modelling language Ecore, its XML serialisation support and its versatile extensibility it provides a solid grounding for many task-specific language development tools. In this tutorial, we give an introduction to model-based language engineering using EMFText, which allows users to develop powerful textual editors for Ecore-based DSLs that are tightly integrated with the EMF.

show abstract

“…RAGs are based on abstract syntax trees (ASTs), but provide reference attributes that link together AST nodes to form a graph. RAGs can also be integrated with EMF as shown by Bürger et al [6], where containment relations correspond to the AST, and non-containment relations are mapped to reference attributes. RAGs have previously been shown useful for building extensible compilers for textual languages like Java [8] and Modelica [5].…”

Section: Introductionmentioning

confidence: 99%

Implementing semantic feedback in a diagram editor

Fors

Hedin

2013

Proceedings of the Second Workshop on Graphical Modeling Language Development

View full text Add to dashboard Cite

In editors for visual languages it is often useful to provide interactive feedback that depends on the static semantics of the edited program. In this paper we demonstrate how such feedback can be implemented using reference attribute grammars. Because the implementation is declarative, it is easy to modularize compiler and editor computations, reusing the compiler's program model in the editor. Furthermore, the declarative approach makes it easy to keep the program model and view consistent during editing. The approach is illustrated using a function block diagram language, with visual feedback on, for example, type checking and cyclic data flow.

show abstract

Reference Attribute Grammars for Metamodel Semantics

Cited by 20 publications

References 16 publications

Declarative Name Binding and Scope Rules

Declarative Name Binding and Scope Rules

Model-Based Language Engineering with EMFText

Implementing semantic feedback in a diagram editor

Contact Info

Product

Resources

About