This report presents MontiArc, a modeling language for the description of Component &
Connector architectures. A component is a unit executing computations and/or storing data …

We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy.
Unlike existing translations, which are based on a shallow embedding strategy, and are thus …

The basic ingredients of a domain-specific modeling language (DSML) are its syntax and
semantics. For defining the abstract syntax in terms of metamodels, MOF constitutes a …

Many testing and benchmarking scenarios in software and systems engineering depend on
the systematic generation of graph models. For instance, tool qualification necessitated by …

We present a taxonomy of the variability mechanisms offered by modeling languages. The
definition of a formal language encompasses a syntax and a semantic domain as well as the …

Metamodeling is foundational to many modeling frameworks, and so it is important to
formalize and reason about it. Ideally, correctness proofs and test-case generation on the …

Engineering software and software intensive systems has become increasingly complex
over the last decades. In the ongoing digitalization of all aspects of our lives in almost every …

Despite the wide range of existing tool support, constructing a design environment for a
complex domain-specific language (DSL) is still a tedious task as the large number of …

Systematic reuse is crucial to efficiently engineer and deploy software languages to software
experts and domain experts alike. But “software languages are software too”, and hence …

The generation of sample instance models of Domain-Specific Language (DSL)
specifications has become an active research line due to its increasing industrial relevance …