Savicks, Vitaly and Snook, Colin and Butler, Michael (2009) Animation of UML-B State-machines. In: Rodin workshop, 2009, Dusseldorf.
Full text not available from this repository.
Official URL: http://eprints.soton.ac.uk/268261/
Abstract
Animation is important because it allows the modeller to validate that a model behaves as intended. Visualisation of animations assists the modeller in making this assessment. UML-B is a visual 'front-end' to the Event-B notation and includes a state-machine diagram editor. Here we describe a new plug-in which, using the Pro-B model checker as animation engine, provides animation of UML-B state-machine diagrams. Multiple diagrams can be animated simultaneously so that the behaviour of refinements and/or nested state-machines can be explored.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Tool developments > Other |
| ID Code: | 435 |
| Deposited By: | Colin Snook |
| Deposited On: | 23 Jul 2012 11:09 |
| Last Modified: | 23 Jul 2012 11:09 |
Repository Staff Only: item control page
