LOTOS ( Eng. Language Of Temporal Ordering Specification - "ajallisen järjestyksen määrittelykieli") on standardoitu määrityskieli, joka alun perin oli tarkoitettu kuvaamaan viestintää ja hajautettuja järjestelmiä . LOTOS koostuu kahdesta toisiaan täydentävästä kielestä: ACT ONE abstraktin tietotyypin kuvauskielestä ja prosessialgebran käyttäytymisen kuvauskielestä [1] [2] .
Vaikka LOTOS on osoittautunut laajalti sovellettavaksi, Kansainvälinen standardointijärjestö on ryhtynyt kehittämään parannettua versiota - E-LOTOS (ISO/IEC 15437:2001) [3] [1] .
LOTOS- ja E-LOTOSissa määritettävä järjestelmä mallinnetaan joukolla prosesseja, jotka ovat vuorovaikutuksessa keskenään ja ympäristönsä kanssa [1] .
Prosessin tietoliikenneportteja kutsutaan tapahtumakanaviksi . Prosessit parametroidaan niiden kanavien ja tilan mukaan. Tulo ja lähtö vastaavat tapahtumia , eli vuorovaikutusta kanavissa kahden prosessin tai järjestelmän ja sen ympäristön välillä. Tapahtuma tapahtuu, kun kaksi osapuolta synkronoivat yhteensopivien tapahtumalauseiden kanssa, eli kun molemmilta osapuolilta tarvitaan kommunikaatiota. Useamman samanaikaisen tarjouksen tapauksessa tehdään valinta, joka voi vaikuttaa järjestelmän jatkokäyttäytymiseen [1] .
LOTOSia tukevat työkalut määrittelyyn , simulointiin , kokoamiseen , testien luomiseen ja muodolliseen todentamiseen . Esimerkkejä työkaluista: CADP (CÆSAR/ALDÉBARAN Development Package) [4] , LITE, LOLA [1] .