1、UNIN INTERNACIONAL DE TELECOMUNICACIONESUIT-TX.722SECTOR DE NORMALIZACINDE LAS TELECOMUNICACIONESDE LA UITEnmienda 3(08/97)SERIE X: REDES DE DATOS Y COMUNICACINENTRE SISTEMAS ABIERTOSGestin de interconexin de sistemas abiertos Estructura de la informacin de gestinTecnologa de la informacin Intercone
2、xin desistemas abiertos Estructura de la informacin degestin: Directrices para la definicin de objetosgestionadosEnmienda 3: Directrices para la utilizacin de Zen la formalizacin del comportamiento deobjetos gestionadosRecomendacin UIT-T X.722 Enmienda 3(Anteriormente Recomendacin del CCITT)RECOMEND
3、ACIONES DE LA SERIE X DEL UIT-TREDES DE DATOS Y COMUNICACIN ENTRE SISTEMAS ABIERTOSPara ms informacin, vase la Lista de Recomendaciones del UIT-T.REDES PBLICAS DE DATOSServicios y facilidades X.1X.19Interfaces X.20X.49Transmisin, sealizacin y conmutacin X.50X.89Aspectos de redes X.90X.149Mantenimien
4、to X.150X.179Disposiciones administrativas X.180X.199INTERCONEXIN DE SISTEMAS ABIERTOSModelo y notacin X.200X.209Definiciones de los servicios X.210X.219Especificaciones de los protocolos en modo conexin X.220X.229Especificaciones de los protocolos en modo sin conexin X.230X.239Formularios para decl
5、araciones de conformidad de implementacin de protocolo X.240X.259Identificacin de protocolos X.260X.269Protocolos de seguridad X.270X.279Objetos gestionados de capa X.280X.289Pruebas de conformidad X.290X.299INTERFUNCIONAMIENTO ENTRE REDESGeneralidades X.300X.349Sistemas de transmisin de datos por s
6、atlite X.350X.399SISTEMAS DE TRATAMIENTO DE MENSAJES X.400X.499DIRECTORIO X.500X.599GESTIN DE REDES DE INTERCONEXIN DE SISTEMAS ABIERTOS Y ASPECTOSDE SISTEMASGestin de redes X.600X.629Eficacia X.630X.639Calidad de servicio X.640X.649Denominacin, direccionamiento y registro X.650X.679Notacin de sinta
7、xis abstracta uno X.680X.699GESTIN DE INTERCONEXIN DE SISTEMAS ABIERTOSMarco y arquitectura de la gestin de sistemas X.700X.709Servicio y protocolo de comunicacin de gestin X.710X.719Estructura de la informacin de gestin X.720X.729Funciones de gestin y funciones de arquitectura de gestin distribuida
8、 abierta X.730X.799SEGURIDAD X.800X.849APLICACIONES DE INTERCONEXIN DE SISTEMAS ABIERTOSCometimiento, concurrencia y recuperacin X.850X.859Procesamiento de transacciones X.860X.879Operaciones a distancia X.880X.899PROCESAMIENTO DISTRIBUIDO ABIERTO X.900X.999Rec. UIT-T X.722 (1992)/enm.3 (1997 S) iNO
9、RMA INTERNACIONAL 10165-4RECOMENDACIN UIT-T X.722TECNOLOGA DE LA INFORMACIN INTERCONEXIN DESISTEMAS ABIERTOS ESTRUCTURA DE LA INFORMACINDE GESTIN: DIRECTRICES PARA LA DEFINICINDE OBJETOS GESTIONADOSENMIENDA 3Directrices para la utilizacin de Z en la formalizacin delcomportamiento de objetos gestiona
10、dosResumenEsta enmienda a la Rec. X.722 del CCITT | ISO/CEI 10165-4 contiene un ejemplo ilustrativo que muestra la mejorprctica actual en la utilizacin del lenguaje de descripcin formal Z para especificar el comportamiento de objetosgestionados (MO, managed object). Tiene por objeto establecer una b
11、ase y un entendimiento comunes para esteplanteamiento formal que ayudar a lograr coherencia en desarrollos similares. Proporciona un punto de partida til parausuarios GDMO que deseen utilizar Z para mejorar sus especificaciones de comportamiento.Las especificaciones formales del comportamiento de lo
12、s objetos gestionados resultan valiosas ya que son claras y sinambigedades. El hecho de producir una especificacin formal obliga a analizar detenidamente los detalles delcomportamiento. Por lo tanto, tambin puede utilizarse como herramienta para identificar y corregir ambigedades en unaespecificacin
13、 que se mantendr fundamentalmente en lenguaje natural.Esta enmienda constituye una gua tcnica sobre la utilizacin del lenguaje Z para la definicin del comportamiento deobjetos gestionados que soportan el interfuncionamiento de gestin OSI. Es informativo y no normativo. No requiere lautilizacin de tc
14、nicas de definicin formal (FDT, formal definition techniques) para especificar el comportamiento deobjetos gestionados. Si deben utilizarse FDT, no se requiere utilizar Z; tambin son adecuados otros lenguajes tales comoel SDL.OrgenesEl texto de la Recomendacin UIT-T X.722, enmienda 3, se aprob el 9
15、de agosto de 1997. Su texto se publica tambin,en forma idntica, como Norma Internacional ISO/CEI 10165-4.ii Rec. UIT-T X.722 (1992)/enm.3 (1997 S)PREFACIOLa UIT (Unin Internacional de Telecomunicaciones) es el organismo especializado de las Naciones Unidas en el campode las telecomunicaciones. El UI
16、T-T (Sector de Normalizacin de las Telecomunicaciones de la UIT) es un rganopermanente de la UIT. Este rgano estudia los aspectos tcnicos, de explotacin y tarifarios y publica Recomendacionessobre los mismos, con miras a la normalizacin de las telecomunicaciones en el plano mundial.La Conferencia Mu
17、ndial de Normalizacin de las Telecomunicaciones (CMNT), que se celebra cada cuatro aos,establece los temas que han de estudiar las Comisiones de Estudio del UIT-T, que a su vez producen Recomendacionessobre dichos temas.La aprobacin de Recomendaciones por los Miembros del UIT-T es el objeto del proc
18、edimiento establecido en laResolucin N. 1 de la CMNT.En ciertos sectores de la tecnologa de la informacin que corresponden a la esfera de competencia del UIT-T, sepreparan las normas necesarias en colaboracin con la ISO y la CEI.NOTAEn esta Recomendacin, la expresin “Administracin“ se utiliza para d
19、esignar, en forma abreviada, tanto unaadministracin de telecomunicaciones como una empresa de explotacin reconocida de telecomunicaciones.PROPIEDAD INTELECTUALLa UIT seala a la atencin la posibilidad de que la utilizacin o aplicacin de la presente Recomendacin suponga elempleo de un derecho de propi
20、edad intelectual reivindicado. La UIT no adopta ninguna posicin en cuanto a lademostracin, validez o aplicabilidad de los derechos de propiedad intelectual reivindicados, ya sea por los miembros dela UIT o por terceros ajenos al proceso de elaboracin de Recomendaciones.En la fecha de aprobacin de la
21、 presente Recomendacin, la UIT no ha recibido notificacin de propiedad intelectual,protegida por patente, que puede ser necesaria para aplicar esta Recomendacin. Sin embargo, debe sealarse a losusuarios que puede que esta informacin no se encuentre totalmente actualizada al respecto, por lo que se l
22、es instaencarecidamente a consultar la base de datos sobre patentes de la TSB. UIT 1998Es propiedad. Ninguna parte de esta publicacin puede reproducirse o utilizarse, de ninguna forma o por ningn medio,sea ste electrnico o mecnico, de fotocopia o de microfilm, sin previa autorizacin escrita por part
23、e de la UIT.Rec. UIT-T X.722 (1992)/enm.3 (1997 S) iiiNDICEPgina1) ndice 12) Subclusula 2.1 . 13) Nueva subclusula 2.3. 14) Nuevo anexo B 1Anexo B Directrices para la utilizacin de Z para la formalizacin del comportamiento de objetosgestionados 2ISO/CEI 10165-4 : 1992/enm.3 : 1998 (S)Rec. UIT-T X.72
24、2 (1992)/enm.3 (1997 S) 1NORMA INTERNACIONALISO/CEI 10165-4 : 1992/enm.3 : 1998 (S)Rec. UIT-T X.722 (1992)/enm.3 (1997 S)RECOMENDACIN UIT-TTECNOLOGA DE LA INFORMACIN INTERCONEXIN DESISTEMAS ABIERTOS ESTRUCTURA DE LA INFORMACINDE GESTIN: DIRECTRICES PARA LA DEFINICINDE OBJETOS GESTIONADOSENMIENDA 3Di
25、rectrices para la utilizacin de Z en la formalizacin delcomportamiento de objetos gestionados1) ndiceAdase la siguiente referencia al ndice:Anexo B Directrices para la utilizacin de Z en la formalizacin del comportamiento de objetos gestionados2) Subclusula 2.1Adase la siguiente referencia a 2.1: Re
26、comendacin X.731 del CCITT (1992) | ISO/CEI 10164-2:1992, Tecnologa de la informacin Interconexin de sistemas abiertos Gestin de sistemas: Funcin de gestin de estados.3) Nueva subclusula 2.3Adase la nueva subclusula como sigue:2.3 Referencias adicionales ISO/CEI 13568:1), Information technology Z sp
27、ecification language .1)Actualmente en estado de proyecto.4) Nuevo anexo BAdase el nuevo anexo B siguiente:ISO/CEI 10165-4 : 1992/enm.3 : 1998 (S)2 Rec. UIT-T X.722 (1992)/enm.3 (1997 S)Anexo BDirectrices para la utilizacin de Z para la formalizacin delcomportamiento de objetos gestionados(Este anex
28、o no es parte integrante de la presente Recomendacin | Norma Internacional)B.1 IntroduccinEste anexo constituye una gua tcnica sobre la utilizacin del lenguaje Z para la definicin del comportamiento deobjetos gestionados que soportan el interfuncionamiento de gestin OSI. Es informativo y no normativ
29、o. No requiere lautilizacin de tcnicas de definicin formal (FDT, formal definition techniques) para especificar el comportamiento deMO. Si deben utilizarse FDT, no se requiere utilizar Z; tambin son adecuados otros lenguajes como SDL. Incluso si hade utilizarse Z, son posibles otras maneras de espec
30、ificar el comportamiento de MO.Pueden resultar directamente vlidas especificaciones formales del comportamiento de MO debido a que son claras y sinambigedades. El hecho de producir una especificacin formal obliga a analizar detenidamente los detalles delcomportamiento. Por lo tanto, tambin se puede
31、utilizar como herramienta para identificar y corregir ambigedades quepudieran pasar desapercibidas en una especificacin basada exclusivamente en lenguaje natural. Por estas razones, unaespecificacin formal puede ser til para mejorar la especificacin de comportamiento.El anexo incluye un ejemplo ilus
32、trativo que muestra la mejor prctica actual. Tiene como objeto establecer una base y unentendimiento comunes de este planteamiento formal en particular que ayudar a lograr coherencia en desarrollossimilares. Proporciona un punto de partida til para usuarios GDMO que deseen utilizar Z para mejorar su
33、sespecificaciones de comportamiento.Est destinado a una audiencia familiarizada con los conceptos bsicos de la especificacin de objeto gestionado queutilizan plantillas GDMO y con el lenguaje Z.Para el resto de este anexo, los trminos objeto gestionado y MO se utilizarn para hacer referencia a una d
34、efinicinde clase de objeto gestionado dada que utiliza plantillas GDMO.B.2 Temas lingsticosLa notacin Z es una notacin de especificacin formal basada en teora de conjuntos y en clculos de predicado. Tienesuficiente capacidad expresiva para poder describir clases nicas de objetos gestionados.Sin emba
35、rgo, no existe nocin de encapsulamiento en Z. Una especificacin Z est constituida normalmente por unmodelo de algn estado y por una coleccin de operaciones para modificar el estado. No existe mtodo construido en Zque parcele el estado y sus operaciones en un nico mdulo y que lo vuelva a utilizar en
36、otra especificacin. Laconsecuencia de esto es aparente cuando se precisa describir objetos gestionados que heredan variables ycomportamiento de otras definiciones de clase de objeto gestionado.El efecto de herencia puede lograrse mediante tcnicas de inclusin de esquemas a expensas de algo de clarida
37、d. Entodos los dems respectos, Z es adecuado para expresar clases nicas de objetos gestionados.B.3 Qu es preciso traducirLas definiciones de comportamiento, o alguna de sus partes, se deben traducir a partir de la descripcin informal a Z.Hasta dnde deben formalizarse las partes restantes de las plan
38、tillas GDMO depende en gran medida de las necesidadesdel especificador.Las plantillas GDMO ya incluyen una definicin semiformal de tipos de datos en ASN.1. Es posible escribir unaespecificacin Z utilizando estas definiciones ASN.1 como base para tipos utilizados en la especificacin Z, lo que ahorrau
39、na cantidad significativa de trabajo.Sin embargo, escribir una especificacin de esta manera supone una tarea mayor para que el especificador est seguro deque es sintcticamente correcta. Sin especificaciones Z de las definiciones ASN.1, es imposible utilizar los tiles Zexistentes que proporcionan sop
40、orte para la comprobacin de las sintaxis y la semntica esttica de una especificacin Z.En resumen, es posible mejorar las definiciones de comportamiento utilizando Z sin volver a escribir los tipos de datosASN.1, pero se puede obtener un beneficio significativo mediante una traduccin completa de los
41、tipos de datos ASN.1en Z. En B.7.1 se dan ejemplos de cmo convertir tipos bsicos ASN.1 en Z.ISO/CEI 10165-4 : 1992/enm.3 : 1998 (S)Rec. UIT-T X.722 (1992)/enm.3 (1997 S) 3B.3.1 Desde plantillas GDMO a ZEsta subclusula incluye directrices generales de cmo proceder para traducir un objeto gestionado a
42、 partir de sudescripcin informal como la de esta Recomendacin | Norma Internacional a Z. Hay que destacar desde el principio queeste tipo de traduccin slo puede llevarse a cabo informalmente puesto que una traduccin formal requerira, comomnimo, que tanto el lenguaje fuente como el de destino fueran
43、formales.Es ms, como con cualquier correspondencia entre dos lenguajes distintos, siempre habr algn desajuste entre susconstructivos. El problema se multiplica cuando ocurre que uno de los lenguajes es informal o incluye componentesinformales.En esta subclusula se enumeran algunas de las caractersti
44、cas principales de las plantillas definidas en la presenteRecomendacin | Norma Internacional junto con las maneras en las que difieren de o se corresponden con constructivosen Z. En el proceso, se indican maneras generales para resolver el desajuste o consejos de cmo pueden tratarseindividualmente s
45、obre una base adecuada.El presente anexo se centrar en lo que es necesario para describir el comportamiento de un objeto gestionado. En B.6 seproporciona informacin adicional de cmo convertir tipos ASN.1.B.3.2 Tipos de datosEl primer paso consiste en volver a escribir los tipos de datos a partir de
46、esta Recomendacin | Norma Internacional comotipos Z. ASN.1 proporciona las facilidades usuales para escribir datos pero sus constructivos son ms adecuados para ladescripcin de flujos de datos que se comunican entre sistemas.En ASN.1, los constructivos de tipo se definen como formas de lista. En Z, l
47、os tipos son conjuntos. Aunque es posiblemodelar los constructivos de tipo ASN.1 como secuencias en Z, resulta algunas veces ms natural considerar lasoperaciones disponibles en los tipos ASN.1 y hacer la correspondencia con tipos Z que describen con mayor claridad suestructura. Se pueden hacer corre
48、sponder los tipos sequence y set ASN.1 con tuplas Z. El tipo sequence-of ASN.1 sepuede hacer corresponder con una secuencia Z. El tipo set-of ASN.1 se puede hacer corresponder con un conjunto Z.ASN.1 incluye soporte especial para la codificacin, por ejemplo etiquetas de tipo y valores por defecto. Esto no esnecesario que se represente en Z ya que no afecta a la definicin de comportamiento.La subclusula B.6.2 da informacin adicional sobre cmo convertir tipos ASN.1.B.3.3 Atributos de MOLos objetos gestionados se definen para que tengan ciertos atributos de gestin. Estos a
