An Automatic Verification Tool for UML
The Unified Modeling Language is becoming more and more popular in the software development. However because of its ambiguity in its semantic model, few verification tools have been built. Abstract State Machines have been successfully applied in giving semantics for programming language like C. In this report, we try to use the Abstract State Machines to give a semantics model for UML and then use ASM Model Checker to design a verification tool for UML. Last we give a toy example to show how the verification tool works.
Posted on CiteSeerX under the Creative Commons BY-NC-SA license
Huggins, James; Compton, Kevin; Gurevich, Yuri; and Shen, Wuwei, "An Automatic Verification Tool for UML" (2000). Computer Science Publications. 8.