Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorKirby, Graham Njal Cameron
dc.contributor.authorDearle, Alan
dc.contributor.authorNorcross, Stuart John
dc.contributor.editorde Lemos, Rogério
dc.contributor.editorDi Giandomenico, Felicita
dc.contributor.editorGacek, Cristina
dc.contributor.editorMuccini, Henry
dc.contributor.editorVieira, Marlon
dc.date.accessioned2011-01-07T14:32:10Z
dc.date.available2011-01-07T14:32:10Z
dc.date.issued2008
dc.identifier.citationKirby , 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_8en
dc.identifier.isbn978-3-540-85570-5
dc.identifier.otherPURE: 5012545
dc.identifier.otherPURE UUID: 26490faa-9043-47e4-a341-750925fdffea
dc.identifier.otherScopus: 51849136879
dc.identifier.otherORCID: /0000-0002-4422-0190/work/28429100
dc.identifier.urihttp://hdl.handle.net/10023/1669
dc.description.abstractWe 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.
dc.language.isoeng
dc.publisherSpringer
dc.relation.ispartofArchitecting Dependable Systems Ven
dc.relation.ispartofseriesLecture Notes in Computer Scienceen
dc.rights(c)2008 Springer-Verlag. The original publication is available at www.springerlink.comen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subject.lccQA75en
dc.titleDesign, implementation and deployment of state machines using a generative approachen
dc.typeBook itemen
dc.description.versionPostprinten
dc.contributor.institutionUniversity of St Andrews.School of Computer Scienceen
dc.identifier.doihttps://doi.org/10.1007/978-3-540-85571-2_8
dc.identifier.urlhttp://www.springerlink.com/content/y03j030mn30mwm64/en


This item appears in the following Collection(s)

Show simple item record