Hispanopedia WikiEn informática, el lenguaje de especificación de ordenamiento temporal ( LOTOS ) es un lenguaje de especificación formal basado en el ordenamiento temporal de eventos. LOTOS se utiliza para la especificación de protocolos de comunicaciones en los estándares del modelo de interconexión de sistemas abiertos (OSI) de la Organización Internacional de Normalización (ISO) .
LOTOS es un lenguaje algebraico que consta de dos partes: una parte para la descripción de datos y operaciones, basada en tipos de datos abstractos , y una parte para la descripción de procesos concurrentes, basada en el cálculo de procesos .
El trabajo sobre la norma se completó en 1988 y se publicó como ISO 8807 en 1989. Entre 1993 y 2001, un comité ISO trabajó para definir una versión revisada de la norma LOTOS, que se publicó en 2001 como E-LOTOS .
Véase también
Referencias
- Norma internacional ISO/IEC 8807:1989. Sistemas de procesamiento de información - Interconexión de sistemas abiertos - LOTOS: una técnica de descripción formal basada en el ordenamiento temporal del comportamiento observacional . Ginebra, septiembre de 1989.
- La técnica de descripción formal LOTOS , PHJ van Eijk et al. , editores, Holanda Septentrional, 1989.
- LOTOSphere: Desarrollo de software con LOTOS , Tommaso Bolognesi, Jeroen van de Lagemaat y Chris Vissers, editores, Kluwer Academic Publishers, 1995.
- 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.
Enlaces externos
- Entorno mundial para el aprendizaje LOTOS (WELL)
- Tutoriales para LOTOS (ver sección 3)
- LOTOS en el RKBExplorer