The paper proposes an abstract execution model for LOTOS specifications, which is based on a number of cooperating extended finite state machines, applies to whatever LOTOS specification, with the only exclusion of those containing non well guarded recursion, and is suitable for a distributed implementation. Every machine represents a process, which does not necessarily correspond to one of the process definitions the specification is composed of. The machine instances (that is to say processes) can access variables, which correspond to LOTOS value identifiers, and can dynamically create new machine instances, thus enabling any infinite behaviour to be modeled. Synchronisation among the machines is achieved by a distributed algorithm which implements the multi-way rendezvous of LOTOS. The paper shows how the model is derived from LOTOS specifications and how it is executed

Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines / Valenzano, Adriano; Sisto, Riccardo; Ciminiera, Luigi. - STAMPA. - (1990), pp. 780-785. (Intervento presentato al convegno Second IEEE Symposium on Parallel and Distributed Processing tenutosi a Dallas, Texas, USA nel December 1990) [10.1109/SPDP.1990.143644].

Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines

VALENZANO, ADRIANO;SISTO, Riccardo;CIMINIERA, Luigi
1990

Abstract

The paper proposes an abstract execution model for LOTOS specifications, which is based on a number of cooperating extended finite state machines, applies to whatever LOTOS specification, with the only exclusion of those containing non well guarded recursion, and is suitable for a distributed implementation. Every machine represents a process, which does not necessarily correspond to one of the process definitions the specification is composed of. The machine instances (that is to say processes) can access variables, which correspond to LOTOS value identifiers, and can dynamically create new machine instances, thus enabling any infinite behaviour to be modeled. Synchronisation among the machines is achieved by a distributed algorithm which implements the multi-way rendezvous of LOTOS. The paper shows how the model is derived from LOTOS specifications and how it is executed
1990
0818620870
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/2500029
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo