A tool support for verifying consistency between UML diagrams by SMV
Shinji Harada, Tomoyuki Yokogawa, Hisashi Miyazaki, Yoichiro Sato, Michiyoshi Hayase · ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications · 2009
We develop a tool to support verification of consistency between designs described by UML diagrams. This tool translates an XML data exported from a UML drawer into an input of SMV (called SMV program). This tool provides afront-end which parses an XML data and generates an intermediate data. This tool also provides a back-end which generates an SMV programfrom the intermediate data. We show the availability of our tool by applying it to an example.