Catalogo Articoli (Spogli Riviste)

OPAC HELP

Titolo:
A compiler to implement LOTOS specifications in distributed environments
Autore:
Yasumoto, K; Higashino, T; Taniguchi, K;
Indirizzi:
Shiga Univ, Fac Econ, Dept Informat Proc & Managment, Shiga, Japan Shiga Univ Shiga Japan on, Dept Informat Proc & Managment, Shiga, Japan Osaka Univ, Dept Informat & Math Sci, Osaka, Japan Osaka Univ Osaka Japan aka Univ, Dept Informat & Math Sci, Osaka, Japan
Titolo Testata:
COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING
fascicolo: 2-3, volume: 36, anno: 2001,
pagine: 291 - 310
SICI:
1389-1286(200107)36:2-3<291:ACTILS>2.0.ZU;2-B
Fonte:
ISI
Lingua:
ENG
Keywords:
LOTOS; multi-way synchronization; distributed implementation; compiler; formal description techniques; multi-thread;
Tipo documento:
Article
Natura:
Periodico
Settore Disciplinare:
Engineering, Computing & Technology
Citazioni:
24
Recensione:
Indirizzi per estratti:
Indirizzo: Yasumoto, K Shiga Univ, Fac Econ, Dept Informat Proc & Managment, Shiga, Japan Shiga Univ Shiga Japan ormat Proc & Managment, Shiga, Japan
Citazione:
K. Yasumoto et al., "A compiler to implement LOTOS specifications in distributed environments", COMPUT NET, 36(2-3), 2001, pp. 291-310

Abstract

In this paper, we propose a method for implementing distributed systems using the formal description language LOTOS. First, we give 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 of a distributed system and inter-node process interaction is specified with LOTOS operators such as choice, disabling andmulti-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 total-order broadcast communication. We have developed a LOTOScompiler based on the proposed method. Some experimental results show thatprograms generated from distributed systems' specifications can be used asprototypes for practical use or for performance evaluation/analysis. (C) 2001 Elsevier Science B.V. All rights reserved.

ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 03/04/20 alle ore 11:05:53