Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
It is also the focus of this paper to integrate the UML and formallanguage, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formalsemantic description of the EXPRESS data model is introduced.