stringtranslate.com

E-ЛОТОС

В компьютерной науке E-LOTOS ( Enhanced LOTOS ) — формальный язык спецификаций, разработанный в период с 1993 по 1999 год и стандартизированный Международной организацией по стандартизации (ISO) в 2001 году. [1]

Первоначально E-LOTOS планировался как переработка языка LOTOS , стандартизированного ISO 8807 в 1989 году, но переработка оказалась глубокой и привела к появлению нового языка спецификаций.

Отправной точкой для пересмотра LOTOS стала докторская диссертация [2] Эда Бринксмы, который был докладчиком ISO по стандарту LOTOS.

В 1993 году первоначальные цели определения E-LOTOS были изложены в заявлении ISO/IEC JTC1/N2802. [3]

В 1997 году, когда определение языка достигло уровня зрелости проекта комитета ISO, было опубликовано объявление, описывающее основные особенности E-LOTOS. [4]

В следующем документе [5] описываются основные этапы проекта определения E-LOTOS.

E-LOTOS вдохновил на создание языков-потомков, [6] среди которых LOTOS NT [7] и LNT. [8]

Смотрите также

Ссылки

  1. ^ Международный стандарт ISO/IEC 15437:2001. Информационные технологии – Усовершенствования LOTOS (E-LOTOS). Женева, сентябрь 2001 г.
  2. ^ Эд Бринксма. О разработке расширенного LOTOS — языка спецификаций для открытых распределенных систем , докторская диссертация, Университет Твенте, ноябрь 1988 г.
  3. ^ ISO/IEC JTC1/N2802, Предложение о новом рабочем элементе по «Усовершенствованиям LOTOS». 16 декабря 1993 г. Доступно по адресу ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
  4. ^ Хуан Кемада. E-LOTOS родился 18 февраля 1997 г. Доступно на ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
  5. ^ Хуан Кемада. Описание нового рабочего элемента E-LOTOS . 16 июня 1998 г. Доступно на ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
  6. ^ Hubert Garavel, Frédéric Lang и Wendelin Serwe, From LOTOS to LNT. В Joost-Pieter Katoen, Rom Langerak и Arend Rensink, редакторы, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, т. 10500 Lecture Notes in Computer Science, страницы 3-26, Springer International Publishing, октябрь 2017 г., doi 10.1007/978-3-319-68270-9_1
  7. ^ Михаэла Сигиряну (с обновлениями Албана Кэтри, Дэвида Шампеловье, Юбера Гаравеля, Фредерика Ланга, Гийома Шеффера, Венделина Серве и Яна Стокера). Руководство пользователя LOTOS NT (версия 2.7) . Технический отчет INRIA Rhône-Alpes/VASY, ноябрь 2012 г., 107 страниц. Доступно по адресу http://vasy.inria.fr/traian/manual.html.
  8. ^ Дэвид Шампеловье, Ксавье Клерк, Юбер Гаравель, Ив Герте, Фредерик Ланг, Кристин МакКинти, Винсент Повазни, Венделин Серве и Гидеон Смединг. Справочное руководство по транслятору LNT в LOTOS . Технический отчет INRIA Rhône-Alpes/CONVECS, 2015, 125 страниц. Доступно по адресу http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html

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


  • в
  • т
  • е