Model validation system, model validation method and recording medium

摘要

The format and language conversion unit that converts into formal language expression data based on the representation of the form a predetermined language, the model diagram data which is registered as a design pattern program is associated, model verification system, by formal language conversion means for formal languages ​​representation converted data, the attribute information and / or components of a formal language, and a formal language growth unit that generates a formal language representation data of the derived design with modification, to perform refactoring.