loading...
Modular Composition and Verification of Transaction Processing Protocols
Providence, Rhode Island May 19-May 22
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICDCS.2003.120349523rd IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Vasudevan Janarthanan, Purnendu Sinha, "Modular Composition and Verification of Transaction Processing Protocols," Distributed Computing Systems, International Conference on, pp. 450, 23rd IEEE International Conference on Distributed Computing Systems (ICDCS'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/ICDCS.2003.1203495,
author = {Vasudevan Janarthanan and Purnendu Sinha},
title = {Modular Composition and Verification of Transaction Processing Protocols},
journal ={Distributed Computing Systems, International Conference on},
volume = {0},
year = {2003},
issn = {1063-6927},
pages = {450},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2003.1203495},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Distributed Computing Systems, International Conference on
TI - Modular Composition and Verification of Transaction Processing Protocols
SN - 1063-6927
SP
EP
A1 - Vasudevan Janarthanan,
A1 - Purnendu Sinha,
PY - 2003
KW - null
VL - 0
JA - Distributed Computing Systems, International Conference on
ER -
 
Vasudevan Janarthanan, Concordia University
Purnendu Sinha, Concordia University
Establishing the correctness of reliable distributed protocols supporting critical applications necessitates modular/ compositional approaches to tackle the inherent complexity of these protocols. Efforts involved in the specification and verification of these reliable distributed protocols can be considerably reduced if the protocol is composed utilizing smaller components (building-blocks) possessing individual functionalities that are integral parts of the overall protocol operation. In this paper we present the modular composition of a transaction processing protocol, namely the three-phase commit (3PC) protocol utilizing concepts of category theory. Specifically, we illustrate how the overall global properties of the protocol can be proved by utilizing constructs of local sub-properties of the inherent building blocks of the 3PC protocol.
Citation:
Vasudevan Janarthanan, Purnendu Sinha, "Modular Composition and Verification of Transaction Processing Protocols," icdcs, pp.450, 23rd IEEE International Conference on Distributed Computing Systems (ICDCS'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.