Specificația limbii de ordonare temporală
Limbajul specificației de ordonare temporală ( LOTOS ) este un limbaj de specificație formal bazat pe ordinea temporală a evenimentelor. LOTOS este utilizat pentru specificarea protocoalelor în standardele ISO OSI .
LOTOS este un limbaj algebric care constă din două părți: o parte pentru descrierea datelor și operațiunilor, bazată pe tipuri de date abstracte și o parte pentru descrierea proceselor concurente, bazată pe algebra proceselor .
Lucrările la standard au fost finalizate în 1988 și publicate ca ISO 8807 în 1989. Între 1993 și 2001, un comitet ISO a lucrat pentru a defini o versiune revizuită a standardului LOTOS, care a fost publicată în 2001 sub numele de E -LOTOS .
Vezi și tu
Referințe
-
Standardul internațional ISO / IEC 8807: 1989 . Sisteme de procesare a informațiilor - interconectare a sistemelor deschise - LOTOS: o tehnică de descriere formală bazată pe ordonarea temporală a comportamentului observațional . Geneva, septembrie 1989.
-
Descrierea tehnică formală LOTOS , PHJ van Eijk și colab. , editori, Olanda de Nord, 1989.
-
LOTOSphere: Dezvoltare software cu LOTOS , Tommaso Bolognesi, Jeroen van de Lagemaat și Chris Vissers, editori, Kluwer Academic Publishers, 1995.
- Hubert Garavel, Frédéric Lang și Wendelin Serwe, de la LOTOS la LNT . În Joost-Pieter Katoen, Rom Langerak și Arend Rensink, editori, ModelEd, TestEd, TrustEd - Eseuri dedicate lui Ed Brinksma cu ocazia împlinirii a 60 de ani , vol. 10500 din Lecture Notes in Computer Science, paginile 3-26, Springer International Publishing, octombrie 2017, doi 10.1007 / 978-3-319-68270-9_1.
linkuri externe
Surse