Refinement of Statemachines using Hierarchical States, Choice Points and Joins

Colin Snook; Marina Walden

Refinement of Statemachines using Hierarchical States, Choice Points and Joins

Information Technology

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceedings of the EPSRC RefineNet workshop
Place of Publication	Manchester
Publisher	University of Manchester
Publication status	Published - 2005
MoE publication type	A4 Article in a conference publication

Cite this

@inproceedings{354efcb706314a25838385a6b3132376,

title = "Refinement of Statemachines using Hierarchical States, Choice Points and Joins",

abstract = "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 thatis being re-developed within the Rodin project to improve integration with the Event B platform, which is also being developed by the Rodin project.",

author = "Colin Snook and Marina Walden",

year = "2005",

language = "English",

booktitle = "Proceedings of the EPSRC RefineNet workshop",

publisher = "University of Manchester",

}

TY - GEN

T1 - Refinement of Statemachines using Hierarchical States, Choice Points and Joins

AU - Snook, Colin

AU - Walden, Marina

PY - 2005

Y1 - 2005

N2 - 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 thatis being re-developed within the Rodin project to improve integration with the Event B platform, which is also being developed by the Rodin project.

AB - 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 thatis being re-developed within the Rodin project to improve integration with the Event B platform, which is also being developed by the Rodin project.

M3 - Conference contribution

BT - Proceedings of the EPSRC RefineNet workshop

PB - University of Manchester

CY - Manchester

ER -

Refinement of Statemachines using Hierarchical States, Choice Points and Joins

Abstract

Fingerprint

Cite this