Directrices para la utilización de Z en la formalización del comportamiento de objetos gestionados |
![](images/pdf.png) |
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. |
|
Citation: |
https://handle.itu.int/11.1002/1000/4135 |
Series title: |
X series: Data networks, open system communications and security X.700-X.799: OSI management X.720-X.729: Structure of management information |
Approval date: |
1997-08-09 |
Identical standard: | ISO/IEC 10165-4:1992/Amd3:1998 (Common) |
Approval process: | TAP |
Status: |
In force |
Maintenance responsibility: |
ITU-T Study Group 2 |
Further details: |
Patent statement(s)
|
|
|
Title |
Approved on |
Download |
Guidelines for identity-based cryptosystems used for cross-domain secure communications
|
2023
|
here
|
Overview of hybrid approaches for key exchange with quantum key distribution
|
2022
|
here
|
Guidelines for security management of using artificial intelligence technology
|
2022
|
here
|
Successful use of security standards (2nd edition)
|
2020
|
here
|
Description of the incubation mechanism and ways to improve it
|
2020
|
here
|
Strategic approaches to the transformation of security studies
|
2020
|
here
|
|