A protocol for multirendezvous of LOTOS processes

Author

Sisto, Riccardo ; Ciminiera, Luigi ; Valenzano, Adriano

Author_Institution

Dipartimento di Autom. & Inf., Politecnico di Torino, Italy

Volume

40

Issue

4

fYear

1991

fDate

4/1/1991 12:00:00 AM

Firstpage

437

Lastpage

447

Abstract

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

Keywords

formal specification; performance evaluation; protocols; standards; International Standards Organization; LOTOS processes; LOTOS specification language; distributed agreement; distributed environment; distributed execution model; formal specification; global knowledge; hierarchical topology; multiway rendezvous mechanism; performance; protocol; Application software; Automata; Communication networks; Computer networks; Data communication; Formal specifications; Network topology; Protocols; Software systems; Specification languages;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/12.88463

Filename

88463