CSA ISO/IEC 10746-4:F01 (C2019)

Current Reaffirmation
No title provided by publisher

Best Price Guarantee Sep 29, 2019 French 46 Pages

Modifications (Amendments, Corrigenda, Errata, etc.)

Version PDF Print Bundle
Amendment A Stand-Alone
$147.00

Sub Total (1 Item(s)) $ 0.00
Estimated Shipping $ 0.00
Total (Pre-Tax) $ 0.00
View in Library
or
Canadian Standards Association Logo

No title provided by publisher

PUBLISH DATE 2019
Domaine d'application 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'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: 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 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: 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 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.
Loading...

Failed to load document history.

Publish Date Document Id Type View