Language of Temporal Ordering Specification

from Wikipedia, the free encyclopedia

Language of Temporal Ordering Specification , LOTOS for short , is a formal description technique that is defined in the ISO standard ISO 8807 . LOTUS is a representative of the algebraic description techniques and is based on the CCS - calculus of Robin Milner .

LOTOS is used to specify the order of interactions, expressed through actions , between communicating processes , in the form of behavioral expressions.

LOTOS was originally designed for the formal service and protocol specification of the layers of the OSI model , but it can generally be used for all concurrent and distributed systems . Today LOTOS is mainly used in theoretical research and there primarily in protocol verification , performance prediction and test theory .

The LOTOS language consists of two parts. The behavioral description serves to illustrate the control flow and is also referred to as Basic LOTOS . The data description represents the data flow in the algebraic description language ACT ONE .

Web links