Refinement of Statemachines using Hierarchical States, Choice Points and Joins

Colin Snook, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review


While refinement gives a formal underpinning to the development of dependable control systems, such models are difficult to communicate and reason about in a non-formal sense, particularly for validation by non-specialist industrial partners. Here we present a visualisation of event B refinement using a specialisation of UML statemachines. The specialisation will be incorporated into the UML-B notation that
is being re-developed within the Rodin project to improve integration with the Event B platform, which is also being developed by the Rodin project.
Titel på värdpublikationProceedings of the EPSRC RefineNet workshop
FörlagUniversity of Manchester
StatusPublicerad - 2005
MoE-publikationstypA4 Artikel i en konferenspublikation


Fördjupa i forskningsämnen för ”Refinement of Statemachines using Hierarchical States, Choice Points and Joins”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här