In computer science Language Of Temporal Ordering Specification (LOTOS) is a
formal specification language
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the execu ...
based on temporal ordering of events. LOTOS is used for
communications protocol
A communication protocol is a system of rules that allows two or more entities of a communications system to transmit information via any kind of variation of a physical quantity. The protocol defines the rules, syntax, semantics and synch ...
specification in
International Organization for Standardization (ISO) Open Systems Interconnection model (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
In computer science, an abstract data type (ADT) is a mathematical model for data types. An abstract data type is defined by its behavior (semantics) from the point of view of a ''user'', of the data, specifically in terms of possible values, p ...
, and a part for the description of concurrent processes, based on
process calculus
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and ...
.
Work on the standard was completed in 1988, and it was published as ISO 8807 in 1989. 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
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...
*
List of ISO standards
A ''list'' is any set of items in a row. List or lists may also refer to:
People
* List (surname)
Organizations
* List College, an undergraduate division of the Jewish Theological Seminary of America
* SC Germania List, German rugby unio ...
*
CADP
*
E-LOTOS
*
Process calculus
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and ...
References
ISO/IEC international standard 8807:1989 Information Processing Systems - Open Systems Interconnection - ''LOTOS: A Formal Description Technique based on the Temporal Ordering of Observational Behaviour''. Geneva, September 1989.
* ''The Formal Description Technique LOTOS'', P.H.J. van Eijk ''et al.'', editors, North-Holland, 1989.
* ''LOTOSphere: Software Development with LOTOS'', Tommaso Bolognesi, Jeroen van de Lagemaat, and Chris Vissers, editors, Kluwer Academic Publishers, 1995.
* Hubert Garavel, Frédéric Lang, and Wendelin Serwe, ''From LOTOS to LNT''. In Joost-Pieter Katoen, Rom Langerak, and Arend Rensink, editors, ''ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday'', vol. 10500 of Lecture Notes in Computer Science, pages 3–26, Springer International Publishing, October 2017, doi 10.1007/978-3-319-68270-9_1.
External links
World-wide Environment for Learning LOTOS (WELL)Tutorials for LOTOS (see section 3)
LOTOS in the RKBExplorer
Process calculi
Formal methods
Formal specification languages
Concurrency (computer science)
Theoretical computer science
Concurrency control
Synchronization
{{compu-lang-stub