Evolving algebras 1993: Lipari guide
Specification and validation methods
An ASM Semantics for UML Activity Diagrams
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Modeling the Dynamics of UML State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
XASM - An Extensible, Component-Based ASM Language
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A high-level requirements engineering methodology for electronic system-level design
Computers and Electrical Engineering
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
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.