ITU-T Recommendations

Esta enmienda a la Rec. X.722 del CCITT | ISO/CEI 10165-4 contiene un ejemplo ilustrativo que muestra la mejor práctica actual en la utilización del lenguaje de descripción formal Z para especificar el comportamiento de objetos gestionados (MO, managed object). Tiene por objeto establecer una base y un entendimiento comunes para este planteamiento formal que ayudará a lograr coherencia en desarrollos similares. Proporciona un punto de partida útil para usuarios GDMO que deseen utilizar Z para mejorar sus especificaciones de comportamiento.Las especificaciones formales del comportamiento de los objetos gestionados resultan valiosas ya que son claras y sin ambigüedades. El hecho de producir una especificación formal obliga a analizar detenidamente los detalles del comportamiento. Por lo tanto, también puede utilizarse como herramienta para identificar y corregir ambigüedades en una especificación que se mantendrá fundamentalmente en lenguaje natural.Esta enmienda constituye una guía técnica sobre la utilización del lenguaje Z para la definición del comportamiento de objetos gestionados que soportan el interfuncionamiento de gestión OSI. Es informativo y no normativo. No requiere la utilización de técnicas de definición formal (FDT, formal definition techniques) para especificar el comportamiento de objetos gestionados. Si deben utilizarse FDT, no se requiere utilizar Z; también son adecuados otros lenguajes tales como el SDL.