• 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