E-LOTOS

E-LOTOS (Enhanced LOTOS) es un lenguaje de especificación formal diseñado entre 1993 y 1999, y estandarizado por ISO en 2001.

E-LOTOS originalmente tenía la intención de ser una revisión del lenguaje LOTOS estandarizado por ISO 8807 en 1989. Sin embargo, la revisión fue profunda, lo que condujo a un nuevo lenguaje de especificación.

El punto de partida para la revisión de LOTOS fue la tesis de Ed Brinksma, quien había sido ponente de la norma LOTOS en ISO.

En 1993, los objetivos iniciales de la definición de E-LOTOS se establecieron en este anuncio.

En 1997, cuando la definición del lenguaje alcanzó el nivel de madurez de un proyecto de comité ISO, se publicó el siguiente anuncio, que describe las principales características de E-LOTOS.

El siguiente documento recuerda las etapas importantes en la definición del proyecto E-LOTOS.

E-LOTOS ha inspirado idiomas descendientes, incluidos LOTOS NT y LNT.

Ver también

Referencias

  1. Norma internacional ISO / IEC 15437: 2001 . Tecnología de la información: mejoras en LOTOS (E-LOTOS). Ginebra, septiembre de 2001.
  2. Ed Brinksma. On the Design of Extended LOTOS - A Specification Language for Open Distributed Systems , tesis de doctorado, Universidad de Twente, noviembre de 1988.
  3. ISO / IEC JTC1 / N2802, Propuesta de un nuevo elemento de trabajo sobre "Mejoras a LOTOS. 16 de diciembre de 1993. Disponible en ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
  4. Juan Quemada. E-LOTOS nació el 18 de febrero de 1997. Disponible en ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
  5. Juan Quemada. Descripción del nuevo elemento de trabajo de E-LOTOS . 16 de junio de 1998. Disponible en ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
  6. Hubert Garavel, Frédéric Lang y Wendelin Serwe, De LOTOS a LNT. En Joost-Pieter Katoen, Rom Langerak y Arend Rensink, editores, ModelEd, TestEd, TrustEd - Ensayos dedicados a Ed Brinksma en ocasión 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
  7. Mihaela Sighireanu (con actualizaciones de Alban Catry, David Champelovier, Hubert Garavel, Frédéric Lang, Guillaume Schaeffer, Wendelin Serwe y Jan Stöcker). Manual del 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
  8. 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 de 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

Fuentes