Animation of UML-B State-machines


Savicks, Vitaly, Snook, Colin and Butler, Michael (2009) Animation of UML-B State-machines s.n.

Download

[img] PDF TBFMsmAnim.pdf - Author's Original
Download (79kB)

Description/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: Monograph (Project Report)
Organisations: Electronic & Software Systems
ePrint ID: 268261
Date :
Date Event
20 November 2009Submitted
Date Deposited: 25 Nov 2009 15:33
Last Modified: 23 Feb 2017 09:38
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268261

Actions (login required)

View Item View Item