sle2011/paper11

SLE 2011 paper:
Formalizing a Domain Specific Language Using SOS: An Industrial Case Study

Frank P. M. Stappers, Sven Weber, Michel Reniers, Suzana Andova, István Nagy

• DOI: 10.1007/978-3-642-28830-2_13
• T1C: Behavioural Semantics
  • The main result is an executable/behavioral semantics for a DSL defined using Structural Operational Semantics.
• T5D: Formal Methods
  • Using SOS to formalise the DSL is a formal-methods approach to language definition and analysis.
• T6B: Industrial
  • The work is grounded in an industrial case study.

---

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