E-LOTOS

E-LOTOS (Enhanced LOTOS) je jazyk formální specifikace navržený v letech 1993 až 1999 a standardizovaný ISO v roce 2001.

E-LOTOS byl původně zamýšlen jako revize jazyka LOTOS standardizovaného ISO 8807 v roce 1989. Revize však byla hluboká, což vedlo k novému specifikačnímu jazyku.

Výchozím bodem pro revizi systému LOTOS byla práce Eda Brinksmy, který byl zpravodajem normy LOTOS v ISO.

V roce 1993 byly v tomto oznámení stanoveny počáteční cíle definice E-LOTOS.

V roce 1997, kdy definice jazyka dosáhla úrovně zralosti projektu komise ISO, bylo zveřejněno následující oznámení popisující hlavní rysy E-LOTOS.

Následující dokument připomíná důležité fáze při definování projektu E-LOTOS.

E-LOTOS inspiroval potomky jazyků, včetně LOTOS NT a LNT.

Podívejte se také

Reference

  1. Mezinárodní norma ISO / IEC 15437: 2001 . Informační technologie - Vylepšení systému LOTOS (E-LOTOS). Ženeva, září 2001.
  2. Ed Brinksma. K návrhu rozšířeného systému LOTOS - specifikační jazyk pro otevřené distribuované systémy , disertační práce, University of Twente, listopad 1988.
  3. ISO / IEC JTC1 / N2802, Návrh nové pracovní položky na téma „Vylepšení systému LOTOS. 16. prosince 1993. Dostupné z ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
  4. Juan Quemada. E-LOTOS se narodil 18. února 1997. Dostupné z ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
  5. Juan Quemada. Popis nové pracovní položky E-LOTOS . 16. června 1998. Dostupné z ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
  6. Hubert Garavel, Frédéric Lang a Wendelin Serwe, od LOTOS k LNT. V Joost-Pieter Katoen, Rom Langerak a Arend Rensink, redaktoři, ModelEd, TestEd, TrustEd - Eseje věnované Edovi Brinksmě při příležitosti jeho 60. narozenin, sv. 10500 of Lecture Notes in Computer Science, strany 3-26, Springer International Publishing, říjen 2017, doi 10.1007 / 978-3-319-68270-9_1
  7. Mihaela Sighireanu (s aktualizacemi od Albana Catryho, Davida Champeloviera, Huberta Garavela, Frédérica Langa, Guillaume Schaeffera, Wendelina Serweho a Jana Stöckera). Uživatelská příručka k LOTOS NT (verze 2.7) . Technická zpráva INRIA Rhône-Alpes / VASY, listopad 2012, 107 stran. K dispozici na adrese http://vasy.inria.fr/traian/manual.html
  8. David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Frédéric Lang, Christine McKinty, Vincent Powazny, Wendelin Serwe a Gideon Smeding. Referenční příručka překladače LNT do LOTOS . Technická zpráva INRIA Rhône-Alpes / CONVECS, 2015, 125 stran. Dostupné z http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html

externí odkazy

Zdroje