Numéro de référence
ISO/IEC 10746-4:1998
Norme internationale
ISO/IEC 10746-4:1998
Technologies de l'information — Traitement réparti ouvert — Modèle de référence: Sémantique architecturale — Partie 4:
Edition 1
1998-12
Prévisualiser
ISO/IEC 10746-4:1998
20698
Publiée (Edition 1, 1998)
Cette publication a été révisée et confirmée pour la dernière fois en 2017. Cette édition reste donc d’actualité.
Cette norme comprend 1 amendement.

ISO/IEC 10746-4:1998

ISO/IEC 10746-4:1998
20698
Langue
Format
CHF 151
Convertir les francs suisses (CHF) dans une autre devise
La version électronique de cette Norme internationale peut être téléchargée à partir du site Web du Groupe de travail ISO/CEI sur les technologies de l'information (ITTF)

Résumé

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.

Informations générales

  •  : Publiée
     : 1998-12
    : Norme internationale confirmée [90.93]
  •  : 1
     : 33
  • ISO/IEC JTC 1/SC 7
    35.080 
  • RSS mises à jour

 Amendements

Des amendements sont publiés lorsqu’il s’avère que de nouveaux éléments doivent être ajoutés à un document normatif existant. Ils peuvent également inclure des corrections d’ordre rédactionnel ou technique à appliquer au document en vigueur.

Amendement 1

Formalisation de traitement

Edition 2001

ISO/IEC 10746-4:1998/Amd 1:2001
32328
Langue
Format
CHF 151
Convertir les francs suisses (CHF) dans une autre devise

Cycle de vie

Vous avez une question?

Consulter notre Aide et assistance