In this paper we present a prototype translator from Natural Language expressions into Temporal Logic formulae. The translator is realized using a general development environment for Natural Language processing and it has been interfaced with a verification environment of behavioural properties on concurrent systems specified by process algebras. This too1 can be viewed as an aid to override the many imprecisions that frequently occur in the passage from informal requirements expressed by means of Natural Language expressions to Temporal Logic formulae.
Verifying concurrent system by talking to them
Fantechi A;Gnesi S;
1992
Abstract
In this paper we present a prototype translator from Natural Language expressions into Temporal Logic formulae. The translator is realized using a general development environment for Natural Language processing and it has been interfaced with a verification environment of behavioural properties on concurrent systems specified by process algebras. This too1 can be viewed as an aid to override the many imprecisions that frequently occur in the passage from informal requirements expressed by means of Natural Language expressions to Temporal Logic formulae.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_414059-doc_145775.pdf
accesso aperto
Descrizione: Verifying concurrent system by talking to them
Dimensione
1.76 MB
Formato
Adobe PDF
|
1.76 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
