Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
On-Line Monitoring: A Tutorial
Computer
Assumption Generation for Software Component Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
Top-Down Network Design (2nd Edition)
Top-Down Network Design (2nd Edition)
Synthesis of correct and distributed adaptors for component-based systems: an automatic approach
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Introduction to Reliable Distributed Programming
Introduction to Reliable Distributed Programming
Principles of Concurrent and Distributed Programming (2nd Edition) (Prentice-Hall International Series in Computer Science)
The Chubby lock service for loosely-coupled distributed systems
OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - Volume 7
Paxos made live: an engineering perspective
Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
Policies for Self Tuning Home Networks
POLICY '09 Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks
A Component Assembly Approach Based On Aspect-Oriented Generative Domain Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
CiAN: a workflow engine for MANETs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Distributed Orchestration of Pervasive Services
AINA '10 Proceedings of the 2010 24th IEEE International Conference on Advanced Information Networking and Applications
Hi-index | 0.00 |
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a centralised controller for co-ordination, or occasionally a set of distributed entities. Centralised co-ordination is simpler but introduces a single point of failure and poses problems of scalability. Distributed co-ordination offers greater scalability, reliability and applicability but is harder to reason about and requires more complex algorithms for synchronisation and consensus among components. In this paper we present a system called GOANNA that from a state machine specification (FSM) of the global behaviour of interacting components can automatically generate a correct, scalable and fault tolerant distributed implementation.