Temporal logic makes it possible to formally describe systems at a higher abstraction level with respect to formal description techniques based on the specification of possible system behaviour. We thus propose the use of temporal logic in a method for comparing formal descriptions written in LOTOS and Estelle in order to guarantee that they are compatible, i.e. that they cannot be used to generate incompatible implementations.
Comparing formal specifications using temporal logics: a case study on LOTOS and estelle protocol descriptions
Fantechi A;Gnesi S;
1987
Abstract
Temporal logic makes it possible to formally describe systems at a higher abstraction level with respect to formal description techniques based on the specification of possible system behaviour. We thus propose the use of temporal logic in a method for comparing formal descriptions written in LOTOS and Estelle in order to guarantee that they are compatible, i.e. that they cannot be used to generate incompatible implementations.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_419558-doc_148325.pdf
accesso aperto
Descrizione: Comparing formal specifications using temporal logics: a case study on LOTOS and estelle protocol descriptions
Dimensione
1.84 MB
Formato
Adobe PDF
|
1.84 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
