12. A non-transitory computer-readable recording medium having a model verification program recorded thereon, allowing a controller of an information processing apparatus to function as, comprising: a pattern accumulation part operable to acquire an original model figure data registered as a design pattern in association with a program; a formal language conversion part operable to convert the original model figure data into formal language expression data based upon an expression format of a predetermined formal language; and a formal language increment part operable to add formal language expression data of a derivative design by add a modification to a component of the formal language on the converted formal language expression data, and to store the formal language expression data of the derivative design to the pattern accumulation part; a data type determination part operable to determine an expression format of a formal language into which the original model figure data are converted based upon an extension and/or type information defined at a header of a file, a data parameter extraction part operable to extract a parameter that specifies the model figure among the original model figure data from characteristics of the formal language determined at the data type determination part, a formal language generation part operable to generate the formal language expression data based upon the parameter extracted at the data parameter extraction part; wherein the model verification program allows the controller to further function as: a quantification part operable to acquire a recommended Key Performance Indicator (KPI) range value, a KPI calculation function, and existing design log data based upon the matching result of the design extraction part and to calculate a KPI value of the matched information description expression data; a replacement target management part operable to compare KPI values that are equivalent and comparable in a plurality of pieces of the information description expression data quantified by the quantification part, set information description expression data having a high KPI value as a replacing candidate, set other information description expression data as a replaced candidates, and store the relationship between the candidates; a separation part operable to separate a replacing candidate and a replaced candidate based upon the KPI value of the information description expression data acquired by the quantification part; and a Return On Investment (ROI) calculation part operable to calculate a ratio of KPI values of the replacing candidate and the replaced candidates and to calculate a Return On Investment (ROI) value in a case of the replacement.
12. A non-transitory computer-readable recording medium having a model verification program recorded thereon, allowing a controller of an information processing apparatus to function as, comprising: a pattern accumulation part operable to acquire an original model figure data registered as a design pattern in association with a program; a formal language conversion part operable to convert the original model figure data into formal language expression data based upon an expression format of a predetermined formal language; and a formal language increment part operable to add formal language expression data of a derivative design by add a modification to a component of the formal language on the converted formal language expression data, and to store the formal language expression data of the derivative design to the pattern accumulation part; a data type determination part operable to determine an expression format of a formal language into which the original model figure data are converted based upon an extension and/or type information defined at a header of a file, a data parameter extraction part operable to extract a parameter that specifies the model figure among the original model figure data from characteristics of the formal language determined at the data type determination part, a formal language generation part operable to generate the formal language expression data based upon the parameter extracted at the data parameter extraction part; wherein the model verification program allows the controller to further function as: a quantification part operable to acquire a recommended Key Performance Indicator (KPI) range value, a KPI calculation function, and existing design log data based upon the matching result of the design extraction part and to calculate a KPI value of the matched information description expression data; a replacement target management part operable to compare KPI values that are equivalent and comparable in a plurality of pieces of the information description expression data quantified by the quantification part, set information description expression data having a high KPI value as a replacing candidate, set other information description expression data as a replaced candidates, and store the relationship between the candidates; a separation part operable to separate a replacing candidate and a replaced candidate based upon the KPI value of the information description expression data acquired by the quantification part; and a Return On Investment (ROI) calculation part operable to calculate a ratio of KPI values of the replacing candidate and the replaced candidates and to calculate a Return On Investment (ROI) value in a case of the replacement. 14. The recording medium having a model verification program recorded thereon as recited in claim 12 , allowing the controller to further function as: a design extraction part operable to convert model figure data, which are existing designed data, into information description expression data in an information expression format corresponding to the expression format of the formal language expression data converted at the formal language conversion part and to determine whether the formal language expression data and the information description expression data are matched with each other; an equivalence verification part operable to perform an operation verification of the selection result of the replacing candidate and the replaced candidate at the separation part with use of test data; wherein: data in an XML (Extensible Markup Language) schema format or an XPath format used for grammar check and extraction check of an XML and/or a BPEL (Business Process Execution Language) are used as the formal language expression data.