Язык спецификации временного упорядочения

В информатике Язык спецификации временного упорядочения (LOTOS ) формальный язык спецификации, основанный на временном порядке событий. LOTOS используется для спецификации протокола связи в стандартах Международной организации по стандартизации (ISO) модели взаимодействия открытых систем (OSI).

LOTOS - это алгебраический язык, состоящий из двух частей: части для описания данных и операций на основе абстрактных типов данных и части для описания параллельных процессов на основе on исчисление процессов.

Работа над стандартом была завершена в 1988 году, и он был опубликован как ISO 8807 в 1989 году. В период с 1993 по 2001 год комитет ISO работал над определением пересмотренной версии стандарта LOTOS, который был опубликован в 2001 году как E-LOTOS.

• Формальные методы
• Список стандартов ISO
• CADP
• E-LOTOS
• Технологические вычисления

• ISO / Международный стандарт IEC 8807: 1989. Системы обработки информации - Взаимосвязь открытых систем - LOTOS: метод формального описания, основанный на временном порядке наблюдательного поведения. Женева, сентябрь 1989 г.
• Техника формального описания LOTOS, P.H.J. ван Эйк и др., редакторы, Северная Голландия, 1989.
• LOTOSphere: разработка программного обеспечения с LOTOS, Томмазо Болоньези, Йерун ван де Лагемаат и Крис Виссерс, редакторы, Kluwer Academic Publishers, 1995.
• Юбер Гаравель, Фредерик Ланг и Венделин Серве, от LOTOS к LNT. В Joost-Pieter Katoen, Rom Langerak и Arend Rensink, редакторах, ModelEd, TestEd, TrustEd - Essays, посвященные Эду Бринксме по случаю его 60-летия, т. 10500 конспектов лекций по информатике, страницы 3-26, Springer International Publishing, октябрь 2017 г., doi 10.1007 / 978-3-319-68270-9_1.

• Всемирная среда для обучения LOTOS (WELL)
• Руководства по LOTOS (см. Раздел 3)
• LOTOS в RKBExplorer

Эта статья основана на материалах, взятых из Free On-line Dictionary of Computing до 1 ноября 2008 г. и включены в соответствии с условиями «перелицензирования» GFDL версии 1.3 или более поздней.