SLE 2015 paper:
Weaving Concurrency in Executable Domain-Specific Modeling Languages

Florent Latombe, Xavier Crégut, Benoît Combemale, Julien DeAntoni, Marc Pantel

DOI: 10.1145/2814251.2814261
T1C: Behavioural Semantics
- The main contribution is weaving concurrency into the executable semantics of DSMLs.
T3C: DSLs
- It targets executable domain-specific modeling languages (xDSMLs).
T1D: Composition
- Concurrency is integrated as a separate concern that is composed with existing language semantics.
T6F: CPS/IoT/DT
- The motivation explicitly includes concurrent CPS/IoT-style systems and highly-parallel platforms.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.