A UML validation toolset based on abstract state machines

Author

Shen, Wuwei ; Compton, Kevin ; Huggins, James

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Michigan Univ., Ann Arbor, MI, USA

fYear

2001

fDate

26-29 Nov. 2001

Firstpage

315

Lastpage

318

Abstract

The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. These tools translate a UML model into a validation language such as PROMELA. However they have some shortcomings: there is no proof of correctness (with respect to the UML semantics) for these tools; and there is no tool that supports validation for both the static and dynamic aspects of a UML model. In order to overcome these shortcomings, we present a toolset which is based on the semantic model using abstract state machines. Since the toolset is derived from the semantic model, the toolset is correct with respect to the semantic model. In addition, this toolset can be used to validate both the static and dynamic aspects of a model.

Keywords

finite automata; object-oriented programming; program verification; specification languages; PROMELA; UML validation toolset; Unified Modeling Language; abstract state machines; model validation; semantic model; software development standard; validation language; Application software; Computer science; Object oriented modeling; Programming; Safety; Software standards; Standards development; Unified modeling language; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on

ISSN

1938-4300

Print_ISBN

0-7695-1426-X

Type

conf

DOI

10.1109/ASE.2001.989819

Filename

989819