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

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

Язык спецификации временного упорядочения 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. ИСО/МЭК 9995 Стандарт ISO/IEC 9995 ISO/IEC 9995 — серия стандартов, определяющих принципы компоновки компьютерных клавиатур.  Серия стандартов ISO/IEC...
  2. ISO/IEC JTC 1/SC 2 ISO/IEC JTC 1/SC 2 История и структура ISO/IEC JTC 1/SC 2 ISO/IEC JTC 1/SC 2 был...
  3. ИСО 965 Стандарт ISO 965 ISO 965 — стандарт Международной организации по стандартизации, регулирующий допуски на метрическую резьбу...
  4. ISO 13485 Стандарт ISO 13485 ISO 13485 — добровольный стандарт, разработанный ISO для медицинских изделий.  Текущая версия стандарта...
  5. ИСО 9000 Стандарт ISO 9000 ISO 9000 — набор стандартов на системы менеджмента качества (СМК) от Международной организации...
  6. ISO 21500 Стандарт ISO 21500 ISO 21500 — международный стандарт управления проектами, разработанный ISO в 2007 году.  Стандарт...
  7. ИСО/МЭК 10367 ISO/IEC 10367 Определение и использование ISO/IEC 10367 ISO/IEC 10367 определяет графические наборы символов для уровней 2...
  8. ИСО/МЭК 20000 ISO/IEC 20000 ISO/IEC 20000 — международный стандарт управления ИТ-услугами, разработанный в 2005 году.  Стандарт основан на...
  9. Язык описания страниц Язык описания страницы Основы языка описания страницы (PDL) PDL — компьютерный язык для описания внешнего вида...
  10. ISO 9241 Стандарт ISO 9241 ISO 9241 — стандарт, охватывающий эргономику взаимодействия человека и системы.  Стандарт управляется Техническим...
  11. ИСО-ИР-197 ISO-IR-197 ISO-IR-197: Кодировка для саамских языков ISO-IR-197 — это 8-битная кодировка для саамских языков.  Модификация ISO...
  12. Ньиакенг Пуачуэ Хмонг Ньякенг Пуачуэ Хмонг Мероитский период Мероитский язык использовался в 3 веке до нашей эры.  Угаритский язык...
  13. ИСО 8501-1 ISO 8501-1 ISO 8501-1 — стандарт ISO для оценки чистоты стальных поверхностей перед нанесением краски.  Стандарт...
  14. ISO 55000 Стандарт ISO 55000 ISO 55000 — международный стандарт управления активами любого рода.  PAS 55 — общедоступная...
  15. ИСО 22000 Стандарт ISO 22000 ISO 22000 — система менеджмента безопасности пищевых продуктов, разработанная ISO.  Стандарт ISO 22000...
  16. ISO 3166 Стандарт ISO 3166 ISO 3166 — стандарт, определяющий коды для названий стран, зависимых территорий и особых...

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

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