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:

  • The Quality and Resource Modeling Language (QRML) is a DSL for the specification of Quality and Resource Management (QRM) component models [1].
  • The Computational Modeling Workbench supports definition and analysis of a collection of models, e.g., Finite State Automata, Regular Expressions, Linear Temporal Logic, Markov Chains, Dataflow Models and Max-Plus Algebraic models.
    It uses cmlang as an open source DSL definition for this set of languages, including some validation, visualization and code generation options.

References

  1. Freek Berg and Václav Čamra and Martijn Hendriks and Marc Geilen and Petr Hnetynka and Fernando Manteca and Pablo Sánchez and Tomáš Bureš and Twan Basten (2020): QRML: A Component Language and Toolset for Quality and Resource Management. In: 2020 Forum for Specification and Design Languages (FDL), pp. 1-8, 2020.

Selected Related Publications

2021

Hendriks, Martijn; Geilen, Marc; Goossens, Kees; Jong, Rob; Basten, Twan

Interface Modeling for Quality and Resource Management Journal Article

In: Logical Methods in Computer Science, vol. Volume 17, Issue 2, 2021.

Links | BibTeX

2020

Berg, Freek; Čamra, Václav; Hendriks, Martijn; Geilen, Marc; Hnetynka, Petr; Manteca, Fernando; Sánchez, Pablo; Bureš, Tomáš; Basten, Twan

QRML: A Component Language and Toolset for Quality and Resource Management Proceedings Article

In: 2020 Forum for Specification and Design Languages (FDL), pp. 1-8, 2020.

Links | BibTeX

2016

Sanden, Bram; Bastos, João; Voeten, Jeroen; Geilen, Marc; Reniers, Michel A.; Basten, Twan; Jacobs, Johan; Schiffelers, Ramon R. H.

Compositional specification of functionality and timing of manufacturing systems Proceedings Article

In: 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016, pp. 1–8, 2016.

Links | BibTeX

2015

Sanden, Bram; Reniers, Michel; Geilen, Marc; Basten, Twan; Jacobs, Johan; Voeten, Jeroen; Schiffelers, Ramon

Modular model-based supervisory controller design for wafer logistics in lithography machines Proceedings Article

In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 416-425, 2015.

Links | BibTeX