is a functional meta-programming language for source code analysis and transformation, and language workbench for DSL development. It has been successfully used for developing DSLs in the domains of finance, digital forensics, and game economies.
Dedicated platforms exist to model and analyze software systems, such as Moose [NDG05] and Rascal [KvdSV09].