期刊名称：International Journal of Computer Science & Information Technology (IJCSIT)
印刷版ISSN：0975-4660
电子版ISSN：0975-3826
出版年度：2015
卷号：7
期号：5
页码：85
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：A reliable broadcast is communication primitive used to develop fault tolerant distributed applications. Itin due course delivers messages to all participating sites irrespective of their ordering. Total orderbroadcast impose restriction on message ordering and satisfies total order requirement.A clear specifications, rigorous validation and verification is key to obtain better design of dependableservices in such applications. With the help of formal methods one can specify and verify systems insystematic rather than ad hoc manner. It reveals ambiguities, incompleteness, and inconsistencies in asystem by facilitating clear specification, rigorous validation and verification.In this paper, we present a formal development of total order broadcast. The model have been developedand checked by using event-B techniques supported by the RODIN tool. Event-B is a formal technique thatsupports the incremental design of a distributed applications using notion of refinements.
关键词：Total order broadcast; Event-B; reliable broadcast.
