Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks

In this paper, we propose an implementation method for specifications of distributed systems described in a subclass of LOTOS where operators such as choice and disabling can be used in combination with multi-rendezvous among remote processes. A LOTOS specification with the assignment of each process to a node is implemented as a set of executable codes which run on the corresponding nodes cooperating with each other by exchanging messages. The processes assigned to a node are transformed into a multi-threaded C code by our existing LOTOS compiler. Here, we focus on bus topology networks where broadcasted messages are received at all nodes in the same order, and propose a technique to implement multi-rendezvous among remote processes located on different nodes. We have also extended our LOTOS compiler to generate a set of C codes running on Ethernet. Some experimental results show that typical distributed systems can be described and implemented efficiently. Keywords LOTOS, multi-r...

• Type: Conference
• Year: 1997
• Where: FORTE
• Authors: Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
• Keywords: Distributed Systems, FORTE 1997, FORTE 2007, LOTOS Compiler, Remote Processes