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

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

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

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

См. также

• Формальные методы
• Список стандартов ИСО
• КАПР
• Э-ЛОТОС
• Исчисление процессов

Ссылки

• Международный стандарт ISO/IEC 8807:1989 . Системы обработки информации - Взаимосвязь открытых систем - LOTOS: метод формального описания, основанный на временном упорядочении поведения наблюдений . Женева, сентябрь 1989 г.
• Техника формального описания LOTOS , PHJ van Eijk et al. , редакция, Северная Голландия, 1989.
• LOTOSphere: Разработка программного обеспечения с помощью LOTOS , Томмазо Болоньези, Йеруна ван де Лагемаата и Криса Виссерса, редакторов, Kluwer Academic Publishers, 1995.
• Юбер Гаравель, Фредерик Ланг и Венделин Серве, От LOTOS до LNT . В книге Йост-Питер Катоен, Ром Лангерак ​​и Аренд Ренсинк, редакторы ModelEd, TestEd, TrustEd - Очерки, посвященные Эду Бринксме по случаю его 60-летия , том. 10500 конспектов лекций по информатике, страницы 3–26, Springer International Publishing, октябрь 2017 г., номер 10.1007/978-3-319-68270-9_1.

Внешние ссылки

• Всемирная среда обучения LOTOS (WELL)
• Учебники для LOTOS (см. раздел 3)
• ЛОТОС в RKBExplorer