The analysis and design of a FOMT-C++ compiler

This paper discusses the lack of formality in OMT (Object Modeling Technique), presents a system framework of formal OMT and presents research on the automatic translation problem from formal OMT to C++. Firstly, this paper discusses the grammar of FOMT, formal semantics and determination of translating functions. Then it considers the design and implementation of the translation system.