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

От / / Оставьте комментарий

Язык спецификации временного упорядочения LOTOS – формальный язык спецификации, основанный на временном упорядочении событий.  Используется для спецификации протокола связи в […]

Concurrency (computer science), Concurrency control, Formal methods, Formal specification languages, Process calculi, Programming language topic stubs, Synchronization, Theoretical computer science, Исчисления процессов, Контрольный контроль, Незавершенные темы по языкам программирования, Параллелизм (информатика), Синхронизация, Теоретическая информатика, Формальные методы, Языки формальных спецификаций

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

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

Полный текст статьи:

Спецификация языка временного упорядочения — Википедия

Похожие статьи:

  1. ИТ-риск Оглавление1 ЭТО риск1.1 Общие положения1.2 Стандарты ISO/IEC 27001 и ISO/IEC 270021.3 Управление рисками1.4 Управление доступом1.5 Управление...
  2. Построение и анализ распределенных процессов Оглавление1 Построение и анализ распределенных процессов1.1 Обзор CADP1.2 Языки и методы компиляции1.3 Лицензирование и установка1.4 Краткое...
  3. Список фильмов, действие которых происходит в Берлине Оглавление1 Список фильмов, действие которых происходит в Берлине1.1 Берлин как центр киноиндустрии1.2 Студии и кинофестивали1.3 Фильмы...
  4. Curt Stern – Arc.Ask3.Ru Оглавление1 Резкий, суровый1.1 Ранние годы и образование1.2 Переезд в США1.3 Научная карьера1.4 Вклад в генетику1.5 Личная...
  5. Curt Stern – Arc.Ask3.Ru Оглавление1 Резкий, суровый1.1 Ранние годы и образование1.2 Переезд в США1.3 Научная карьера1.4 Вклад в генетику1.5 Личная...
  6. Язык спецификации Оглавление1 Язык спецификации1.1 Определение языка спецификаций1.2 Обзор подходов к спецификации1.3 Примеры языков спецификаций1.4 Процесс уточнения спецификаций1.5...
  7. Генеративная теория тональной музыки Оглавление1 Генеративная теория тональной музыки1.1 История и цель GTTM1.2 Основные системы GTTM1.3 Правила GTTM1.4 Группировочная структура1.5...
  8. ИСО/МЭК 9995 Стандарт ISO/IEC 9995 ISO/IEC 9995 – серия стандартов, определяющих принципы компоновки компьютерных клавиатур.  Серия стандартов ISO/IEC...
  9. Категория:Смерти в 1993 году Оглавление1 Категория:Смертельные случаи в 1993 году – Википедия1.1 Биографический портал1.2 Категории и подкатегории1.3 Случаи смерти в...
  10. ISO/IEC JTC 1/SC 2 Оглавление1 ISO/IEC JTC 1/SC 21.1 История и структура ISO/IEC JTC 1/SC 21.2 Сфера охвата и миссия1.3...
  11. Арамейский – Arc.Ask3.Ru Оглавление1 Арамейский1.1 Происхождение и распространение арамейского языка1.2 Современные разновидности и использование1.3 Лингвистическая классификация и алфавит1.4 Историческое...
  12. ИСО/МЭК 80000 Оглавление1 ISO/IEC 800001.1 Обзор стандарта ISO 800001.2 Структура и содержание стандарта1.3 Пересмотр и обновление стандартов1.4 Информационные...
  13. ИСО/МЭК 10367 Оглавление1 ISO/IEC 103671.1 Определение и использование ISO/IEC 103671.2 Содержание ISO/IEC 103671.3 Совместимость и использование2 ИСО/МЭК 10367...
  14. ISO 13485 Стандарт ISO 13485 ISO 13485 – добровольный стандарт, разработанный ISO для медицинских изделий.  Текущая версия стандарта...
  15. Французский язык – Википедия Оглавление1 Французский язык1.1 Происхождение и развитие французского языка1.2 Распространение и статус1.3 Международный статус1.4 История и эволюция1.5...
  16. ИСО 965 Стандарт ISO 965 ISO 965 – стандарт Международной организации по стандартизации, регулирующий допуски на метрическую резьбу...
  17. Библиография антропологии – Википедия Оглавление1 Библиография по антропологии1.1 История антропологии1.2 Социокультурная антропология1.3 Основные направления и теории1.4 Современные исследования1.5 Культурный материализм...
  18. Летние Олимпийские игры 1988 года Оглавление1 Летние Олимпийские игры 1988 года1.1 Процесс подачи заявки и выбор города1.2 Основные моменты и рекорды1.3...
  19. Язык описания страниц Оглавление1 Язык описания страницы1.1 Основы языка описания страницы (PDL)1.2 Адаптация и смешение с другими технологиями1.3 Примеры...
  20. Разложение временного ряда Декомпозиция временных рядов Декомпозиция временных рядов – статистическая задача, разбивающая временной ряд на компоненты, представляющие базовые...
  21. Международная школа подводного плавания Оглавление1 Международные школы подводного плавания1.1 История и структура SSI1.2 Обучение и сертификация1.3 Стандарты и сертификация1.4 Продвижение...
  22. ИСО 9000 Стандарт ISO 9000 ISO 9000 – набор стандартов на системы менеджмента качества (СМК) от Международной организации...

Оставьте комментарий

Прокрутить вверх