ITU-T Recommendation database

Search by number:

Others:

Study Groups tree view

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

Computational formalization

Amendment 1 to ITU-T Rec. X.904 | ISO/IEC 10746-4 refines and extends the ODP architectural semantics with a formalization of the computational language of the Reference Model for ODP. The computational language of the RM-ODP provides for a description of ODP systems as collections of interacting objects. This Amendment formalizes the concepts and rules of the ODP computational language using different formal description techniques (LOTOS, SDL, Z and 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)