EAG - EMF Attribute Grammars

EMF Attribute Grammars (EAGs) can be used to specify the semantics of Ecore models. This includes both the static and the dynamic semantics.

A semantics specification based on EAGs consists of a set of attributes (i.e., the output of computing the semantics) and a set of rules to compute these attributes. Each rule is bound to a metaclass and evaluated for intances of this class. Attributes are arbitrary Ecore models, but can also have a primitive type (e.g., EDouble).

The EAG DSL comes with an interpreter, which can be used to evaluate attribute grammars of models.

Screenshot

CS Specification

eag.cs

Metamodel

eag.text.ecore

eag.genmodel

Plugins

org.emftext.language.eag

org.emftext.language.eag.resource.eag

org.emftext.language.eag.resource.eag.ui

org.emftext.language.eag.interpreter