On the Introduction of Gate Typing in E-LOTOS

Hubert Garavel

Proceedings of the 15th IFIP International Workshop on Protocol Specification, Testing and Verification (Warsaw, Poland), June 1995


The definition of the Formal Description Technique LOTOS (ISO standard 8807) is currently under revision. This paper proposes a gate typing extension to LOTOS in order to improve the current situation where gates are completely typeless. This extension is simple and fully upward compatible. It is shown to increase both the reliability and modularity of formal descriptions. Moreover, gate type-checking can be performed statically and does not require any change in the dynamic semantics of LOTOS.

16 pages