Search results
In computer science Language of Temporal Ordering Specification ( LOTOS) is a formal specification language based on temporal ordering of events. LOTOS is used for communications protocol specification in International Organization for Standardization (ISO) Open Systems Interconnection model (OSI) standards. LOTOS is an algebraic language that ...
Software Specification Methods – An Overview Using a Case Study, ISTE Hermes & Lavoisier, pp.233-258, 2006. hal-00160467 6 (E-)L OTOS : (Enhanced) Language Of Temporal
LOTOS: the language was to be based mostly on Milner™s Calculus of Communicating Systems (CCS) [Mil 89], although Hoare™s Communicating Sequential Processes (CSP) [Hoa 85] was also quite influential. In the same year, the language acquired its name, which is an acronym for Language Of Temporal Ordering Specifications.
- 173KB
- 34
LOTOS (Language of Temporal Ordering Specification [7]) is a standardised FDT (Formal Description Technique) originally intended for the specification of com munications and distributed systems. Several tutorials for LOTOS are available [1,16]. The design of LOTOS was motivated by the need for a language with a high
- Kenneth J. Turner, Mihaela Sighireanu
- 2001
lotos, LOTOS - Language of Temporal Ordering Specification Description LOTOS [BB88] is a formal specification language to describe communication protocols and distributed systems. It has been standardized by ISO/IEC in 1989 [ISO89].
LOTOS (Language of Temporal Ordering Specification) (ISO 8807, 1989) was developed by the FDT experts of the working group ISO/TC97/SC21/WG1 during the 80’s. It is a specification language developed for formal description of the OSI architecture and distributed systems in general. In fact, most examples of LOTOS specifications found in the ...
People also ask
What is LOTOS (language of temporal ordering specification)?
What is Lotos specification language?
Is a data-oriented specification equivalent to a process oriented specification?
What are parametrized data type specifications?
LOTOS (Language of Temporal Ordering Specification) is one of the two Formal Description Techniques [26, 27] developed within ISO (International Standards Organization) for the formal specification of open distributed systems, and in particular for those related to the Open Systems Interconnection (OSI) computer network architecture [24, 39].
