creators_name: Savicks, Vitaly
creators_name: Snook, Colin
creators_name: Butler, Michael
type: conference_item
datestamp: 2012-07-23 11:09:11
lastmod: 2012-07-23 11:09:11
metadata_visibility: show
title: Animation of UML-B State-machines
ispublished: pub
subjects: deploy_tooldev_other
full_text_status: none
monograph_type: technical_report
pres_type: paper
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. 
date: 2009-11
date_type: published
event_title: Rodin workshop, 2009
event_location: Dusseldorf
event_type: workshop
institution: University of Southampton
refereed: TRUE
official_url: http://eprints.soton.ac.uk/268261/
citation:   Savicks, Vitaly and Snook, Colin and Butler, Michael  (2009) Animation of UML-B State-machines.  In: Rodin workshop, 2009, Dusseldorf.     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>