This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Protocol for Multirendezvous of LOTOS Processes
April 1991 (vol. 40 no. 4)
pp. 437-447

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.

[1] ISO IS 8807 "Information Processing Systems--Open Systems Interconnection: LOTOS--A Formal Description Technique Based on the Temporal Ordering of Observational Behavior," 1989.
[2] ISO IS 9074 "Information Processing Systems--Open Systems Interconnection: Estelle: A Formal Description Technique Based on an Extended Finite State Transition Model," 1989.
[3] T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification language LOTOS,"Computer Networks ISDN Syst., vol. 14, pp. 25- 59, 1987.
[4] S. Budkowski and P. Dembinski, "An introduction to Estelle: A specification language for distributed systems,"Comput. Networks ISDN Syst., vol. 14, pp. 3-23, 1987.
[5] Reference manual for the ADA programming language (ANSIMIL std; 1815a), 1983
[6] Inmos Ltd.,Occam Programming Manual. Englewood Cliffs, NJ: Prentice-Hall, 1984.
[7] A. Charlesworth, "The multi-way rendezvous,"ACM Trans. Programming Languages Syst., vol. 9, no. 2, pp. 350-366, July 1987.
[8] P. Sjodin, "A distributed algorithm for synchronous process communication at ports," inProc. 9th IFIP Symp. Protocol Specification, Testing, Verification, Enschede, The Netherlands, June 1989.
[9] Q. Gao and G. Von Bochmann, "Distributed implementation of LOTOS multi-rendezvous," inProc. 9th IFIP Symp. Protocol Specification, Testing, Verification, Enschede, The Netherlands, June 1989.
[10] Q. Gao and G. Von Bochmann, "A virtual ring algorithm for the distributed implementation of multi-rendezvous," Tech. Rep. 675, Universite de Montreal, Dept. IRO.
[11] G. Von Bochmann, Q. Gao, and C. Wu, "On the distributed implementation of LOTOS," inProc. 2nd Int. Conf. Formal Description Techniques, Vancouver, B.C., Canada, Dec. 1989.
[12] A. Valenzano, R. Sisto, and L. Ciminiera, "Modeling the execution of LOTOS by cooperating extended finite state machines," inProc. 2nd IEEE Symp. Parallel Distributed Processing, Dallas, TX, Dec. 1990.

Index Terms:
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.
Citation:
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
Usage of this product signifies your acceptance of the Terms of Use.