发明名称 CONSISTENCY VERIFICATION DEVICE, CONSISTENCY VERIFICATION METHOD, AND CONSISTENCY VERIFICATION PROGRAM
摘要 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.
申请公布号 JP2015041285(A) 申请公布日期 2015.03.02
申请号 JP20130172549 申请日期 2013.08.22
申请人 MITSUBISHI ELECTRIC CORP 发明人 KANAI HAYATO;ASAKAWA TADATAKA;NAKAMURA KATSUHIKO;YAMADA TAKAMITSU;KASHIWAGI RYO
分类号 G06F11/36;G06F9/44 主分类号 G06F11/36
代理机构 代理人
主权项
地址