Estelle and LOTOS Formal Description Techniques for protocol specifications are considered as a typical example of incompatibility problems which can arise when two standard are used in the same context. The aim of this paper is to indicate the sources of possible problems and to show the effects of having incompatible specifications of the same system. A brief discussion follows on some techniques and methods to verify the compatibility between Estelle and LOTOS specifications.
Two standards means problems: a case study on formal protocol descriptions
Fantechi A;Gnesi S;
1989
Abstract
Estelle and LOTOS Formal Description Techniques for protocol specifications are considered as a typical example of incompatibility problems which can arise when two standard are used in the same context. The aim of this paper is to indicate the sources of possible problems and to show the effects of having incompatible specifications of the same system. A brief discussion follows on some techniques and methods to verify the compatibility between Estelle and LOTOS specifications.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_418293-doc_147689.pdf
solo utenti autorizzati
Descrizione: Two standards means problems: a case study on formal protocol descriptions
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.5 MB
Formato
Adobe PDF
|
1.5 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.
