Animation of UML-B State-machines
Animation of UML-B State-machines
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.
Savicks, Vitaly
bd762a34-b695-4022-9830-8d666cdd43d7
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Savicks, Vitaly
bd762a34-b695-4022-9830-8d666cdd43d7
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Savicks, Vitaly, Snook, Colin and Butler, Michael
(2009)
Animation of UML-B State-machines
(Submitted)
Record type:
Monograph
(Project Report)
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.
Text
TBFMsmAnim.pdf
- Author's Original
More information
Submitted date: 20 November 2009
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 268261
URI: http://eprints.soton.ac.uk/id/eprint/268261
PURE UUID: ff67efe0-dca0-4065-8ffc-82a3b91614c4
Catalogue record
Date deposited: 25 Nov 2009 15:33
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Vitaly Savicks
Author:
Colin Snook
Author:
Michael Butler
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics