View source for Language of Temporal Ordering Specification

{{Short description|Formal specification language in computer science}}
{{No footnotes|date=April 2024}}
In computer science '''Language of Temporal Ordering Specification''' ('''LOTOS''') is a [[formal methods|formal]] [[specification language]] based on temporal ordering of events. LOTOS is used for [[communications protocol]] specification in [[International Organization for Standardization|International Organization for Standardization (ISO)]] [[OSI model|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]], and a part for the description of concurrent processes, based on [[process calculus]].

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]]
* [[List of ISO standards]]
* [[CADP]]
* [[E-LOTOS]]
* [[Process calculus]]

==References==

* [http://www.iso.org/iso/catalogue_detail.htm?csnumber=16258 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==
<!-- *[http://wwwtios.cs.utwente.nl/lotos/ LOTOS] -->
*[http://www.cs.stir.ac.uk/~kjt/research/well/ World-wide Environment for Learning LOTOS (WELL)]
*[http://cadp.inria.fr/tutorial/ Tutorials for LOTOS (see section 3)]
* [https://web.archive.org/web/20080828060019/http://www.rkbexplorer.com/explorer/#display=mechanism%2D{http://resex.rkbexplorer.com/id/resilience-mechanism-cf9ed8ae} LOTOS in the RKBExplorer]

{{Concurrent computing}}
{{ISO standards}}
{{Authority control}}

{{DEFAULTSORT:Language Of Temporal Ordering Specification}}
[[Category:Process calculi]]
[[Category:Formal methods]]
[[Category:Formal specification languages]]
[[Category:Concurrency (computer science)]]
[[Category:Theoretical computer science]]
[[Category:Concurrency control]]
[[Category:Synchronization]]


{{compu-lang-stub}}