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
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;
Conference_Titel :
Information Networking, 1998. (ICOIN-12) Proceedings., Twelfth International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-8186-7225-0
DOI :
10.1109/ICOIN.1998.648476