We present a formal method which can be used to compare LOTOS and Estelle descriptions of the same protocol thus overcoming the problem of possible incompatibility between in the two descriptions. The method adopts a temporal logic approach in order to obtain an abstract specification which is then used as a means to compare LOTOS and Estelle descriptions. The possibilities of automating the proposed method are also explored.
A method to compare formal protocol specifications
Fantechi A;Gnesi S;
1988
Abstract
We present a formal method which can be used to compare LOTOS and Estelle descriptions of the same protocol thus overcoming the problem of possible incompatibility between in the two descriptions. The method adopts a temporal logic approach in order to obtain an abstract specification which is then used as a means to compare LOTOS and Estelle descriptions. The possibilities of automating the proposed method are also explored.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_419389-doc_148199.pdf
solo utenti autorizzati
Descrizione: A method to compare formal protocol specifications
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.32 MB
Formato
Adobe PDF
|
1.32 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.
