Title :
E-LOTOS-based synthesis of distributed coordinators for mobile objects
Author :
Kapus-Kolar, Monika
Author_Institution :
Jozef Stefan Inst., Ljubljana Univ., Slovenia
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;
Conference_Titel :
Industrial Electronics, 1999. ISIE '99. Proceedings of the IEEE International Symposium on
Conference_Location :
Bled
Print_ISBN :
0-7803-5662-4
DOI :
10.1109/ISIE.1999.796921
