Research@StAndrews
 
The University of St Andrews

Research@StAndrews:FullText >
University of St Andrews Research >
University of St Andrews Research >
University of St Andrews Research >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10023/1669
This item has been viewed 2 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
Generating_State_Machines.pdf2.15 MBAdobe PDFView/Open
Title: Design, implementation and deployment of state machines using a generative approach
Authors: Kirby, Graham Njal Cameron
Dearle, Alan
Norcross, Stuart John
Editors: de Lemos, Rogério
Di Giandomenico, Felicita
Gacek, Cristina
Muccini, Henry
Vieira, Marlon
Keywords: QA75 Electronic computers. Computer science
Issue Date: 2008
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 .
Series/Report no.: Lecture Notes in Computer Science
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.
Version: Postprint
URI: http://hdl.handle.net/10023/1669
http://www.springerlink.com/content/y03j030mn30mwm64/
DOI: http://dx.doi.org/10.1007/978-3-540-85571-2_8
ISBN: 978-3-540-85570-5
Type: Book item
Rights: (c)2008 Springer-Verlag. The original publication is available at www.springerlink.com
Publisher: Springer
Appears in Collections:University of St Andrews Research
Computer Science Research



This item is protected by original copyright

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

DSpace Software Copyright © 2002-2012  Duraspace - Feedback
For help contact: Digital-Repository@st-andrews.ac.uk | Copyright for this page belongs to St Andrews University Library | Terms and Conditions (Cookies)