The paper presents an overview of formalization approaches that are used for generation of system formal models from Use Case Map-specification. Advantages and disadvantages of every method are described.