Refinement of Statemachines Using Event B Semantics

@inproceedings{Snook2007RefinementOS,
  title={Refinement of Statemachines Using Event B Semantics},
  author={Colin F. Snook and Marina Wald{\'e}n},
  booktitle={B},
  year={2007}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 13 CITATIONS

A method of refinement in UML-B

  • Software & Systems Modeling
  • 2013
VIEW 4 EXCERPTS

Documenting the Progress of the System Development

  • Methods, Models and Tools for Fault Tolerance
  • 2009
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS

UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle

  • 2008 International Conference on Computer Science and Software Engineering
  • 2008
VIEW 1 EXCERPT
CITES BACKGROUND