The authors present some aspects related to the implementation of the formal flattening rules and static semantic requirements defined for the standard specification language LOTOS that are to be faced in developing tools based on LOTOS descriptions. The approach led to the implementation of a C program consisting of a syntax-driven parser whose actions are the flattening functions. The flattening functions, formally defined in the standard document, involve forward references that should be resolved before implementing the flattening and static semantic functions. The tool is able to read a LOTOS specification and produces a data structure which corresponds to a formal data structure called the canonical LOTOS specification (CLS) in the standard LOTOS document. Examples and measures of performance that have been collected by testing the tool on some significant case studies taken from the existing literature are also given

A Static Semantic Analyzer for LOTOS Specifications / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1993), pp. 585-592. ((Intervento presentato al convegno IEEE Phoenix Conference on Computers and Communications nel 23-26 March 1993 [10.1109/PCCC.1993.344534].

A Static Semantic Analyzer for LOTOS Specifications

DURANTE, LUCA;SISTO, Riccardo;VALENZANO, ADRIANO
1993

Abstract

The authors present some aspects related to the implementation of the formal flattening rules and static semantic requirements defined for the standard specification language LOTOS that are to be faced in developing tools based on LOTOS descriptions. The approach led to the implementation of a C program consisting of a syntax-driven parser whose actions are the flattening functions. The flattening functions, formally defined in the standard document, involve forward references that should be resolved before implementing the flattening and static semantic functions. The tool is able to read a LOTOS specification and produces a data structure which corresponds to a formal data structure called the canonical LOTOS specification (CLS) in the standard LOTOS document. Examples and measures of performance that have been collected by testing the tool on some significant case studies taken from the existing literature are also given
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11583/2500384
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo