В информатике 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]
Смотрите также
Рекомендации
- ^ Международный стандарт ISO / IEC 15437: 2001 . Информационные технологии - Расширения LOTOS (E-LOTOS). Женева, сентябрь 2001 г.
- ^ Эд Бринксма. О разработке расширенного LOTOS - языка спецификации для открытых распределенных систем , докторская диссертация, Университет Твенте, ноябрь 1988 г.
- ^ ISO / IEC JTC1 / N2802, Предложение по пункту Новой работы по «Улучшению в LOTOS. 16 декабря 1993 годаимеющийсяналичии ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
- ↑ Хуан Кемада. E-LOTOS родился 18 февраля 1997 года. Доступно по адресу ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt.
- ↑ Хуан Кемада. Описание нового задания E-LOTOS . 16 июня 1998 г. Доступно по адресу ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
- ^ Юбер Гаравель, Фредерик Ланг и Венделин Серве, От 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
- ^ Михаэла Sighireanu (с обновлениями по Alban Catry, Дэвид Champelovier, Hubert Garavel Фредерика Ланг, Гийом Шеффера, Венделином Serwe и Ян Стокер). Руководство пользователя LOTOS NT (версия 2.7) . Технический отчет INRIA Rhône-Alpes / VASY, ноябрь 2012 г., 107 страниц. Доступно по адресу http://vasy.inria.fr/traian/manual.html
- ^ Дэвид Champelovier, Xavier Клерк, Hubert Garavel, Ив Guerte, Фредерик Лэнг, Кристин McKinty, Винсент Powazny, Венделин Serwe, и Гидеон Smeding. Справочное руководство переводчика LNT в LOTOS . Технический отчет INRIA Rhône-Alpes / CONVECS, 2015, 125 страниц. Доступно по адресу http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html