SIS SS-ISO 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 de observación

Estándar No.

SIS SS-ISO 8807:1989

Fecha de publicación

1989

Organización

SE-SIS

Ultima versión

SIS SS-ISO 8807:1989

Alcance

Esta Norma Internacional define la sintaxis y semántica de la Técnica de Descripción Formal LOTOS. LOTOS se utiliza en general para la descripción formal de sistemas de procesamiento de información concurrentes y distribuidos. En particular, 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) descritas 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.

SIS SS-ISO 8807:1989 Historia

• 1989 SIS SS-ISO 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 de observación

estándares y especificaciones