Language Of Temporal Ordering Specification

Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering used for protocol specification in ISO OSI standards.

LOTOS is an algebraic language that consists of two parts: a part for the description of data and operations, based on abstract data types, and a part for the description of concurrent processes, based on process calculus.

Work on the standard was completed in 1989, and it was published as ISO 8807 in 1990. Between 1993 and 2001, an ISO committee worked to define a revised version of the LOTOS standard, which was published in 2001 as E-LOTOS.

See also

• Formal methods
• List of ISO standards
• CADP

References

• The Formal Description Technique LOTOS, P.H.J. van Eijk et al., editors, N-H, 1989.

External links

• World-wide Environment for Learning LOTOS (WELL)
• Tutorials for LOTOS (see section 2)
• LOTOS in the RKBExplorer

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.