An Automatic Verification Tool for UML

James Huggins; Kevin Compton; Yuri Gurevich; Wuwei Shen

An Automatic Verification Tool for UML

James Huggins, Kevin Compton, Yuri Gurevich, Wuwei Shen

Kettering University

Research output: Contribution to journal › Article › peer-review

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.

Original language	American English
Journal	Default journal
State	Published - Feb 1 2000

Keywords

Automatic Verification Tool
Software Development
Abstract State Machine
Semantic Model

Disciplines

Computer Sciences
Software Engineering

Cite this

@article{d5e03992db2c4d0a863f5ad051320514,

title = "An Automatic Verification Tool for UML",

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.",

keywords = "Automatic Verification Tool, Software Development, Abstract State Machine, Semantic Model",

author = "James Huggins and Kevin Compton and Yuri Gurevich and Wuwei Shen",

year = "2000",

month = feb,

day = "1",

language = "American English",

journal = "Default journal",

}

TY - JOUR

T1 - An Automatic Verification Tool for UML

AU - Huggins, James

AU - Compton, Kevin

AU - Gurevich, Yuri

AU - Shen, Wuwei

PY - 2000/2/1

Y1 - 2000/2/1

N2 - 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.

AB - 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.

KW - Automatic Verification Tool

KW - Software Development

KW - Abstract State Machine

KW - Semantic Model

UR - https://digitalcommons.kettering.edu/computerscience_facultypubs/8

M3 - Article

JO - Default journal

JF - Default journal

ER -

An Automatic Verification Tool for UML

Abstract

Keywords

Disciplines

Other files and links

Cite this