Knowledge formalization is one of the main tasks in research of systems complexity. It is usually based on the development and analysis of different kind of models. Structural modeling (SM) is proposed as a succesfull approach which manages this task. The main idea of SM is building and analysis of mutually transformable models. Therefore an appropriate software for development and analysis of models has been launched by RTU FCSIT .