Formal Derivation Of An Error-detecting Distributed Data Scheduler Using Changeling
Abstract
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.
Recommended Citation
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
Department(s)
Computer Science
Keywords and Phrases
Changeling; Concurrent program verification; Distributed databases; Executable assertions; Fault tolerance; Formal methods; Transformation
International Standard Book Number (ISBN)
978-354057316-6
International Standard Serial Number (ISSN)
1611-3349; 0302-9743
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2023 Springer, All rights reserved.
Publication Date
01 Jan 1993
Comments
National Science Foundation, Grant CDA-9222827