En informática, Language Of Temporal Ordering Specification ( LOTOS ) es un lenguaje de especificación formal basado en el orden 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 el estándar se completó en 1988 y se publicó como ISO 8807 en 1989. Entre 1993 y 2001, un comité de ISO trabajó para definir una versión revisada del estándar LOTOS, que se publicó en 2001 como E-LOTOS .
Ver 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, 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.
enlaces externos
- Entorno mundial para el aprendizaje LOTOS (WELL)
- Tutoriales para LOTOS (ver sección 3)
- LOTOS en el RKBExplorer
Este artículo se basa en material extraído del Diccionario gratuito de informática en línea antes del 1 de noviembre de 2008 e incorporado bajo los términos de "renovación de licencias" de la GFDL , versión 1.3 o posterior.