PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., De Nicola R. A tutorial on LOTOS. Internal note CNUCE-B4-86-007, 1986.
 
 
Abstract
(English)
We illustrate LOTOS, a language for the formal specification of distributed, concurrent systems. A system is seen as a set of processes which interact with each other, exchange data; and offer potential interactions with the environment. LOTOS supports the modular description of the internal, dynamically variable structure of a system, although the semantics of a specification only refers to the temporal behaviour of the specified system as observable from the external environment. LOTOS is expected to become an ISO International Standard by 1988
Abstract
(Italiano)
Viene illustrato LOTOS, un linguaggio per la specifica formale di sistemi distribuiti e concorrenti. Un sistema viene visto come un insieme di processi che interagiscono fra loro, si scambiano dati ed offrono potenziali interazioni con l'ambiente. LOTOS permette la descrizione modulare della struttura interna, anche dinamicamente variabile, di un sistema, sebbene la semantica di una specifica si riferisca soltanto al comportamento temporale del sistema specificato cosi' come lo si puo' osservare dall'ambiente esterno. E' previsto che LOTOS diventi uno Standard Internazionale ISO per i11988
Subject concurrent languages
forrnal description
protocol specification
specification languages
D.2 SOFTWARE ENGINEERING


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional