E-LOTOS
De Wikipedia, l'encyclopédie encyclopedia
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].