Lenguaje de especificación formal
En informática, E-LOTOS ( Enhanced LOTOS ) es un lenguaje de especificación formal diseñado entre 1993 y 1999, y estandarizado por la Organización Internacional de Normalización (ISO) en 2001. [1]
E-LOTOS fue inicialmente pensado como una revisión del lenguaje LOTOS estandarizado por ISO 8807 en 1989, pero la revisión resultó ser profunda y condujo a un nuevo lenguaje de especificación.
El punto de partida para la revisión de LOTOS fue la tesis doctoral [2] de Ed Brinksma, quien había sido el relator en ISO de la norma LOTOS.
En 1993, los objetivos iniciales de la definición de E-LOTOS se establecieron en el anuncio ISO/IEC JTC1/N2802. [3]
En 1997, cuando la definición del lenguaje alcanzó el nivel de madurez de un Borrador del Comité ISO, se publicó un anuncio que describía las características principales de E-LOTOS. [4]
El siguiente documento [5] recuerda los hitos del proyecto de definición de E-LOTOS.
E-LOTOS ha inspirado lenguas descendientes, [6] entre las que se encuentran LOTOS NT [7] y LNT. [8]
Véase también
Referencias
- ^ Norma internacional ISO/IEC 15437:2001. Tecnología de la información: mejoras en LOTOS (E-LOTOS). Ginebra, septiembre de 2001.
- ^ Ed Brinksma. On the Design of Extended LOTOS - A Specification Language for Open Distributed Systems (Sobre el diseño de LOTOS extendido: un lenguaje de especificación para sistemas distribuidos abiertos) , tesis doctoral, Universidad de Twente, noviembre de 1988.
- ^ ISO/IEC JTC1/N2802, Propuesta de un nuevo elemento de trabajo sobre "Mejoras de LOTOS". 16 de diciembre de 1993. Disponible en ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
- ^ Juan Quemada. Nace E-LOTOS , 18 de febrero de 1997. Disponible en ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
- ^ Juan Quemada. Descripción de la nueva obra de E-LOTOS . 16 de junio de 1998. Disponible en ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
- ^ Hubert Garavel, Frédéric Lang y Wendelin Serwe, From LOTOS to LNT. En Joost-Pieter Katoen, Rom Langerak y Arend Rensink, editores, ModelEd, TestEd, TrustEd - Ensayos dedicados a Ed Brinksma con motivo de su 60.º cumpleaños, vol. 10500 de Lecture Notes in Computer Science, páginas 3-26, Springer International Publishing, octubre de 2017, doi 10.1007/978-3-319-68270-9_1
- ^ Mihaela Sighireanu (con actualizaciones de Alban Catry, David Champelovier, Hubert Garavel, Frédéric Lang, Guillaume Schaeffer, Wendelin Serwe y Jan Stöcker). Manual de usuario de LOTOS NT (Versión 2.7) . Informe técnico INRIA Rhône-Alpes/VASY, noviembre de 2012, 107 páginas. Disponible en http://vasy.inria.fr/traian/manual.html
- ^ David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Frédéric Lang, Christine McKinty, Vincent Powazny, Wendelin Serwe y Gideon Smeding. Manual de referencia del traductor LNT a LOTOS . Informe técnico INRIA Rhône-Alpes/CONVECS, 2015, 125 páginas. Disponible en http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html
Enlaces externos
- Contribuciones franco-rumanas a E-LOTOS
