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 givenPubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11583/2500384
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo