E-LOTOS (Enhanced LOTOS) est un langage de spécification formel conçu entre 1993 et 1999, et standardisé par l'ISO en 2001ISO/IEC international standard 15437:2001. Information technology - Enhancements to LOTOS (E-LOTOS). Geneva, September 2001..
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 BrinksmaEd Brinksma. On the Design of Extended LOTOS - A Specification Language for Open Distributed Systems, PhD thesis, University of Twente, Nov. 1988., 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 annonceISO/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.
En 1997, lorsque la définition du langage atteint le niveau de maturité d'un projet de comité ISO, l'annonce suivanteJuan Quemada. E-LOTOS has born, February 18, 1997. Available from ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/announce-97.txt fut publiée, décrivant les caractéristiques principales d'E-LOTOS.
Le document suivantJuan 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 rappelle les étapes importantes de la définition du projet E-LOTOS.
E-LOTOS a inspiré des langages descendantsHubert 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, , parmi lesquels LOTOS NTMihaela 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 et LNTDavid 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.
Références
Voir aussi Articles connexes Méthode formelle (informatique) LOTOS
Liens externes French-Romanian contributions to E-LOTOS
Catégorie:Méthode formelle Catégorie:Synchronisation