Domain-Specific Languages

Models are made. Sometimes automatically, sometimes by hand by a developer. A formal language is used for automated processing and automated checking of consistency and correctness. To support developers in making domain-specific models, often so-called Domain-Specific Languages (DSL) are defined. A DSL is formal language that is designed specifically to be convenient for the development of particular class of models targetting a particular domain. The Eclipse Xtext DSL development framework and the Ecore meta-modeling framework are often used to develop DSLs.

We have developed a number of DSLs. For example: