E-LOTOS

E-LOTOS (Enhanced LOTOS) este un limbaj de specificare formal conceput între 1993 și 1999 și standardizat de ISO în 2001.

E-LOTOS a fost inițial menit să fie o revizuire a limbajului LOTOS standardizat de ISO 8807 în 1989. Revizuirea a fost totuși profundă, ceea ce a condus la un nou limbaj de specificații.

Punctul de plecare pentru revizuirea LOTOS a fost teza lui Ed Brinksma, care fusese raportor al standardului LOTOS la ISO.

În 1993, obiectivele inițiale ale definiției E-LOTOS au fost stabilite în acest anunț.

În 1997, când definiția limbajului a atins nivelul de maturitate al unui proiect al comitetului ISO, a fost publicat următorul anunț, care descrie principalele caracteristici ale E-LOTOS.

Următorul document amintește etapele importante din definirea proiectului E-LOTOS.

E-LOTOS a inspirat limbi descendente, inclusiv LOTOS NT și LNT.

Vezi și tu

Referințe

  1. Standardul internațional ISO / IEC 15437: 2001 . Tehnologia informației - Îmbunătățiri la LOTOS (E-LOTOS). Geneva, septembrie 2001.
  2. Ed Brinksma. Despre proiectarea LOTOS-urilor extinse - un limbaj de specificații pentru sisteme distribuite deschise , teză de doctorat, Universitatea din Twente, noiembrie 1988.
  3. ISO / IEC JTC1 / N2802, Propunere pentru un nou articol de lucru despre „Îmbunătățiri la LOTOS. 16 decembrie 1993. Disponibil de pe ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
  4. Juan Quemada. E-LOTOS s-a născut , 18 februarie 1997. Disponibil de pe ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
  5. Juan Quemada. Descrierea articolului de lucru nou E-LOTOS . 16 iunie 1998. Disponibil de pe ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
  6. Hubert Garavel, Frédéric Lang și Wendelin Serwe, De la LOTOS la LNT. În Joost-Pieter Katoen, Rom Langerak și Arend Rensink, editori, ModelEd, TestEd, TrustEd - Eseuri dedicate lui Ed Brinksma cu ocazia împlinirii a 60 de ani, vol. 10500 din Note de curs în informatică, paginile 3-26, Editura Springer International, octombrie 2017, doi 10.1007 / 978-3-319-68270-9_1
  7. Mihaela Sighireanu (cu actualizări ale lui Alban Catry, David Champelovier, Hubert Garavel, Frédéric Lang, Guillaume Schaeffer, Wendelin Serwe și Jan Stöcker). Manual de utilizare LOTOS NT (versiunea 2.7) . Raport tehnic INRIA Rhône-Alpes / VASY, noiembrie 2012, 107 pagini. Disponibil de pe 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 și Gideon Smeding. Manual de referință al traducătorului LNT către LOTOS . Raport tehnic INRIA Rhône-Alpes / CONVECS, 2015, 125 pagini. Disponibil de pe http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html

linkuri externe

Surse