Name
Title | ||
|---|---|---|
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks |
Abstract | ||
|---|---|---|
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 dis- abling can be used in combination with multi-rendezvous among remote processes. A LOTOS specification with the assignment of each process to a node is imple- mented as a set of executable codes which run on the corresponding nodes cooperat- ing 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 LO- TOS compiler to generate a set of C codes running on Ethernet. Some experimental results show that typical distributed systems can be described and implemented effi- ciently. |
Year | Venue | Keywords |
|---|---|---|
1997 | FORTE | bus topology networks,implementation,lotos multi-rendezvous,compiler,multi-rendezvous,distributed systems,lotos,distributed system |
Field | DocType | ISBN |
Bus network,Computer science,Computer network,Compiler,Ethernet,Rendezvous,Operator (computer programming),Distributed computing,Executable | Conference | 0-412-82060-9 |
Citations | PageRank | References |
1 | 0.37 | 12 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Keiichi Yasumoto | 1 | 670 | 110.78 |
| Kazuhiro Gotoh | 2 | 1 | 0.37 |
| Hiroki Tatsumoto | 3 | 1 | 0.37 |
| Teruo Higashino | 4 | 1086 | 119.60 |
| kenichi taniguchi | 5 | 256 | 35.56 |