Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Latella D., Pisano A. A Proposal for a graphic syntax for LOTOS. Internal note CNUCE-B4-88-001, 1988.
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.
Subject LOTOS

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional