Refinement of Statemachines using Event B semantics

Colin Snook, Marina Walden

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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, and guidance for, event B refinement using a specialisation of UML statemachines. Furthermore, we introduce design patterns and process rules
that are aimed at assisting in the software development process leading to correct refinements. The specialisation will be incorporated into the UML-B notation to be integrated with the Event B platform developed by the RODIN project.
AlkuperäiskieliEnglanti
OtsikkoProceedings of the 7th International B Conference (B2007)
KustantajaSpringer
Sivut171-185
Vuosikerta4355
TilaJulkaistu - 2007
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Julkaisusarja

NimiLecture Notes in Computer Science
KustantajaSpringer
Vuosikerta4355

Sormenjälki

Sukella tutkimusaiheisiin 'Refinement of Statemachines using Event B semantics'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot