Э-ЛОТОС
В информатике 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] среди которых ЛОТОС НТ [7] и ЛНТ. [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. В книге Йост-Питер Катоен, Ром Лангерак и Аренд Ренсинк, редакторы журнала ModelEd, TestEd, TrustEd - Очерки, посвященные Эду Бринксме по случаю его 60-летия, том. 10500 конспектов лекций по информатике, страницы 3–26, Springer International Publishing, октябрь 2017 г., doi 10.1007/978-3-319-68270-9_1
- ^ Михаэла Сигириану (с обновлениями Албана Кэтри, Дэвида Шампеловье, Юбера Гаравеля, Фредерика Ланга, Гийома Шеффера, Венделина Серве и Яна Стокера). Руководство пользователя LOTOS NT (версия 2.7) . Технический отчет INRIA Rhône-Alpes/VASY, ноябрь 2012 г., 107 страниц. Доступно по адресу http://vasy.inria.fr/traian/manual.html.
- ^ Дэвид Шампеловье, Ксавье Клерк, Юбер Гаравель, Ив Герте, Фредерик Ланг, Кристин МакКинти, Винсент Повазны, Венделин Серве и Гидеон Смединг. Справочное руководство переводчика LNT в LOTOS . Технический отчет INRIA Рона-Альпы/CONVECS, 2015 г., 125 страниц. Доступно по адресу http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html.
Внешние ссылки
[ редактировать ] ISO Стандарты по номеру стандарта |
|---|
 | Эта языкам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |