摘要 |
PROBLEM TO BE SOLVED: To provide a consistency verification device, a consistency verification method, and a consistency verification program which are capable of verifying consistency of an arbitrary element between different types of arbitrary diagrams.SOLUTION: A consistency verification device 100 for consistency verification of a model 107 into which one software structure is visualized by a plurality of diagrams, includes: a verification item table 106 which is generated on the basis of meta-models 103 and 104 defining elements included in respective diagrams by meta-model elements and defines associations of meta-model elements consistent between different diagrams as verification items; a model information generation unit which generates a model information table 110 associating the meta-model elements defining the elements included in respective diagrams and values of the elements with each other on the basis of the model 107 and the meta-models 103 and 104; and a verification processing unit 108 which determines whether the model information table 110 includes elements inconsistent with the verification item table 106 or not on the basis of the verification item table 106 and the model information table 110. |