Sciweavers

Share
FORTE
1997

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

8 years 8 months ago
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...
Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1997
Where FORTE
Authors Keiichi Yasumoto, Kazuhiro Gotoh, Hiroki Tatsumoto, Teruo Higashino, Kenichi Taniguchi
Comments (0)
books