@inproceedings{c8bea6b5eee94c7297aabe1598814efd,
title = "Formalizing a domain specific language using SOS : an industrial case study",
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.",
author = "F.P.M. Stappers and S. Weber and M.A. Reniers and S. Andova and I. Nagy",
year = "2012",
doi = "10.1007/978-3-642-28830-2_13",
language = "English",
isbn = "978-3-642-28829-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "223--242",
editor = "A. Sloane and U. A{\ss}mann",
booktitle = "Software Engineering Language (4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers)",
}