| Formalisation de traitement |
 |
L'Amendement 1 de la Rec. UIT-T X.904 | ISO/CEI 10746-4 précise et étend la sémantique architecturale du traitement réparti ouvert (ODP, open distributed processing) en y ajoutant une formalisation de traitement dans le modèle de référence du traitement réparti ouvert (RM-ODP, reference model for open distributed processing). Le langage de traitement du modèle RM-ODP permet de décrire les systèmes ODP comme des ensembles d'objets en interaction. Dans le présent amendement, les concepts et les règles du langage de traitement ODP sont définis selon différentes techniques de description formelle (LOTOS, SDL, Z et 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)
|
|
|
| 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
|
|