CSA Group Technologies de l'information - Traitement réparti ouvert - Modèle de référence: Sémantique architecturale (norme ISO/CEI 10746-4:1998 adoptée, première édition, 1998-12-15)

Préface 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, open distributed processing). 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, reference model of open distributed processing) (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'uti lisation 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: Vue d'ensemble: 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: Fondements: 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: Architecture: elle contient la spécification des caractéristiques requises pour qu'un sys tè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: Sémantique architecturale: 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 descrip tions 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.