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

estándares y especificaciones