E-LOTOS-based synthesis of distributed coordinators for mobile objects

Author

Kapus-Kolar, Monika

Author_Institution

Jozef Stefan Inst., Ljubljana Univ., Slovenia

Volume

3

fYear

1999

fDate

1999

Firstpage

1415

Abstract

An algorithm is proposed for automated synthesis of protocols implementing coordination services for mobile objects. The distributed server might consist of an arbitrary number of components pairwise communicating over reliable FIFO channels. The required behavior of the components is derived given a specification of the expected service, i.e. interactions between individual service users and the server components to which they are currently attached. The adopted specification language is semantically close to Basic E-LOTOS

Keywords

distributed processing; formal languages; protocols; specification languages; E-LOTOS-based synthesis; automated protocols synthesis; distributed coordinators; distributed server; expected service; individual service users; mobile objects; pairwise communication; reliable FIFO channels; server components; specification language; Digital communication; Joining processes; Manufacturing; Mobile communication; Network servers; Network synthesis; Production facilities; Protocols; Specification languages; Vehicles;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Electronics, 1999. ISIE '99. Proceedings of the IEEE International Symposium on

Conference_Location

Bled

Print_ISBN

0-7803-5662-4

Type

conf

DOI

10.1109/ISIE.1999.796921

Filename

796921