A static semantic analyzer for LOTOS specifications

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