DocumentCode :
1658869
Title :
Extending commitment protocol with binary domain to partially ordered domain
Author :
Shimojo, Iwao ; Tachikawa, Takayuki ; Takizawa, Makoto
Author_Institution :
Dept. of Comput. & Syst. Eng., Tokyo Denki Univ., Japan
fYear :
1998
Firstpage :
617
Lastpage :
620
Abstract :
A group of processes have to commit to realize distributed applications. The processes exchange values with the other processes to make the commitment. The processes commit if every process takes one value. In the traditional commitment protocols, only two values, i.e. commit or abort can be taken. In this paper we discuss a more general domain including multiple values. In addition, the domain is partially ordered by a dominant relation which shows what values the processes can take after taking a value. Each process decides what value to be taken after taking one value by rising the dominant relation. In this paper we discuss how to reach commitment in a group of multiple processes by using the dominant relation
Keywords :
formal verification; performance evaluation; protocols; binary domain; commitment protocol; distributed applications; dominant relation; partially ordered domain; Application software; Database systems; Protocols; Systems engineering and theory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Information Networking, 1998. (ICOIN-12) Proceedings., Twelfth International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-8186-7225-0
Type :
conf
DOI :
10.1109/ICOIN.1998.648476
Filename :
648476
Link To Document :
بازگشت