Formal Derivation Of An Error-detecting Distributed Data Scheduler Using Changeling
This paper focuses on being able to detect component errors which can lead to system failures in the scheduling part of the lock manager portion of the distributed database system by using embedded executable assertions. The technique used to generate the executable assertions is based on the mathematical model of program verification.
H. Lutfiyya et al., "Formal Derivation Of An Error-detecting Distributed Data Scheduler Using Changeling," Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 735 LNCS, pp. 363 - 376, Springer, Jan 1993.
The definitive version is available at https://doi.org/10.1007/bfb0039720
Keywords and Phrases
Changeling; Concurrent program verification; Distributed databases; Executable assertions; Fault tolerance; Formal methods; Transformation
International Standard Book Number (ISBN)
International Standard Serial Number (ISSN)
Article - Conference proceedings
© 2023 Springer, All rights reserved.
01 Jan 1993