Formalizing a domain specific language using SOS: an industrial case study

  • Authors:

  • Frank P. M. Stappers;Sven Weber;Michel A. Reniers;Suzana Andova;Istvan Nagy

  • Affiliations:

  • Dept. of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Dept. for Architecture and Platform, ASML, Veldhoven, The Netherlands;Dept. of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands;Dept. of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Dept. of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands,Dept. for Architecture and Platform, ASML, Veldhoven, The Netherlands

  • Venue:
  • SLE'11 Proceedings of the 4th international conference on Software Language Engineering
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes the process of formalizing an existing, industrial domain specific language (DSL) that is based on the task-resource paradigm. Initially, the semantics of this DSL is defined informally and implicitly through an interpreter. The formalization starts by projecting the existing concrete syntax onto a formal abstract syntax that defines the language operators and process terms. Next, we define the dynamic operational semantics at the level of individual syntactical notions, using structural operational semantics (SOS) as a formal meta-language. Here, the impact of the formalization process on the DSL is considered in terms of disambiguation of underlying (semantic) language design decisions.