Language Of Temporal Ordering Specification

Language Of Temporal Ordering Specification (LOTOS) is a formal specification language based on temporal ordering used for protocol specification in ISO OSI standards. It was published as ISO 8807 in 1990 and describes the order in which events occur.

ee also

* Formal methods
* List of ISO standards

References

* "The Formal Description Technique LOTOS", P.H.J. van Eijk "et al.", editors, N-H, 1989.

External links

* [http://www.cs.stir.ac.uk/~kjt/research/well/ World-wide Environment for Learning LOTOS (WELL)]
* [http://www.inrialpes.fr/vasy/cadp/tutorial/ Tutorials for LOTOS (see section 2)]


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Language of Temporal Ordering Specification — Language of Temporal Ordering Specification, kurz LOTOS, ist eine formale Beschreibungstechnik, welche im ISO Standard ISO 8807 definiert ist. LOTOS ist ein Vertreter der algebraischen Beschreibungstechniken und basiert auf dem CCS Kalkül von… …   Deutsch Wikipedia

  • LOTOS — Language of Temporal Ordering Specification …   Acronyms

  • LOTOS — Language of Temporal Ordering Specification …   Acronyms von A bis Z

  • List of ISO standards — This is a list of ISO standards that are discussed in Wikipedia articles. For a list of all the more than 16,000 ISO standards (as of 2007), see the [http://www.iso.org/iso/en/CatalogueListPage.CatalogueList ISO Catalogue] .About 300 of the… …   Wikipedia

  • Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release …   Wikipedia

  • Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or …   Wikipedia

  • Исчисление взаимодействующих систем — (англ. Calculus of Communicating Systems, CCS, исчисление общающихся систем) в информатике  исчисление процессов, разработанное Робином Милнером в 1980 году. Исчисление работает с моделью неразделяемых коммуникаций между ровно двумя… …   Википедия

  • Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

  • Calculus of communicating systems — The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner in around 1980. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing… …   Wikipedia

  • Robin Milner — Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in Yealmpton bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger. Inhaltsverzeichnis 1 Biographie 2 Auszeichnungen (Auswahl) …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”