EML is a model-based, functional langauge that extends EMF.
The Eclipse Modeling Language (EML) is a functional, model-based language that can be used to specify semantic operations in an executable way. Specifications can checked for type consistency, executed and code can be generated from them. The specification is specialized to work on Eclipse Models build with the Eclipse Modeling Framework (EMF).
EML can be used to specify operations that work within Eclipse-based tools, for example in test or report generators.
It is planned to extend EML by a connecting with a formal tool allowing to generate EMF models that satisfy specified EML predicates.