ITU-T Recommendation database

Search by number:

Others:

Study Groups tree view

ITU-T X.904 (1997) Amd. 1 (03/2000)

Formalización computacional

La enmienda 1 a la Rec. UIT-T X.904 | ISO/CEI 10746-4 refina y amplía la semántica arquitectural del procesamiento distribuido abierto (ODP) con una formulación del lenguaje computacional del modelo de referencia para ODP (RM-ODP). El lenguaje computacional del RM-ODP proporciona una descripción de sistemas ODP como colecciones de objetos que interactúan. Esta enmienda formaliza los conceptos y reglas del lenguaje computacional ODP utilizando diferentes técnicas de descripción formal (LOTOS, SDL, Z y Estelle).

Citation:	https://handle.itu.int/11.1002/1000/4708
Series title:	X series: Data networks, open system communications and security X.900-X.999: Open distributed processing
Approval date:	2000-03-31
Identical standard:	ISO/IEC 10746-4:1998/Amd1:2001 (Common)
Approval process:	TAP
Status:	In force
Maintenance responsibility:	ITU-T Study Group 17
Further details:	Patent statement(s)

Ed.	ITU-T Recommendation	Status	Summary	Table of Contents	Download
1.1	X.904 (1997) Amd. 1 (03/2000)	In force	here	here	here
1	X.904 (12/1997)	In force	here	here	here

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

Connecting the world and beyond

ITU-T Recommendations

ITU-T X.904 (1997) Amd. 1 (03/2000)