11. The model verification method as recited in claim 9 , comprising: converting 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 converted formal language expression data and determining whether the formal language expression data and the information description expression data match each other, to verify the model figure data with use of the generated information; performing an operation verification of the replacing candidate and the replaced candidate with use of test data, to verify the model figure data; using, as the formal language expression data, data in an XML schema format or an XPath format used for grammar check and extraction check of an XML language and/or a BPEL to verify the model figure data.
9. A model verification method by a computer system including a processor, a storage section, an input part, and an output part, the model verification method comprising: acquiring an original model figure data registered as a design pattern in association with a program to the storage section by the input part; converting the original model figure data by the processor into formal language expression data based upon an expression format of a predetermined formal language; adding formal language expression data of a derivative design by the processor, by adding a modification to a component of the formal language on the converted formal language expression data, and storing the formal language expression data of the derivative design to the storage section; and verifying the original model figure data with use of the generated information processor and outputting verifying result by the output part; the conversion to the formal language expression data includes: determining 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, extracting a parameter that specifies the model figure among the original model figure data from characteristics of the determined formal language, generating the formal language expression data based upon the extracted parameter to verify the original model figure data with use of the generated information; acquiring a recommended Key performance indicator (KPI) range value, a KPI calculation function, and existing design log data based upon the matching result; calculating a KPI value of the matched information description expression data, to verify the model figure data with use of the calculated information; generating information for selecting a replacing candidate and a replaced candidate based upon the KPI value of the information description expression data, to verify the model figure data with use of the generated information, comparing KPI values that are equivalent and comparable in a plurality of pieces of the information description expression data quantified by the quantification part, setting information description expression data having a high KPI value as a replacing candidate, setting other information description expression data as replaced candidates, and store the relationship between the candidates, and calculating a ratio of KPI values of the replacing candidate and the replaced candidates and Return On Investment (ROI) value in a case of the replacement.