Refinement of Statemachines using Hierarchical States, Choice Points and Joins

Colin Snook; Marina Walden

Refinement of Statemachines using Hierarchical States, Choice Points and Joins

Colin Snook
, Marina Walden

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Sammanfattning

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.

Originalspråk	Engelska
Titel på värdpublikation	Proceedings of the EPSRC RefineNet workshop
Utgivningsort	Manchester
Förlag	University of Manchester
Status	Publicerad - 2005
MoE-publikationstyp	A4 Artikel i en konferenspublikation

Citera det här

@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 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.",

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 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.

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 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.

M3 - Published conference proceeding

BT - Proceedings of the EPSRC RefineNet workshop

PB - University of Manchester

CY - Manchester

ER -

Refinement of Statemachines using Hierarchical States, Choice Points and Joins

Sammanfattning

Fingeravtryck

Citera det här