LOTOS ( Eng. Language Of Temporal Ordering Specification - "sprog for specifikationen af tidsbestemt orden") er et standardiseret specifikationssprog, oprindeligt beregnet til at beskrive kommunikation og distribuerede systemer . LOTOS består af to komplementære sprog: ACT ONE abstrakt datatypebeskrivelsessprog og procesalgebraadfærdsbeskrivelsessproget [ 1] [2] .
Selvom LOTOS har vist sig at være bredt anvendelig, har International Organization for Standardization taget udviklingen af en forbedret version - E-LOTOS (ISO/IEC 15437:2001) [3] [1] .
I LOTOS og E-LOTOS er systemet, der skal specificeres, modelleret af et sæt processer, der interagerer med hinanden og deres omgivelser [1] .
Kommunikationsportene i en proces kaldes hændelseskanaler . Processer parametreres af deres kanaler og tilstand. Input og output svarer til hændelser , det vil sige interaktioner på kanaler mellem to processer eller et system og dets miljø. En hændelse opstår, når to parter synkroniserer på matchende hændelsessætninger , det vil sige, når der er behov for kommunikation fra begge parter. Ved flere samtidige tilbud træffes et valg, der kan påvirke systemets videre adfærd [1] .
LOTOS understøttes af værktøjer til specifikation , simulering , kompilering , testgenerering og formel verifikation . Eksempler på værktøjer: CADP (CÆSAR/ALDÉBARAN Development Package) [4] , LITE, LOLA [1] .