LOTOS ( anglicky Language Of Temporal Ordering Specification - „jazyk specifikace časového uspořádání“) je standardizovaný specifikační jazyk, původně určený k popisu komunikačních a distribuovaných systémů . LOTOS se skládá ze dvou komplementárních jazyků: jazyka pro popis abstraktního datového typu ACT ONE a jazyka pro popis chování procesní algebry [1] [2] .
Ačkoli se LOTOS ukázal jako široce aplikovatelný, Mezinárodní organizace pro normalizaci se ujala vývoje vylepšené verze – E-LOTOS (ISO/IEC 15437:2001) [3] [1] .
V LOTOS a E-LOTOS je systém, který má být specifikován, modelován sadou procesů interagujících mezi sebou a jejich prostředím [1] .
Komunikační porty procesu se nazývají kanály událostí . Procesy jsou parametrizovány svými kanály a stavem. Vstup a výstup odpovídají událostem , tj. interakcím na kanálech mezi dvěma procesy nebo systémem a jeho prostředím. Událost nastane, když se dvě strany synchronizují na odpovídajících větách události , to znamená, když je potřeba komunikace od obou stran. V případě více současných nabídek se provede výběr, který může ovlivnit další chování systému [1] .
LOTOS je podporován nástroji pro specifikaci , simulaci , kompilaci , generování testů a formální verifikaci . Příklady nástrojů: CADP (CÆSAR/ALDÉBARAN Development Package) [4] , LITE, LOLA [1] .