1、 UNION INTERNATIONALE DES TLCOMMUNICATIONS UIT-T X.904 SECTEUR DE LA NORMALISATION DES TLCOMMUNICATIONS DE LUIT (12/97) SRIE X: RSEAUX DE DONNES ET COMMUNICATION ENTRE SYSTMES OUVERTS Traitement rparti ouvert Technologies de linformation Traitement rparti ouvert Modle de rfrence: smantique architect
2、urale Recommandation UIT-T X.904 (Antrieurement Recommandation du CCITT) RECOMMANDATIONS UIT-T DE LA SRIE X RSEAUX DE DONNES ET COMMUNICATION ENTRE SYSTMES OUVERTS Pour plus de dtails, voir la Liste des Recommandations de lUIT-T. RSEAUX PUBLICS DE DONNES Services et fonctionnalits X.1X.19 Interfaces
3、 X.20X.49 Transmission, signalisation et commutation X.50X.89 Aspects rseau X.90X.149 Maintenance X.150X.179 Dispositions administratives X.180X.199 INTERCONNEXION DES SYSTMES OUVERTS Modle et notation X.200X.209 Dfinitions des services X.210X.219 Spcifications des protocoles en mode connexion X.220
4、X.229 Spcifications des protocoles en mode sans connexion X.230X.239 Formulaires PICS X.240X.259 Identification des protocoles X.260X.269 Protocoles de scurit X.270X.279 Objets grs de couche X.280X.289 Tests de conformit X.290X.299 INTERFONCTIONNEMENT DES RSEAUX Gnralits X.300X.349 Systmes de transm
5、ission de donnes par satellite X.350X.399 SYSTMES DE MESSAGERIE X.400X.499 ANNUAIRE X.500X.599 RSEAUTAGE OSI ET ASPECTS SYSTMES Rseautage X.600X.629 Efficacit X.630X.639 Qualit de service X.640X.649 Dnomination, adressage et enregistrement X.650X.679 Notation de syntaxe abstraite numro un (ASN.1) X.
6、680X.699 GESTION OSI Cadre gnral et architecture de la gestion-systmes X.700X.709 Service et protocole de communication de gestion X.710X.719 Structure de linformation de gestion X.720X.729 Fonctions de gestion et fonctions ODMA X.730X.799 SCURIT X.800X.849 APPLICATIONS OSI Engagement, concomitance
7、et rtablissement X.850X.859 Traitement transactionnel X.860X.879 Oprations distantes X.880X.899 TRAITEMENT RPARTI OUVERT X.900X.999 Rec. UIT-T X.904 (1997 F) i NORME INTERNATIONALE 10746-4 RECOMMANDATION UIT-T X.904 TECHNOLOGIES DE LINFORMATION TRAITEMENT RPARTI OUVERT MODLE DE RFRENCE: SMANTIQUE AR
8、CHITECTURALE Rsum La prsente Recommandation | Norme internationale fait partie intgrante du modle de rfrence du traitement rparti ouvert (ODP, open distributed processing). Elle contient une formalisation des concepts de modlisation ODP dfinis dans les articles 8 et 9 de la Rec. UIT-T X.902 | ISO/CE
9、I 10746-2. La formalisation est obtenue par linterprtation de chaque concept en fonction des constructions des diffrentes techniques de description formelle normalises. Source La Recommandation X.904 de lUIT-T a t approuve le 12 dcembre 1997. Un texte identique est publi comme Norme internationale I
10、SO/CEI 10746-4. ii Rec. UIT-T X.904 (1997 F) AVANT-PROPOS LUIT (Union internationale des tlcommunications) est une institution spcialise des Nations Unies dans le domaine des tlcommunications. LUIT-T (Secteur de la normalisation des tlcommunications) est un organe permanent de lUIT. Il est charg de
11、ltude des questions techniques, dexploitation et de tarification, et met ce sujet des Recommandations en vue de la normalisation des tlcommunications lchelle mondiale. La Confrence mondiale de normalisation des tlcommunications (CMNT), qui se runit tous les quatre ans, dtermine les thmes dtudes trai
12、ter par les Commissions dtudes de lUIT-T, lesquelles laborent en retour des Recommandations sur ces thmes. Lapprobation des Recommandations par les Membres de lUIT-T seffectue selon la procdure dfinie dans la Rsolution n 1 de la CMNT. Dans certains secteurs des technologies de linformation qui corre
13、spondent la sphre de comptence de lUIT-T, les normes ncessaires se prparent en collaboration avec lISO et la CEI. NOTE Dans la prsente Recommandation, lexpression “Administration“ est utilise pour dsigner de faon abrge aussi bien une administration de tlcommunications quune exploitation reconnue. DR
14、OITS DE PROPRIT INTELLECTUELLE LUIT attire lattention sur la possibilit que lapplication ou la mise en uvre de la prsente Recommandation puisse donner lieu lutilisation dun droit de proprit intellectuelle. LUIT ne prend pas position en ce qui concerne lexistence, la validit ou lapplicabilit des droi
15、ts de proprit intellectuelle, quils soient revendiqus par un Membre de lUIT ou par une tierce partie trangre la procdure dlaboration des Recommandations. A la date dapprobation de la prsente Recommandation, lUIT navait pas t avise de lexistence dune proprit intellectuelle protge par des brevets acqu
16、rir pour mettre en uvre la prsente Recommandation. Toutefois, comme il ne sagit peut-tre pas de renseignements les plus rcents, il est vivement recommand aux responsables de la mise en uvre de consulter la base de donnes des brevets du TSB. Ge3 UIT 1998 Droits de reproduction rservs. Aucune partie d
17、e cette publication ne peut tre reproduite ni utilise sous quelque forme que ce soit et par aucun procd, lectronique ou mcanique, y compris la photocopie et les microfilms, sans laccord crit de lUIT. Rec. UIT-T X.904 (1997 F) iii TABLE DES MATIRES Page 0 Introduction 1 1 Domaine dapplication 2 2 Rfr
18、ences normatives 2 3 Dfinitions 3 3.1 Termes dfinis dans lISO/CEI 8807 . 3 3.2 Termes dfinis dans la Recommandation UIT-T Z.100. 3 3.3 Termes dfinis dans “The Z Base Standard“ . 3 3.4 Termes dfinis dans lISO/CEI 9074 . 3 4 Interprtation des concepts de modlisation . 3 4.1 Smantique architecturale en
19、 LOTOS . 3 4.2 Smantique architecturale en ACT ONE. 10 4.3 Smantique architecturale en SDL-92 . 17 4.4 Smantique architecturale en Z 23 4.5 Smantique architecturale en ESTELLE . 29 iv Rec. UIT-T X.904 (1997 F) Avant-propos La prsente Recommandation | Norme internationale fait partie intgrante du mod
20、le de rfrence du traitement rparti ouvert (ODP, open distributed processing). Elle contient une formalisation des concepts de modlisation ODP dfinis dans les articles 8 et 9 de la Rec. UIT-T X.902 | ISO/CEI 10746-2. La formalisation est obtenue par linterprtation de chaque concept en fonction des co
21、nstructions des diffrentes techniques de description formelle normalises. La prsente Recommandation | Norme internationale est accompagne dun amendement et dun rapport technique. Lamendement sintresse la formalisation du langage du point de vue informatique contenu dans la Rec. UIT-T X.903 | ISO/CEI
22、 10746-3. Le rapport technique associ prsente des exemples sur la manire possible dappliquer des formalismes du modle de rfrence ODP au dveloppement de spcifications. ISO/CEI 10746-4 : 1998 (F) Rec. UIT-T X.904 (1997 F) 1 NORME INTERNATIONALE RECOMMANDATION UIT-T TECHNOLOGIES DE LINFORMATION TRAITEM
23、ENT RPARTI OUVERT MODLE DE RFRENCE: SMANTIQUE ARCHITECTURALE 0 Introduction La croissance rapide des applications rparties a fait natre le besoin dun cadre pour coordonner la normalisation du traitement rparti ouvert (ODP, open distributed processing). Le modle de rfrence du traitement rparti ouvert
24、 fournit ce cadre. Il tablit une architecture qui permet dintgrer la rpartition, linterfonctionnement, linteroprabilit et la portabilit. Le modle de rfrence de base du traitement rparti ouvert (RM-ODP, reference model of open distributed processing) (voir les Rec. UIT-T X.901 X.904 | ISO/CEI 10746)
25、repose sur des concepts prcis issus des dveloppements rcents dans le domaine du traitement rparti et sappuie, dans la mesure du possible, sur lutilisation des techniques de description formelle pour la spcification de larchitecture. Le modle RM-ODP se compose: de la Rec. UIT-T X.901 | ISO/CEI 10746-
26、1: Vue densemble: elle contient un aperu gnral du modle RM-ODP, en prcise les motivations, le champ dapplication et la justification, et propose une explication des concepts cls, ainsi quune prsentation de larchitecture des systmes ODP. Ce texte nest pas normatif; de la Rec. UIT-T X.902 | ISO/CEI 10
27、746-2: Fondements: elle contient la dfinition des concepts ainsi que le cadre analytique et la notation utiliser pour la description normalise de systmes de traitement rparti (arbitraires). Elle sen tient un niveau de dtail suffisant pour tayer la Rec. UIT-T X.903 | ISO/CEI 10746-3 et pour tablir le
28、s prescriptions applicables de nouvelles techniques de spcification. Ce texte est normatif; de la Rec. UIT-T X.903 | ISO/CEI 10746-3: Architecture: elle contient la spcification des caractristiques requises pour quun systme de traitement rparti puisse tre qualifi douvert. Il sagit des contraintes qu
29、e 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: Smantique architecturale: elle contient une formalisation des concepts de modlisation ODP dfinis dans les a
30、rticles 8 et 9 de la Rec. UIT-T X.902 | ISO/CEI 10746-2 et une formalisation des langages de point de vue dfinis dans la Rec. UIT-T X.903 | ISO/CEI 10746-3. La formalisation est obtenue par linterprtation de chaque concept en fonction des constructions des diffrentes techniques de description formel
31、le normalises. Ce texte est normatif. La prsente Recommandation | Norme internationale a pour objet de fournir une smantique architecturale pour les systmes ODP, ce qui se traduit par une interprtation des concepts de modlisation de base et de spcification dfinis dans la Rec. UIT-T X.902 | ISO/CEI 1
32、0746-2 et des langages de point de vue dfinis dans la Rec. UIT-T X.903 | ISO/CEI 10746-3; elle utilise les diverses caractristiques de diffrents langages de spcification formelle. Une smantique architecturale est labore pour quatre diffrents langages de spcification formelle: LOTOS, ESTELLE, SDL et
33、Z, ce qui conduit une formalisation de larchitecture des systmes ODP. Un processus dlaboration itrative et de retour a permis damliorer la cohrence des Rec. UIT-T X.902 | ISO/CEI 10746-2 et UIT-T X.903 | ISO/CEI 10746-3. La mise au point dune smantique architecturale prsente les avantages supplmenta
34、ires suivants: favoriser llaboration harmonieuse et uniforme des descriptions formelles de systmes ODP; permettre une comparaison uniforme et cohrente des descriptions formelles de la mme norme dans diffrents langages de spcification formelle. ISO/CEI 10746-4 : 1998 (F) 2 Rec. UIT-T X.904 (1997 F) L
35、a prsente Recommandation | Norme internationale contient une interprtation, non pas de tous les concepts dfinis dans la Rec. UIT-T X.902 | ISO/CEI 10746-2, mais uniquement des concepts les plus fondamentaux. Pour les concepts architecturaux de niveau suprieur, une smantique est fournie indirectement
36、 par la dfinition de ces concepts en fonction des concepts ODP fondamentaux. Des exemples dutilisation de certains des langages de spcification formelle dont il est question dans la prsente Spcification sont donns dans TR 10167 (Principes directeurs pour lapplication dESTELLE, LOTOS et SDL). Dans le
37、s articles suivants, la numrotation des paragraphes relatifs aux concepts est conforme la numrotation utilise dans la Rec. UIT-T X.902 | ISO/CEI 10746-2. 1 Domaine dapplication La prsente Recommandation | Norme internationale, qui contient la dfinition dune smantique architecturale pour les systmes
38、ODP, permet: de fournir une formalisation des concepts de modlisation ODP; de favoriser une laboration harmonieuse et uniforme des descriptions formelles des normes applicables aux systmes rpartis; de relier les concepts de modlisation ODP et les modles smantiques des langages de spcification LOTOS,
39、 SDL, ESTELLE et Z; de constituer une base pour une comparaison uniforme et cohrente des descriptions formelles de la mme norme dans les langages de spcification utiliss pour laborer une smantique architecturale. Ce texte est normatif. 2 Rfrences normatives Les Recommandations et les Normes internat
40、ionales suivantes contiennent des dispositions qui, par suite de la rfrence qui y est faite, constituent des dispositions valables pour la prsente Recommandation | Norme internationale. Au moment de la publication, les ditions indiques taient en vigueur. Toutes Recommandations et Normes sont sujette
41、s rvision et les parties prenantes aux accords fonds sur la prsente Recommandation | Norme internationale sont invites rechercher la possibilit dappliquer les ditions les plus rcentes des Recommandations et Normes Internationales indiques ci-aprs. Les membres de la CEI et de lISO possdent le registr
42、e des Normes Internationales en vigueur. Le Bureau de la normalisation des tlcommunications de lUIT tient jour une liste des Recommandations de lUIT-T en vigueur. ISO/CEI 8807:1989, Systmes de traitement de linformation Interconnexion de systmes ouverts LOTOS Technique de description formelle base s
43、ur lorganisation temporelle de comportement observationnel. Recommandation UIT-T Z.100 (1993), Langage de description et de spcification du CCITT. ISO/CEI TR 10167:1991, Technologies de linformation Interconnexion de systmes ouverts Principes directeurs pour lapplication dEstelle, LOTOS et SDL. ISO/
44、CEI 135681), Information technology Programming Languages their Environments and System Software Interfaces, Z Specification language. The Z Notation, A Reference Manual, J.M. Spivey, International Series in Computer Science, Second Edition, Prentice-Hall International, 1992. ISO/CEI 9074:1997, Tech
45、nologies de linformation Interconnexion de systmes ouverts (OSI) Estelle: Technique de description formelle base sur un modle de transition dtat tendu. _ 1)Actuellement ltat de projet. ISO/CEI 10746-4 : 1998 (F) Rec. UIT-T X.904 (1997 F) 3 3 Dfinitions 3.1 Termes dfinis dans lISO/CEI 8807 La prsente
46、 Recommandation | Norme internationale utilise les termes ci-aprs dont les quivalents anglais sont dfinis dans lISO/CEI 8807: activation, actualisation de paramtres, choix, composition parallle, conformit, dfinition de processus, dfinition de type, dfinition de type paramtr, dnotation daction, dsact
47、ivation, enrichissement, entrelacement, quation, vnement, vnement interne observable, expression de comportement, extension, garde, instanciation, liste de paramtres formels, liste de paramtres de valeurs, liste de portes formelles, prdicat de slection, occultation de porte, opration, porte, rduction, sorte, synchronisation. 3.2 Termes dfinis dans la Recommandation UIT-T Z.100 La prsente Recommandation | Norme internationale utilise les termes ci-aprs dfinis dans la Rec. UIT-T Z.100: actif, action statement, arrt, call, canal, clause “atleast“, condition de validation, content
