Issue No.04 - April (1991 vol.40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.88463
<p>It is noted that the implementation of the multiway rendezvous mechanism of the International Standards Organization (ISO) LOTOS specification language for protocols is very important in the development of tools for the execution of LOTOS. It involves problems such as global knowledge in a distributed environment and distributed agreement. The authors propose a novel algorithm which fully implements the multiway rendezvous of LOTOS within a distributed execution model based on a number of parallel processes. The processes are organized in a hierarchical topology and communicate with each other only by message transfers. The performance of the proposed algorithm is evaluated and is shown to be better than that achieved by other algorithms proposed in the literature. A formal specification of the algorithm in LOTOS is provided.</p>
protocol; LOTOS processes; multiway rendezvous mechanism; International Standards Organization; LOTOS specification language; global knowledge; distributed environment; distributed agreement; distributed execution model; hierarchical topology; performance; formal specification; formal specification; performance evaluation; protocols; standards.
R. Sisto, L. Ciminiera, A. Valenzano, "A Protocol for Multirendezvous of LOTOS Processes", IEEE Transactions on Computers, vol.40, no. 4, pp. 437-447, April 1991, doi:10.1109/12.88463