Title

An Automatic Verification Tool for UML

Document Type

Article

Publication Date

2-2000

Abstract

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.

Rights

Posted on CiteSeerX under the Creative Commons BY-NC-SA license

This document is currently not available here.

Share

COinS