Share to: share facebook share twitter share wa share telegram print page

E-LOTOS

E-LOTOS (Enhanced LOTOS) est un langage de spécification formel conçu entre 1993 et 1999, et standardisé par l'ISO en 2001[1].

E-LOTOS était initialement prévu pour être une révision du langage LOTOS standardisé par la norme ISO 8807 en 1989. La révision se révéla toutefois profonde, ce qui conduisit à un nouveau langage de spécification.

Le point de départ pour la révision du LOTOS a été la thèse de Ed Brinksma[2], qui avait été rapporteur du standard LOTOS à l'ISO.

En 1993, les objectifs initiaux de la définition d'E-LOTOS ont été énoncés dans cette annonce[3].

En 1997, lorsque la définition du langage atteint le niveau de maturité d'un projet de comité ISO, l'annonce suivante[4] fut publiée, décrivant les caractéristiques principales d'E-LOTOS.

Le document suivant[5] rappelle les étapes importantes de la définition du projet E-LOTOS.

E-LOTOS a inspiré des langages descendants[6], parmi lesquels LOTOS NT[7] et LNT[8].

Voir aussi

Références

  1. ↑ ISO/IEC international standard 15437:2001. Information technology - Enhancements to LOTOS (E-LOTOS). Geneva, September 2001.
  2. ↑ Ed Brinksma. On the Design of Extended LOTOS - A Specification Language for Open Distributed Systems, PhD thesis, University of Twente, Nov. 1988.
  3. ↑ ISO/IEC JTC1/N2802, Proposal for a New Work Item on "Enhancements to LOTOS. December 16, 1993. Available from ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-93.txt
  4. ↑ Juan Quemada. E-LOTOS has born, February 18, 1997. Available from ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt
  5. ↑ Juan Quemada. Description of the E-LOTOS New Work Item. June 16, 1998. Available from ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-98.txt
  6. ↑ Hubert Garavel, Frédéric Lang, and Wendelin Serwe, From LOTOS to LNT. In Joost-Pieter Katoen, Rom Langerak, and Arend Rensink, editors, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol. 10500 of Lecture Notes in Computer Science, pages 3-26, Springer International Publishing, October 2017, doi 10.1007/978-3-319-68270-9_1
  7. ↑ Mihaela Sighireanu (with updates by Alban Catry, David Champelovier, Hubert Garavel, Frédéric Lang, Guillaume Schaeffer, Wendelin Serwe, and Jan Stöcker). LOTOS NT User's Manual (Version 2.7). Technical Report INRIA Rhône-Alpes/VASY, November 2012, 107 pages. Available from 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, and Gideon Smeding. Reference Manual of the LNT to LOTOS Translator. Technical Report INRIA Rhône-Alpes/CONVECS, 2015, 125 pages. Available from http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html

Liens Externes

Sources
Kembali kehalaman sebelumnya