The 18th Workshop on Domain-Specific Modeling

virtual
October 18, 2021

Domain-Specific Modeling (DSM) languages provide a viable and time-tested solution for continuing to raise the level of abstraction, and thus productivity, beyond coding, making systems and software devel-opment faster and easier.

In DSM, the models are constructed using concepts that represent things in the application domain, not concepts of a given programming language. The modeling language follows the domain abstractions and semantics, allowing developers to perceive themselves as working directly with domain concepts. In a number of cases, the final products can be automatically generated from these high-level specifications with domain-specific code generators. This automation is possible because of domain-specificity: both the modeling language and code generators fit to the requirements of a narrowly defined domain, usually inside one organization only.

Proceedings

Proceedings of the workshop are publised at ACM DL. For past workshops at OOPSLA/SPLASH see papers, program, and results of earlier DSM workshops.

Program and presentations slides

The workshop format for the virtual event focuses on talks and discussions. Unlike in the past there was no focus groups or group work sessions found effective during the past workshops.

9:00

Introduction

Workshop introduction


Cases

9:20

Paper

MOLEGA: Modeling Language for Educational Card Games
Kaylynn Borror, Eric Rapos, Miami University
9:40

Paper

PrintTalk: a Constraint-based Imperative DSL for 3D Printing
Jef Jacobs, Jens Nicolay, Christophe De Troyer, Wolfgang De Meuter, Vrije Universiteit Brussel
10:00

Paper

Industrial Experiences With the Evolution of a DSL
Mathijs Schuts, Philips & Radboud University; Marco Alonso, Philips; Jozef Hooman, TNO & Radboud University
10:20

break

 
   


Verification and validation, Tooling

10:50

Paper

Co-designing DSL Quality Assurance Measures for and with Non-programming Experts
Holger Borum, Christoph Seidl, Peter Sestoft, IT University of Copenhagen
11:10

Paper

Integration of Modeling and Verification for System Model Based on KARMA Language
Jie Ding, Beijing Institute of Technology; Michael Reniers, Eindhoven Univeristy of Technology; Jinzhi Lu, EPFL; Guoxin Wang, Beijing Institute of Technology; Lei Feng, KTH Royal Institute of Technology; Dimitris Kiritsis, EPFL
11:30

Paper

Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
Qishen Zhang, Daniel Balasubramanian, Tamas Kecskes, Janos Sztipanovits, Vanderbilt University
   


Discussion

11:50   Discussion and summary
12:10

 

Program committee

Organizing committee