ITU-T X 904 AMD 1 FRENCH-2000 Information technology C Open Distributed Processing C Reference Model Architectural semantics Amendment 1 Computational formalization《信息技术 开放分布式处理 参考.pdf

《ITU-T X 904 AMD 1 FRENCH-2000 Information technology C Open Distributed Processing C Reference Model Architectural semantics Amendment 1 Computational formalization《信息技术 开放分布式处理 参考.pdf》由会员分享，可在线阅读，更多相关《ITU-T X 904 AMD 1 FRENCH-2000 Information technology C Open Distributed Processing C Reference Model Architectural semantics Amendment 1 Computational formalization《信息技术 开放分布式处理 参考.pdf（41页珍藏版）》请在麦多课文档分享上搜索。

1、 UNION INTERNATIONALE DES TLCOMMUNICATIONS UIT-T X.904SECTEUR DE LA NORMALISATION DES TLCOMMUNICATIONS DE LUIT Amendement 1(03/2000) SRIE X: RSEAUX DE DONNES ET COMMUNICATION ENTRE SYSTMES OUVERTS Traitement rparti ouvert Technologies de linformation Traitement rparti ouvert Modle de rfrence: smanti

2、que architecturale Amendement 1: Formalisation de traitement Recommandation UIT-T X.904 Amendement 1 (Antrieurement Recommandation du CCITT) RECOMMANDATIONS UIT-T DE LA SRIE X RSEAUX DE DONNES ET COMMUNICATION ENTRE SYSTMES OUVERTS RSEAUX PUBLICS DE DONNES Services et fonctionnalits X.1X.19 Interfac

3、es 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.2

4、20X.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 des couches X.280X.289 Tests de conformit X.290X.299 INTERFONCTIONNEMENT DES RSEAUX Gnralits X.300X.349 Systmes de tr

5、ansmission de donnes par satellite X.350X.369 Rseaux protocole Internet X.370X.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

6、 de syntaxe abstraite numro un (ASN.1) X.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 A

7、PPLICATIONS OSI Engagement, concomitance et rtablissement X.850X.859 Traitement transactionnel X.860X.879 Oprations distantes X.880X.899 TRAITEMENT RPARTI OUVERT X.900X.999 Pour plus de dtails, voir la Liste des Recommandations de lUIT-T. Rec. UIT-T X.904/Amd.1 (2000 F) i NORME INTERNATIONALE ISO/CE

8、I 10746-4 RECOMMANDATION UIT-T X.904 TECHNOLOGIES DE LINFORMATION TRAITEMENT RPARTI OUVERT MODLE DE RFRENCE: SMANTIQUE ARCHITECTURALE AMENDEMENT 1 Formalisation de traitement Rsum LAmendement 1 de la Rec. UIT-T X.904 | ISO/CEI 10746-4 prcise et tend la smantique architecturale du traitement rparti o

9、uvert (ODP, open distributed processing) en y ajoutant une formalisation de traitement dans le modle de rfrence du traitement rparti ouvert (RM-ODP, reference model for open distributed processing). Le langage de traitement du modle RM-ODP permet de dcrire les systmes ODP comme des ensembles dobjets

10、 en interaction. Dans le prsent amendement, les concepts et les rgles du langage de traitement ODP sont dfinis selon diffrentes techniques de description formelle (LOTOS, SDL, Z et Estelle). Source LAmendement 1 de la Recommandation X.904 de lUIT-T, labor par la Commission dtudes 7 (1997-2000) de lU

11、IT-T, a t approuv le 31 mars 2000. Un texte identique est publi comme Norme Internationale ISO/CEI 10746-4, Amendement 1. ii Rec. UIT-T X.904/Amd.1 (2000 F) AVANT-PROPOS LUIT (Union internationale des tlcommunications) est une institution spcialise des Nations Unies dans le domaine des tlcommunicati

12、ons. LUIT-T (Secteur de la normalisation des tlcommunications) est un organe permanent de lUIT. Il est charg de 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 mondial

13、e de normalisation des tlcommunications (CMNT), qui se runit tous les quatre ans, dtermine les thmes dtude traiter 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 proc

14、dure dfinie dans la Rsolution 1 de la CMNT. Dans certains secteurs des technologies de linformation qui correspondent 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

15、 pour dsigner de faon abrge aussi bien une administration de tlcommunications quune exploitation reconnue. DROITS 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 i

16、ntellectuelle. LUIT ne prend pas position en ce qui concerne lexistence, la validit ou lapplicabilit des droits 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

17、Recommandation, lUIT navait pas t avise de lexistence dune proprit intellectuelle protge par des brevets acqurir 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 d

18、e consulter la base de donnes des brevets du TSB. UIT 2002 Droits de reproduction rservs. Aucune partie de 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 l

19、UIT. Rec. UIT-T X.904/Amd.1 (2000 F) iii TABLE DES MATIRES Page 1) Avant-propos 1 2) Article 0 Introduction 1 3) Article 1 Domaine dapplication 2 4) Article 2 Rfrences normatives 2 5) Paragraphe 3.2 Termes dfinis dans la Recommandation UIT-T Z.100 2 6) Paragraphe 3.3 Termes dfinis dans “The Z Base S

20、tandard“. 2 7) Annexe A 3 Annexe A Formalisation de traitement . 3 A.1 Formalisation du langage de point de vue traitement en LOTOS 3 A.2 Formalisation du langage de point de vue traitement en SDL. 13 A.3 Formalisation du langage de point de vue traitement en Z 22 A.4 Formalisation du langage de poi

21、nt de vue traitement en ESTELLE 30 ISO/CEI 10746-4:1998/Amd.1:2001 (F) Rec. UIT-T X.904/Amd.1 (2000 F) 1 NORME INTERNATIONALE ISO/CEI 10746-4:1998/Amd.1:2001 (F) Rec. UIT-T X.904/Amd.1 (2000 F) RECOMMANDATION UIT-T TECHNOLOGIES DE LINFORMATION TRAITEMENT RPARTI OUVERT MODLE DE RFRENCE: SMANTIQUE ARC

22、HITECTURALE AMENDEMENT 1 Formalisation de traitement 1) Avant-propos Remplacer le 1erparagraphe de lavant-propos La prsente Recommandation | Norme internationale fait partie intgrante du modle de rfrence du traitement rparti ouvert (ODP, open distributed processing). Elle contient une formalisation

23、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 constructions des diffrentes techniques de description formelle normalises. par: La prsente Recommandation | Nor

24、me 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/CEI 10746-2 et dans larticle 7 (Language de traitem

25、ent) de 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 formelle normalises. 2) Article 0 Introduction Remplacer la 4enumration sous “Le modle RM-ODP se compose“ de la Rec.

26、 UIT-T X.904 | ISO/CEI 10746-4: Smantique architecturale: 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 et une formalisation des langages de point de vue dfinis dans la Rec. UIT-T X.903 | ISO/CEI 10746-3. La f

27、ormalisation est obtenue par linterprtation de chaque concept en fonction des constructions des diffrentes techniques de description formelle normalises. Ce texte est normatif. par de la Rec. UIT-T X.904 | ISO/CEI 10746-4: Smantique architecturale: elle contient une formalisation des concepts de mod

28、lisation ODP dfinis 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 traitement 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 di

29、ffrentes techniques de description formelle normalises. Ce texte est normatif. Remplacer le 4eparagraphe: 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

30、 base et de spcification dfinis dans la Rec. UIT-T X.902 | ISO/CEI 10746-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

31、diffrents langages de spcification formelle: LOTOS, ESTELLE, SDL et 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. ISO/CEI 107

32、46-4:1998/Amd.1:2001 (F) 2 Rec. UIT-T X.904/Amd.1 (2000 F) par 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

33、. UIT-T X.902 | ISO/CEI 10746-2 et des langages de point de vue traitement 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 spcificati

34、on formelle: LOTOS, ESTELLE, SDL et 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. 3) Article 1 Domaine dapplication Ajouter l

35、e paragraphe suivant la fin du Domaine dapplication LAnnexe A indique une manire selon laquelle le langage de point de vue traitement de la Rec. UIT-T X.903 | ISO/CEI 10746-3 peut-tre reprsent dans les langages formels LOTOS, SDL, Z et Estelle. La prsente Recommandation | Norme internationale fait g

36、alement appel aux concepts dfinis dans la Rec. UIT-T X.902 | ISO/CEI 10746-2. 4) Article 2 Rfrences normatives Changer la date de publication pour la Recommandation UIT-T Z.100 de (1993) en (1999). ISO/CEI 13568: Ajouter la rfrence suivante: Z Notation, ISO/CEI JTC 1 SC 22 GT 19, Advanced Working Dr

37、aft 2.C, 13 juillet 1999. 5) Paragraphe 3.2 Termes dfinis dans la Recommandation UIT-T Z.100 Remplacer la liste des termes par la suivante: active, adding, all, alternative, and, any, as, atleast, axioms, block, call, channel, comment, connect, connection, constant, constants, create, dcl, decision,

38、 default, else, endalternative, endblock, endchannel, endconnection, enddecision, endgenerator, endnewtype, endoperator, endpackage, endprocedure, endprocess, endrefinement, endselect, endservice, endstate, endsubstructure, endsyntype, endsystem, env, error, export, exported, external, fi, finalized

39、, for, fpar, from, gate, generator, if, import, imported, in, inherits, input, interface, join, literal, literals, map, mod, nameclass, newtype, nextstate, nodelay, noequality, none, not, now, offspring, operator, operators, or, ordering, out, output, package, parent, priority, procedure, process, p

40、rovided, redefined, referenced, refinement, rem, remote, reset, return, returns, revealed, reverse, save, select, self, sender, service, set, signal, signallist, signalroute, signalset, spelling, start, state, stop, struct, substructure, synonym, syntype, system, task, then, this, timer, to, type, u

41、se, via, view, viewed, virtual, with, xor. 6) Paragraphe 3.3 Termes dfinis dans “The Z Base Standard“ Changer le titre du paragraphe par: 3.3 Termes dfinis dans “The Z Notation“ Remplacer la liste des termes par la suivante: affinement de donnes, affinement dopration, thorie des schmas, composition

42、de schma, description axiomatique, occultation, remplacement, schma (opration, tat, encadrement), squence, type. ISO/CEI 10746-4:1998/Amd.1:2001 (F) Rec. UIT-T X.904/Amd.1 (2000 F) 3 7) Annexe A Ajouter une nouvelle Annexe A comme suit: Annexe A Formalisation de traitement A.1 Formalisation du langa

43、ge de point de vue traitement en LOTOS A.1.1 Concepts La formalisation du langage de traitement en LOTOS utilise les concepts dfinis dans la formalisation des rgles de modlisation et de structuration de base indiques aux articles 8 et 9 de la Rec. UIT-T X.902 | ISO/CEI 107462. Structures lmentaires

44、associes aux interfaces opration et signal Pour formaliser le langage de traitement en LOTOS, il est ncessaire dintroduire certaines structures lmentaires. Celles-ci comportent des paramtres susceptibles dtre associs certaines interfaces de traitement ainsi quun modle dinformation de base susceptibl

45、e dtre utilis dans un flux. Pour formaliser des paramtres il est ncessaire dadopter deux concepts, savoir celui de noms dobjets et celui de types dobjets. Les noms sont simplement des tiquettes. Comme nous allons le voir, du point de vue traitement, ces tiquettes doivent faire lobjet de contrles, vi

46、sant par exemple en vrifier lgalit, au moment o les interfaces sont cres. En rgle gnrale, nous pouvons reprsenter les noms comme suit: type Name is Boolean sorts Name opns newName: - Name anotherName: Name - Name _eq_,_ne_: Name, Name - Bool endtype (* Name *) Par souci de concision, nous faisons li

47、mpasse sur les quations, qui ne sont pas censes poser de problme particulier. Il est possible dtre ici plus normatif, par exemple en utilisant des chanes de caractres de la bibliothque LOTOS. La seule chose qui nous intresse en ce qui concerne les noms est que nous puissions en dterminer lgalit ou l

48、ingalit. Comme indiqu dans la prsente Recommandation | Norme internationale, un type selon la terminologie ODP ne peut pas tre interprt directement dans la partie “algbre de processus“ du langage LOTOS. Il est toutefois possible de modliser des types laide de la partie “Act One“ du LOTOS. Bien quelle ait t expressment conue pour reprsenter des types, la partie Act One es