Résumé

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).