Sciweavers

Share
ICSE
2007
IEEE-ACM

Design, Implementation and Deployment of State Machines Using a Generative Approach

10 years 9 months ago
Design, Implementation and Deployment of State Machines Using a Generative Approach
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various artefacts are generated from each state machine, including diagrams, source-level protocol implementations and documentation. The state machine family formalises the interactions between the components of the distributed system, allowing increased confidence in correctness. Our methodology facilitates the application of state machines to problems for which they would not otherwise be suitable. We illustrate the technique with the example of a Byzantine-fault-tolerant rotocol used in a distributed storage system, showing how an abstract n be defined in terms of an abstract state space and various categories transitions. We describe how such an abstract model can be deployed in a concrete system, and propose a general methodology for developing systems in this style.
Graham N. C. Kirby, Alan Dearle, Stuart J. Norcros
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICSE
Authors Graham N. C. Kirby, Alan Dearle, Stuart J. Norcross
Comments (0)
books