A graphic syntax for the ISO forrnal description technique LOTOS is introduced. The syntax is meant to improve the readability of LOTOS behaviour expressions, and to highlight aspects such as sequentiality, parallelism, synchronization and choice, without excessively departing from the structure of the traditional 'textual' syntax. A formal scheme based on Prolog is adopted to derive pictures from the abstract syntax of the language. One complete example of a graphic specification is given.
A proposal for a graphic syntax for LOTOS
Bolognesi T;Latella D;
1988
Abstract
A graphic syntax for the ISO forrnal description technique LOTOS is introduced. The syntax is meant to improve the readability of LOTOS behaviour expressions, and to highlight aspects such as sequentiality, parallelism, synchronization and choice, without excessively departing from the structure of the traditional 'textual' syntax. A formal scheme based on Prolog is adopted to derive pictures from the abstract syntax of the language. One complete example of a graphic specification is given.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_419546-doc_148314.pdf
accesso aperto
Descrizione: A proposal for a graphic syntax for LOTOS
Dimensione
2.5 MB
Formato
Adobe PDF
|
2.5 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
