A research on developing tools based on formal OMT
OMT (Object Modeling Technique) is an informal software development tool. The main feature of the informal method is that it describes a system adopting natural language and intuition graphics. In order to increase the tightness and decrease the ambiguity, the paper presents a formalization of OMT. Moreover, the paper discusses an automatic translation development tool from a formal OMT to a C++ program. It may he used to shorten the translation period and avoid programming mistakes in manual implementation.