SIS SS-ISO 9074:1989
Sistemas de procesamiento de información - Interconexión de sistemas abiertos - Estelle - Una técnica de descripción formal basada en un modelo de transición de estado extendido

Estándar No.

SIS SS-ISO 9074:1989

Fecha de publicación

1989

Organización

SE-SIS

Ultima versión

SIS SS-ISO 9074:1989

Alcance

Esta norma internacional define la semántica y la sintaxis de la técnica de descripción formal de Estelle. Estelle se utiliza en general para la descripción formal de sistemas de procesamiento de información concurrentes y distribuidos. En particular, Estelle se puede utilizar formalmente para describir las definiciones de servicios y especificaciones de protocolo de las capas de interconexión de sistemas abiertos descritas en ISO 7498. Esta norma internacional no define métodos para la verificación de especificaciones escritas en Estelle.

SIS SS-ISO 9074:1989 Historia

• 1989 SIS SS-ISO 9074:1989 Sistemas de procesamiento de información - Interconexión de sistemas abiertos - Estelle - Una técnica de descripción formal basada en un modelo de transición de estado extendido

estándares y especificaciones