This work has been developed on the basis of a previous experience made inside a project for a functionally distributed system (Cnet), in which an inter-node communication mechanism was defined in terms of Ada(TM) packages. This paper gives a more general framework for the definition of properties of the communication schemes, showing that a temporal logic approach to the definition of the properties can be used as an aid to the design of the communication mechanisms, and as a unifying tool for describing its integration in a high level language.
A temporal logic approach in the design of communication mechanism for functionally distributed systems
Fantechi A;Gnesi S;
1986
Abstract
This work has been developed on the basis of a previous experience made inside a project for a functionally distributed system (Cnet), in which an inter-node communication mechanism was defined in terms of Ada(TM) packages. This paper gives a more general framework for the definition of properties of the communication schemes, showing that a temporal logic approach to the definition of the properties can be used as an aid to the design of the communication mechanisms, and as a unifying tool for describing its integration in a high level language.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_419886-doc_148593.pdf
solo utenti autorizzati
Descrizione: A temporal logic approach in the design of communication mechanism for functionally distributed systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.91 MB
Formato
Adobe PDF
|
1.91 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
