Publications

Here is a selection of my publications. You can also find externally curated collections on DBLP, Google Scholar and ResearchGate.

Filter: #journal-article clear-filter

2020 (1)

#journal-article

Stefan Klikovits and Didier Buchs. Pragmatic reuse for DSML development. In: Software and Systems Modeling (SoSyM). 2020.

Abstract
By bridging the semantic gap, domain-specific language (DSLs) serve an important role in the  conquest to allow domain experts to model their systems themselves. In this publication we present  a case study of the development of the Continuous REactive SysTems language (CREST),  a DSL for hybrid systems modeling. The language focuses on the representation of continuous  resource flows such as water, electricity, light or heat. Our methodology follows a very pragmatic approach, combining the syntactic and semantic principles of well-known modeling means such  as hybrid automata, data-flow languages and architecture description languages into a coherent language.  The borrowed aspects have been carefully combined and formalised in a well-defined operational semantics.  The DSL provides two concrete syntaxes: CREST diagrams, a graphical language that is easily understandable  and serves as a model basis, and crestdsl, an internal DSL implementation that supports rapid  prototyping—both are geared towards usability and clarity. We present the DSL’s semantics,  which thoroughly connect the various language concerns into an executable formalism that enables  sound simulation and formal verification in crestdsl, and discuss the lessons learned throughout the project.
Link DOI
Bibtex
@article{Klikovits:2020:sosym:crest,
  author={Stefan Klikovits and Didier Buchs},
  title={{Pragmatic reuse for DSML development}}, 
  journal= {{Software and Systems Modeling (SoSyM)}}, 
  doi={10.1007/s10270-020-00831-4},
  year= 2020
}