Rigorous design of distributed transactions
Explore this paper's citation graph
Summary
This thesis investigates various mechanisms for the management of replicas in a large distributed system, formalizing and reasoning about the behavior of such systems using Event-B, and develops guidelines for verification of distributed algorithms using the technique of abstraction and refinement.
- Type
- dissertation
- Published
- 2008-02-21
- Cited by
- 0
- References
- 126
- Access
- Open access
- OpenAlex
- https://openalex.org/W49401767
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:33577275
Keywords
Computer science, Atomicity, Correctness, Gas meter prover, Consistency (knowledge bases)
References
- Consensus-Based Management of Distributed and Replicated Data
- Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems
- Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem
- Total order broadcast and multicast algorithms: Taxonomy and survey
- Implementing sequentially consistent shared objects using broadcast and point-to-point communication
- Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B
- Using I/O automata for developing distributed systems
- Replication Techniques in Distributed Systems
- An Approach to the Design of Distributed Systems with B AMN
- Transaction Processing: Concepts and Techniques
- Database replication for clusters of workstations
- Distributed Databases: Principles and Systems
- Application of Event B to Global Causal Ordering for Fault Tolerant Transactions
- A CSP approach to action systems
- Advanced concepts in operating systems : distributed, database, and multiprocessor operating systems
- A System-Based Approach to the Formal Development of Embedded Controllers for a Railway
- Using Z - specification, refinement, and proof
- Distributed Algorithms
- Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
- Virtual Time and Global States of Distributed Systems
Cited by
No citing papers recorded for this paper.
Related papers
- Proving the consistency of database transactions (integrity constraints, theorem proving, program verification, database design)
- Refinement-based Validation of Event-B Specifications
- Contracts-refinement proof system for component-based embedded systems
- The role of verification in software reusability
- Specification of transaction systems protocols
- Compositional reasoning gotchas in practice