A supporting system for verification among models of the UML
Atsushi Ohnishi · Systems and Computers in Japan · 2002
Abstract We propose a method for verifying the consistency among UML (Unified Modeling Language) models and for modifying errors of the models. We have been developing a system based on the proposed method. In this paper, the outline of the method will be described. The system configuration and its examples will be illustrated with a simple news system. We also show the usefulness of our method and the system through the example. © 2002 Wiley Periodicals, Inc. Syst Comp Jpn, 33(4): 1–13, 2002; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/scj.10016