Язык спецификации временного упорядочения
- LOTOS — формальный язык спецификации, основанный на временном упорядочении событий.
- Используется для спецификации протокола связи в стандартах ISO Open Systems Interconnection model (OSI).
- LOTOS состоит из двух частей: описания данных и операций и описания параллельных процессов.
- Работа над стандартом была завершена в 1988 году и опубликована как ISO 8807.
- В 1993-2001 годах был разработан пересмотренный стандарт LOTOS, опубликованный в 2001 году как E-LOTOS.
Полный текст статьи: