October 18, 2021
|
|
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 of the workshop are publised at ACM DL. For past workshops at OOPSLA/SPLASH see papers, program, and results of earlier DSM workshops.
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 |
IntroductionWorkshop introduction | |
| ||
| 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 |
|
| ||
| 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 |
| ||
| 11:50 | Discussion and summary | |
| 12:10 |