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 ...
6 (E-)LOTOS: (Enhanced) Language Of Temporal Ordering Specification. Kenneth J. Turner and Mihaela Sighireanu. Computing Science and Mathematics, University of Stirling, Stirling FK9 4LA, Scotland. (kjt@cs.stir.ac.uk) LIAFA Laboratory, University of Paris 7, France(mihaela.sighireanu@liafa.jussieu.fr) 6.1 Overview of the LOTOSNotation and Method.
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?
Who wrote the Lotos specification language?
Language Of Temporal Ordering Specification. CADP. References. ^ ISO/IEC international standard 15437:2001. Information technology – Enhancements to LOTOS (E-LOTOS). Geneva, September 2001. ^ Ed Brinksma. On the Design of Extended LOTOS - A Specification Language for Open Distributed Systems, PhD thesis, University of Twente, Nov. 1988.
Abstract. 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.
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
In computer science Language Of Temporal Ordering Specification is a formal specification language based on temporal ordering of events. LOTOS is used for communications protocol specification in International Organization for Standardization Open Systems Interconnection model standards.
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].
