CAN/CSA-Z243.102-1990
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.: CAN/CSA-Z243.102-1990
Fecha de publicación: 1990
Organización: Canadian Standards Association (CSA)
Ultima versión: CAN/CSA-Z243.102-1990
Remplazado por: COMMUNICATION, COMMUNICATION PROCEDURES, DATA PROCESSING, DATA TRANSFER, DATATRANSMISSION, DATA TRANSMISSION CONTROL PROCEDURES, INFORMATION EXCHANGE,INFORMATION PROCESSING, OPEN SYSTEMS INTERCONNECTION, SEMANTICS,SPECIFICATIONS, SYNTAX
Reemplazar: 1996-12-30

Alcance: Esta Norma Nacional de Canadá es equivalente a la Norma Internacional ISO 9074-1989. Define la semántica y la sintaxis de la Técnica de Descripción Formal 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.

CAN/CSA-Z243.102-1990 Historia

1990 CAN/CSA-Z243.102-1990 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