A Formalization of Expression Semantics for an Executable Modeling Languages.
Laurel Neustadter · 1994
This paper proposes a method for formally specifying an executable modeling language’s (EML ’s) expression sublanguage. We demonstrate the method in terms of a generic ezecutable modeling language called GEML that is representative of a number of existing algebmic EMLs, including AMPL, GAMS, LINGO, and SML. Formalizing EML ‘expression semantics is important for a number of reasons: semantic formalization enables certain kinds of EML implementation algorithms to be proved correct, can help reduce modeling er”, enables model portability, and may serue to bring greater focus to some issues of modeling language design.