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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the EPSRC RefineNet workshop
Julkaisupaikka	Manchester
Kustantaja	University of Manchester
Tila	Julkaistu - 2005
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa

Viittausmuodot

@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

Abstrakti

Sormenjälki

Viittausmuodot