Paper Info
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.
Year
DOI
Venue
2011
10.1007/978-3-642-28830-2_13
Contrast Media & Molecular Imaging
Keywords
Field
DocType
structural operational semantics,language design decision,formal abstract syntax,formal meta-language,existing concrete syntax,specific language,formalization process,language operator,process term,industrial case study,domain specific language,dynamic operational semantics
Domain-specific language,Operational semantics,Programming language,Computer science,Digital subscriber line,Concrete syntax,Interpreter,Natural language processing,Operator (computer programming),Artificial intelligence,Abstract syntax,Semantics
Conference
Citations 
PageRank 
References 
6
0.43
18
Authors
5
Name
Order
Citations
PageRank
F. P. M. Stappers1713.43
suzanne weber260.43
Michel A. Reniers325430.73
Suzana Andova419514.77
irina i nagy560.43