St Andrews Research Repository

St Andrews University Home
View Item 
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Design, implementation and deployment of state machines using a generative approach

Thumbnail
View/Open
Generating_State_Machines.pdf (2.100Mb)
Date
2008
Author
Kirby, Graham Njal Cameron
Dearle, Alan
Norcross, Stuart John
Keywords
QA75 Electronic computers. Computer science
Metadata
Show full item record
Altmetrics Handle Statistics
Altmetrics DOI Statistics
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 commit protocol used in a distributed storage system, showing how an abstract model can be defined in terms of an abstract state space and various categories of state 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.
Citation
Kirby , G N C , Dearle , A & Norcross , S J 2008 , Design, implementation and deployment of state machines using a generative approach . in R de Lemos , F Di Giandomenico , C Gacek , H Muccini & M Vieira (eds) , Architecting Dependable Systems V . Lecture Notes in Computer Science , vol. 5135 , Springer , pp. 175-198 . https://doi.org/10.1007/978-3-540-85571-2_8
Publication
Architecting Dependable Systems V
DOI
https://doi.org/10.1007/978-3-540-85571-2_8
Type
Book item
Rights
(c)2008 Springer-Verlag. The original publication is available at www.springerlink.com
Collections
  • Computer Science Research
  • University of St Andrews Research
URL
http://www.springerlink.com/content/y03j030mn30mwm64/
URI
http://hdl.handle.net/10023/1669

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

Advanced Search

Browse

All of RepositoryCommunities & CollectionsBy Issue DateNamesTitlesSubjectsClassificationTypeFunderThis CollectionBy Issue DateNamesTitlesSubjectsClassificationTypeFunder

My Account

Login

Open Access

To find out how you can benefit from open access to research, see our library web pages and Open Access blog. For open access help contact: openaccess@st-andrews.ac.uk.

Accessibility

Read our Accessibility statement.

How to submit research papers

The full text of research papers can be submitted to the repository via Pure, the University's research information system. For help see our guide: How to deposit in Pure.

Electronic thesis deposit

Help with deposit.

Repository help

For repository help contact: Digital-Repository@st-andrews.ac.uk.

Give Feedback

Cookie policy

This site may use cookies. Please see Terms and Conditions.

Usage statistics

COUNTER-compliant statistics on downloads from the repository are available from the IRUS-UK Service. Contact us for information.

© University of St Andrews Library

University of St Andrews is a charity registered in Scotland, No SC013532.

  • Facebook
  • Twitter