LOTOS
LOTOS (англ. Language of Temporal Ordering Specification, «мова специфікації часового впорядкування») — формальна мова специфікацій. Вона описує систему через те, в якому порядку можуть відбуватися події. Мову використовують у стандартах ISO для моделі взаємодії відкритих систем, коли треба задати комунікаційний протокол.
Це алгебрична мова з двох частин. Дані й операції над ними записують через абстрактні типи даних. Паралельні процеси — через числення процесів.
Роботу над стандартом завершили 1988 року, а 1989-го його видали як ISO 8807.[1] З 1993 до 2001 року комітет ISO готував перегляд. Переглянуту мову опублікували 2001 року під назвою E-LOTOS.[2]
- P. H. J. van Eijk та ін. (1989). The Formal Description Technique LOTOS (англ.). North-Holland.
- Tommaso Bolognesi; Jeroen van de Lagemaat; Chris Vissers (1995). LOTOSphere: Software Development with LOTOS (англ.). Kluwer Academic Publishers.
- ↑ ISO 8807:1989. LOTOS — A formal description technique based on the temporal ordering of observational behaviour (англ.). ISO. 1989–09. Процитовано 16 жовтня 2026.
{{cite web}}: Обслуговування CS1: Сторінки з неправильним форматом в діапазонах дат (посилання) - ↑ Hubert Garavel; Frédéric Lang; Wendelin Serwe (2017). From LOTOS to LNT. ModelEd, TestEd, TrustEd. Lecture Notes in Computer Science (англ.). Т. 10500. Springer. с. 3—26. doi:10.1007/978-3-319-68270-9_1.
