More Meaningful UML Models

11 years 6 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some approaches that try to solve this by defining a formal semantics for UML, nonetheless it usually proves hard to implement the corresponding dynamic semantics. This paper presents an approach to define an executable semantics for UML that would enable tool vendors to telligent tools (symbolic execution, consistency checkers, etc.). We use Abstract State Machines (ASM) as underlying formalism for our semantics definition, which is composed of static semantics and dynamic semantics. A part of the static semantics was done by expressing in ASM the UML meta-model and well formedness rules defined in the UML standard. The dynamic semantics is based on a set of behaviour primitives (time, communication, etc). We define the ASM transition rules corresponding to UML actions. Using this semantic, we have been able to p...
Ileana Ober
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Authors Ileana Ober
Comments (0)