"Implementation of LOTOS specifications on distributed environments"

点击翻译按钮获取中文摘要

In this research, we propose a method to implement distributed systems using the formal description language LOTOS.First, we define a sub-class of LOTOS for specifying distributed systems. In the sub-class, each system's behavior is described as a set of interacting processes where each process is assigned to a specific node in a distributed system and inter-node process interaction is specified with LOTOS operators such as choice, disabling and multi-way synchronization. We propose a method to implement such a LOTOS specification as a set of programs which run on the corresponding nodes cooperating with each other by exchanging messages. In the proposed method, we transform processes assigned to a node into a multi-threaded executable program, and implement LOTOS operators specified among processes on distributed nodes with the total-order broadcast communication. We have developed a LOTOS compiler based on the proposed method. Some experimental results show that programs generated from distributed systems' specifications can be used as prototypes for practical use or for performance evaluation/analysis. Extension to real-time system and its application to QoS-SMIL are also considered.