Abstract
The Unified Modeling Language has become widely acceptedas a standard in software development. Several tools have beenproduced to support UML model validation. These tools translatea 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; andthere is no tool that supports validation for both the static anddynamic aspects of a UML model. In order to overcome theseshortcomings, we present a toolset which is based on the semanticmodel using Abstract State Machines. Since the toolset is derivedfrom the semantic model, the toolset is correct with respect to thesemantic model. In addition, this toolset can be used to validateboth the static and dynamic aspects of a model.
| Original language | American English |
|---|---|
| State | Published - Nov 1 2001 |
| Event | ASE '01: Proceedings of the 16th IEEE International Conference on Automated Software Engineering - Duration: Nov 1 2001 → … |
Conference
| Conference | ASE '01: Proceedings of the 16th IEEE International Conference on Automated Software Engineering |
|---|---|
| Period | 11/1/01 → … |
Keywords
- Unified Modeling Language
- UML
- Validation Language
- PROMELA
- Sematic Model
Disciplines
- Computer Sciences
- Programming Languages and Compilers