ISO 8807:1989
Sistemas de procesamiento de información; Sistemas abiertos de interconexión; LOTO; una técnica de descripción formal basada en el ordenamiento temporal de la conducta observacional
- Estándar No.
- ISO 8807:1989
- Fecha de publicación
- 1989
- Organización
- International Organization for Standardization (ISO)
- Ultima versión
- ISO 8807:1989
- Alcance
- Define la sintaxis y la semántica de la técnica de descripción formal LOTOS utilizada para la descripción formal de sistemas de procesamiento de información concurrentes y distribuidos. LOTOS se puede utilizar para describir formalmente las definiciones de servicios y especificaciones de protocolo de las capas de la arquitectura de Interconexión de Sistemas Abiertos (OSI) descrita en ISO 7498 y estándares relacionados, y pruebas de conformidad para implementaciones de protocolos OSI y/o funciones OSI. También se puede aplicar a la descripción formal de otros sistemas distribuidos, como las redes de conmutación telefónica. Referencias: ISO 7498; Recomendación CCITT Z.100, SDL.
ISO 8807:1989 Historia
- 1989 ISO 8807:1989 Sistemas de procesamiento de información; Sistemas abiertos de interconexión; LOTO; una técnica de descripción formal basada en el ordenamiento temporal de la conducta observacional
