Domain-Specific Languages for Flexibly Experimenting With Models

Warnke, Tom and Peng, Danhua and Uhrmacher, Adelinde M. (2015) Domain-Specific Languages for Flexibly Experimenting With Models. In: Workshop der ASIM/GI-Fachgruppen STS (Simulation Technischer Systeme) und GMMS (Grundlagen und Methoden in Modellbildung und Simulation), 18-19 Jun, Stralsund, Germany. Proceedings, published by ARGESIM Report, Band 50, pp. 285-286.

Full text not available from this repository.
Official URL:


Domain specific languages have traditionally been used for model description. In recent years, efforts toward enabling simulation reproducibility have motivated the use of domain specific languages to also express experiment specifications. Domain specific languages serve to specify individual sub-tasks in this process, such as configuration, execution, observation, analysis, and evaluation of experiments. A specific type of analysis, i.e., statistical model checking, can again benefit from domain specific languages. To allow a flexible specification of model behavior, different variants of temporal logic have been developed. In this talk, we will present the combination of two domain specific languages and their usage for statistical model checking.

Item Type: Conference or Workshop Item (Paper)
Projects: Developing Valid Models via Reuse