La croissance rapide des applications réparties a fait naître le besoin d'un cadre pour coordonner la normalisation du

traitement réparti ouvert (ODP, RSHQ_GLVWULEXWHG_SURFHVVLQJ). Le modèle de référence du traitement réparti ouvert fournit

ce cadre. Il établit une architecture qui permet d'intégrer la répartition, l'interfonctionnement, l'interopérabilité et la

portabilité.

Le modèle de référence de base du traitement réparti ouvert (RM-ODP, UHIHUHQFH_PRGHO_RI_RSHQ_GLVWULEXWHG_SURFHVVLQJ)

(voir les Rec. UIT-T X.901 à X.904 | ISO/CEI 10746) repose sur des concepts précis issus des développements récents

dans le domaine du traitement réparti et s'appuie, dans la mesure du possible, sur l'utilisation des techniques de

description formelle pour la spécification de l'architecture.

Le modèle RM-ODP se compose:

? de la Rec. UIT-T X.901 | ISO/CEI 10746-1: 9XH_GHQVHPEOH_ elle contient un aperçu général du modèle

RM-ODP, en précise les motivations, le champ d'application et la justification, et propose une explication

des concepts clés, ainsi qu'une présentation de l'architecture des systèmes ODP. Ce texte n'est pas

normatif;

? de la Rec. UIT-T X.902 | ISO/CEI 10746-2: )RQGHPHQWV_ elle contient la définition des concepts ainsi

que le cadre analytique et la notation à utiliser pour la description normalisée de systèmes de traitement

réparti (arbitraires). Elle s'en tient à un niveau de détail suffisant pour étayer la Rec. UIT-T X.903 |

ISO/CEI 10746-3 et pour établir les prescriptions applicables à de nouvelles techniques de spécification.

Ce texte est normatif;

? de la Rec. UIT-T X.903 | ISO/CEI 10746-3: $UFKLWHFWXUH_ elle contient la spécification des

caractéristiques requises pour qu'un système de traitement réparti puisse être qualifié d'ouvert. Il s'agit des

contraintes que les normes ODP doivent respecter. Ce texte, qui utilise les techniques descriptives de la

Rec. UIT-T X.902 | ISO/CEI 10746-2. Ce texte est normatif;

? de la Rec. UIT-T X.904 | ISO/CEI 10746-4: 6pPDQWLTXH_DUFKLWHFWXUDOH_ elle contient une formalisation

des concepts de modélisation ODP définis dans les articles 8 et 9 de la Rec. UIT-T X.902 |

ISO/CEI 10746-2 et une formalisation des langages de point de vue définis dans la Rec. UIT-T X.903 |

ISO/CEI 10746-3. La formalisation est obtenue par l'interprétation de chaque concept en fonction des

constructions des différentes techniques de description formelle normalisées. Ce texte est normatif.

La présente Recommandation | Norme internationale a pour objet de fournir une sémantique architecturale pour les

systèmes ODP, ce qui se traduit par une interprétation des concepts de modélisation de base et de spécification définis

dans la Rec. UIT-T X.902 | ISO/CEI 10746-2 et des langages de point de vue définis dans la Rec. UIT-T X.903 |

ISO/CEI 10746-3; elle utilise les diverses caractéristiques de différents langages de spécification formelle. Une

sémantique architecturale est élaborée pour quatre différents langages de spécification formelle: LOTOS, ESTELLE,

SDL et Z, ce qui conduit à une formalisation de l'architecture des systèmes ODP. Un processus d'élaboration itérative et

de retour a permis d'améliorer la cohérence des Rec. UIT-T X.902 | ISO/CEI 10746-2 et UIT-T X.903 |

ISO/CEI 10746-3.

La mise au point d'une sémantique architecturale présente les avantages supplémentaires suivants:

? favoriser l'élaboration harmonieuse et uniforme des descriptions formelles de systèmes ODP;

? permettre une comparaison uniforme et cohérente des descriptions formelles de la même norme dans

différents langages de spécification formelle.

La présente Recommandation | Norme internationale contient une interprétation, non pas de tous les concepts définis

dans la Rec. UIT-T X.902 | ISO/CEI 10746-2, mais uniquement des concepts les plus fondamentaux. Pour les concepts

architecturaux de niveau supérieur, une sémantique est fournie indirectement par la définition de ces concepts en

fonction des concepts ODP fondamentaux.

Des exemples d'utilisation de certains des langages de spécification formelle dont il est question dans la présente

Spécification sont donnés dans TR 10167 (Principes directeurs pour l'application d'ESTELLE, LOTOS et SDL).

Dans les articles suivants, la numérotation des paragraphes relatifs aux concepts est conforme à la numérotation utilisée

dans la Rec. UIT-T X.902 | ISO/CEI 10746-2.

La présente Recommandation | Norme internationale, qui contient la définition d'une sémantique architecturale pour les

systèmes ODP, permet:

? de fournir une formalisation des concepts de modélisation ODP;

? de favoriser une élaboration harmonieuse et uniforme des descriptions formelles des normes applicables

aux systèmes répartis;

? de relier les concepts de modélisation ODP et les modèles sémantiques des langages de spécification

LOTOS, SDL, ESTELLE et Z;

? de constituer une base pour une comparaison uniforme et cohérente des descriptions formelles de la même

norme dans les langages de spécification utilisés pour élaborer une sémantique architecturale.

Ce texte est normatif.