权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

"Implementation of LOTOS specifications on distributed environments"

《LOTOS 规范在分布式环境中的实现》

基本信息

批准号：
10558046
负责人：
TANIGUCHI Kenichi
金额：
$ 3.84万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B).
财政年份：
1998
资助国家：
日本
起止时间：
1998 至 2000
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-10558046/
关键词：
LOTOS compiler distributed systems multi-thread multi-rendezvous real-time systems QoS control SMIL マルチメディアシステム制約指向 E-LOTOS コンパイラ FDT マルチメディア LOTOS 通信プロトコルマルチスレッド機構

项目摘要

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.

在本研究中，我们提出一种使用形式描述语言LOTOS来实现分布式系统的方法。首先，我们定义了LOTOS的一个子类来描述分布式系统。在子类中，每个系统的行为被描述为一组相互作用的进程，其中每个进程被分配给分布式系统中的特定节点，节点间的进程交互由LOTOS操作符（如选择，禁用和多路同步）指定。我们提出了一种方法来实现这样一个LOTOS规范作为一组程序运行在相应的节点相互合作，通过交换消息。在所提出的方法中，我们将分配给一个节点的进程转换成一个多线程的可执行程序，并实现LOTOS操作符指定的进程之间的全顺序广播通信的分布式节点。我们已经开发了一个LOTOS编译器的基础上所提出的方法。一些实验结果表明，根据分布式系统的规范生成的程序可以作为原型用于实际应用或性能评估/分析。扩展到实时系统及其应用QoS-SMIL也被认为是。