Title

A Toolset for Supporting UML Static and Dynamic Model Checking

Document Type

Conference Proceeding

Publication Date

8-2002

Publication Title

Proceedings of 26th Annual International Computer Software and Applications Conference

Conference Name

26th Annual International Computer Software and Applications Conference

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. However most of them support either static or dynamic model checking; and no tools support to check both static and dynamic aspects of a UML model. But a UML model should include the static and dynamic aspects of a software system. Furthermore, these UML tools translate a UML model into a validation language such as PROMELA. But they have some shortcomings: there is no proof of correctness (with respect to the UML semantics) for these tools. In order to overcome these shortcomings, we present a toolset which can validate both static and dynamic aspects of a model; and this toolset 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.

Comments

Pgs. 147-152

DOI: 10.1109/CMPSAC.2002.1044545

ISSN: 0730-3157

Rights Statement

© Copyright 2002 by The Institute of Electrical and Electronics Engineers, Inc. All rights reserved

This document is currently not available here.

Share

COinS