ITU-T Z 200 FRENCH-1999 CHILL - The ITU-T Programming Language《CHILL 国际电信联盟电信标准化部(ITU-T)编程语言 Z系列 电信系统编程语言的语言和通用软件方面 CHILL 国际电信联盟电信标准化部(ITU-T)编程语言 10号研究组》.pdf

《ITU-T Z 200 FRENCH-1999 CHILL - The ITU-T Programming Language《CHILL 国际电信联盟电信标准化部(ITU-T)编程语言 Z系列 电信系统编程语言的语言和通用软件方面 CHILL 国际电信联盟电信标准化部(ITU-T)编程语言 10号研究组》.pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 200 FRENCH-1999 CHILL - The ITU-T Programming Language《CHILL 国际电信联盟电信标准化部(ITU-T)编程语言 Z系列 电信系统编程语言的语言和通用软件方面 CHILL 国际电信联盟电信标准化部(ITU-T)编程语言 10号研究组》.pdf（232页珍藏版）》请在麦多课文档分享上搜索。

1、 UNION INTERNATIONALE DES TLCOMMUNICATIONS UIT-T Z.200 SECTEUR DE LA NORMALISATION DES TLCOMMUNICATIONS DE LUIT (11/99) SRIE Z: LANGAGES ET ASPECTS INFORMATIQUES GNRAUX DES SYSTMES DE TLCOMMUNICATION Langages de programmation CHILL: le langage de haut niveau de lUIT-T CHILL Le langage de programmati

2、on de lUIT-T Recommandation UIT-T Z.200 (Antrieurement Recommandation du CCITT) RECOMMANDATIONS UIT-T DE LA SRIE Z LANGAGES ET ASPECTS INFORMATIQUES GNRAUX DES SYSTMES DE TLCOMMUNICATION Pour plus de dtails, voir la Liste des Recommandations de lUIT-T. TECHNIQUES DE DESCRIPTION FORMELLE Langage de d

3、escription et de spcification (SDL) Z.100Z.109 Application des techniques de description formelle Z.110Z.119 Diagrammes des squences de messages Z.120Z.129 LANGAGES DE PROGRAMMATION CHILL: le langage de haut niveau de lUIT-T Z.200Z.209 LANGAGE HOMME-MACHINE Principes gnraux Z.300Z.309 Syntaxe de bas

4、e et procdures de dialogue Z.310Z.319 LHM tendu pour terminaux crans de visualisation Z.320Z.329 Spcification de linterface homme-machine Z.330Z.399 QUALIT DES LOGICIELS DE TLCOMMUNICATION Z.400Z.499 MTHODES DE VALIDATION ET DESSAI Z.500Z.599 Rec. UIT-T Z.200 (1999 F) iNORME INTERNATIONALE 9496RECOM

5、MANDATION UIT-T Z.200CHILL LE LANGAGE DE PROGRAMMATION DE LUIT-TRsumLa prsente Recommandation | Norme internationale dfinit le langage de programmation de lUIT-T appel CHILL. Ilsagit dun langage fortement typ, structur en blocs et orient objet, initialement destin limplmentation dessystmes incorpors

6、 larges et complexes.Ce langage a t conu pour tre fiable et rapide dexcution, tout en tant suffisamment souple et puissant pour engloberles applications ncessaires. Ses ressources favorisent galement le dveloppement modulaire de systmes importants.SourceLa Recommandation UIT-T Z.200, labore par la C

7、ommission dtudes 10 (1997-2000) de lUIT-T, a t approuve le19 novembre 1999. Un texte identique est publi comme Norme internationale ISO/CEI 9496.ii Rec. UIT-T Z.200 (1999 F)AVANT-PROPOSLUIT (Union internationale des tlcommunications) est une institution spcialise des Nations Unies dans le domainedes

8、 tlcommunications. LUIT-T (Secteur de la normalisation des tlcommunications) est un organe permanent delUIT. Il est charg de ltude des questions techniques, dexploitation et de tarification, et met ce sujet desRecommandations en vue de la normalisation des tlcommunications lchelle mondiale.La Confre

9、nce mondiale de normalisation des tlcommunications (CMNT), qui se runit tous les quatre ans, dtermineles thmes dtudes traiter par les Commissions dtudes de lUIT-T, lesquelles laborent en retour desRecommandations sur ces thmes.Lapprobation des Recommandations par les Membres de lUIT-T seffectue selo

10、n la procdure dfinie dans laRsolution n 1 de la CMNT.Dans certains secteurs des technologies de linformation qui correspondent la sphre de comptence de lUIT-T, lesnormes ncessaires se prparent en collaboration avec lISO et la CEI.NOTEDans la prsente Recommandation, lexpression “Administration“ est u

11、tilise pour dsigner de faon abrge aussi bienune 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 puissedonner lieu lutilisation dun droit de propri

12、t intellectuelle. 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 parune tierce partie trangre la procdure dlaboration des Recommandations.A la date dapprobation de la prsente

13、Recommandation, lUIT navait pas t avise de lexistence dune propritintellectuelle protge par des brevets acqurir pour mettre en uvre la prsente Recommandation. Toutefois, comme ilne sagit peut-tre pas de renseignements les plus rcents, il est vivement recommand aux responsables de la mise enuvredecon

14、sulterlabasededonnesdesbrevetsduTSB. UIT 2001Droits de reproduction rservs. Aucune partie de cette publication ne peut tre reproduite ni utilise sous quelque formeque ce soit et par aucun procd, lectronique ou mcanique, y compris la photocopie et les microfilms, sans laccordcrit de lUIT.Rec. UIT-T Z

15、.200 (1999 F) iiiTABLE DES MATIRESPage1 Introduction 11.1 Gnralits 11.2 Vue gnrale du langage 11.3 Modes et classes 21.4 Locus et leurs accs . 31.5 Valeurs et leurs oprations. 31.6 Actions 41.7 Entre et sortie. 41.8 Traitement des exceptions 41.9 Supervision temporelle 51.10 Structure des programmes

16、 51.11 Excution simultane. 51.12 Proprits smantiques gnrales . 61.13 Options pour limplmentation . 62 Prliminaires 72.1 Mtalangage 72.2 Vocabulaire. 82.3 Espacements 92.4 Commentaires . 92.5 Commandes de mise en page . 92.6 Directives au compilateur 102.7 Noms et leurs occurences de dfinitions. 103

17、Modes et classes. 123.1 Gnralits 123.2 Dfinitions de modes . 133.3 Classification des modes 163.4 Modes discret 173.5 Modes rels . 203.6 Modes ensembliste 223.7 Rfrence 223.8 Modes procdure . 233.9 Modes instence 243.10 Modes synchronisation 253.11 Modes entre-sortie . 263.12 Modes temporisation . 2

18、83.13 Modes composites . 293.14 Modes dynamiques 373.15 Modes Moreta . 384 Les locus et leurs accs . 454.1 Dclarations 454.2 Les locus . 475 Valeurs et leurs oprations 545.1 Dfinitions de synonymes 545.2 Valeur primitive 555.3 Valeurs et expressions . 70iv Rec. UIT-T Z.200 (1999 F)Page6 Actions. 796

19、.1 Gnralits 796.2 Action daffectation 796.3 Action conditionnelle. 816.4 Action cas. 816.5 Action faire . 836.6 Action sortir 866.7 Action appeler . 876.8 Action rsulter et action revenir . 906.9 Action aller 906.10 Action affirmer 916.11 Action vide 916.12 Action induire 916.13 Action dmarrer. 916.

20、14 Action arrter 916.15 Action continuer 926.16 Action mettre en attente. 926.17 Action attente 926.18 Action envoyer 936.19 Action recevoir et choisir. 946.20 Appels de routine prdfinie CHILL 977 Entre et sortie 1027.1 Modle de rfrence E/S 1027.2 Valeurs dassociation . 1047.3 Valeurs daccs 1047.4 R

21、outines prdfinies pour entre-sortie. 1057.5 Entre/sortie de texte . 1128 Filets dexception 1208.1 Gnralits 1208.2 Filets. 1218.3 Identification de filet 1219 Temporisation 1229.1 Gnralits 1229.2 Processus temporisables. 1229.3 Actions de temporisation . 1229.4 Routines prdfinies pour le temps. 12410

22、 Structure de programme 12510.1 Gnralits 12510.2 Domaines et imbrication 12710.3 Blocs dbut-fin 12910.4 Dfinitions de procdure 12910.5 Dfinitions de processus et de spcifications 13410.6 Modules 13410.7 Rgions. 13510.8 Programme 13510.9 Allocation de mmoire et dure de vie . 13610.10 Constructions po

23、ur la programmation par fragments. 13610.11 Gnricit 141Rec. UIT-T Z.200 (1999 F) vPage11 Excution simultane 14411.1 Les processus, les tches, les fils dexcution et leurs dfinitions. 14411.2 Exclusion mutuelle et rgions 14511.3 Mise en attente dun fil dexcution. 14811.4 Ractivation dun fil dexcution.

24、 14811.5 Enoncs de dfinition de signal 14811.6 Fin des locus de rgion et de tche . 14912 Proprits smantiques gnrales 14912.1 Rgles de vrification des modes . 14912.2 Visibilit et rattachement de nom. 16012.3 Slection de cas. 16712.4 Dfinition et rsum des catgories smantiques 16913 Options pour limpl

25、mentation 17313.1 Routines oprations prdfinies par limplmentation . 17313.2 Modes entier dfinis par limplmentation 17313.3 Modes virgule flottante dfinis par limplmentation. 17313.4 Noms de processus dfinis par limplmentation. 17313.5 Filets dfinis par limplmentation 17313.6 Noms dexception dfinis p

26、ar limplmentation. 17313.7 Autres caractristiques dfinies par limplmentation 173Appendice I Jeu de caractres pour le langage CHILL. 175Appendice II Symboles spciaux 176Appendice III Chanes de nom simple spciales 177III.1 Chanes de nom simple spciales . 177III.2 Chanes de nom simple prdfinies 178III.

27、3 Noms dexception 178Appendice IV Exemples de programmes. 179IV.1 Oprations sur les entiers. 179IV.2 Mmes oprations sur les fractions. 179IV.3 Mmes oprations sur les nombres complexes 180IV.4 Arithmtique dordre gnral . 180IV.5 Additionner bit bit et vrifier le rsultat . 180IV.6 Jouer avec les dates

28、181IV.7 Nombres romains. 182IV.8 Compter les lettres dans une chane de caractres de longueur arbitraire . 183IV.9 Nombres premiers . 184IV.10 Implmenter des piles de deux manires diffrentes, transparentes pour lutilisateur . 184IV.11 Fragments pour jouer aux checs . 185IV.12 Construire et manipuler

29、une liste chane circulairement. 188IV.13 Une rgion pour donner des accs comptitifs une ressource 189IV.14 Mettre en attente les appels un central 190IV.15 Affecter et dsaffecter un ensemble de ressources 190IV.16 Affecter et dsaffecter un ensemble de ressources en employant des tampons . 192IV.17 Pa

30、rcours de chane 1 194IV.18 Parcours de chane 2 195IV.19 Enlever un lment dune liste doublement chane 196IV.20 Mettre jour un fichier 196IV.21 Fusionner deux fichiers tris 197IV.22 Lire un fichier ayant des enregistrements de longueur variable 198IV.23 Lemploi de modules de spec. 199IV.24 Exemple dun

31、 contexte 199IV.25 Lemploi de la prfixation et de modules distants. 199vi Rec. UIT-T Z.200 (1999 F)PageIV.26 Lemploi de/s de texte 200IV.27 Une pile gnrique. 201IV.28 Un type de donnes abstrait . 202IV.29 Exemple dun module de spec 202IV.30 Orientation-objet: modes pour piles squentrielles simples .

32、 202IV.31 Orientation objet: extension de mode: pile squentielle simple avec opration “Top“ 204IV.32 Orientation objet: modes pour des piles synchronisation daccs . 204Appendice V Caractristiques qui ne sont plus en vigueur. 206V.1 Directive de libration . 206V.2 Syntaxe de mode entier 206V.3 Modes

33、ensemble avec des trous 206V.4 Syntaxe des modes procdure 206V.5 Syntaxe des modes chane 207V.6 Syntaxe des modes matrice 207V.7 Notation tage de structures . 207V.8 Noms de rfrence dimplantation 207V.9 Dclarations de locus avec base . 207V.10 Littraux chane de caractres 207V.11 Expressions recevoir

34、 207V.12 Notation Addr 207V.13 Syntaxe daffectation 207V.14 Syntaxe daction cas 207V.15 Syntaxe action faire-pour . 207V.16 Compteurs de boucles explicites 208V.17 Syntaxe daction appeler 208V.18 Exception RECURSEFAIL 208V.19 Syntaxe daction dmarrer 208V.20 Noms explicites de valeur reue. 208V.21 Bl

35、ocs. 208V.22 Enonc dentre . 208V.23 Noms de registre 208V.24 Attribut rcursif. 208V.25 Enoncs de quasi-cause et quasi-filets 209V.26 Syntaxe des quasi-noncs. 209V.27 Noms faiblement visibles et noncs de visibilit . 209V.28 Noms faiblement visibles et noncs de visibilit . 209V.29 Envahissement. 209V.

36、30 Saisie par nom de modulion . 209V.31 Chanes de nom simple prdfinies 209Appendice VI Index des rgles de production 210ISO/CEI 9496 : 2001(F)Rec. UIT-T Z.200 (1999 F) 1NORME INTERNATIONALERECOMMANDATION UIT-TRec. UIT-T Z.200 (1999 F)ISO/CEI 9496 : 2001(F)CHILL LE LANGAGE DE PROGRAMMATION DE LUIT-T1

37、 IntroductionLa prsente Recommandation | Norme internationale dfinit le langage de programmation CHILL de lUIT-T; le CHILL,qui est lacronyme de CCITT High Level Language (langage de haut niveau du CCITT), a t introduit en 1980.Les paragraphes suivants du prsent article introduisent certaines motivat

38、ions de la conception du langage et donnent unedescription de ses caractristiques.Pour de plus amples renseignements concernant le matriel dintroduction et dentranement sur ce sujet, le lecteur pourraconsulter les manuels “Introduction to CHILL“ et “CHILL users manual“.Une autre dfinition du CHILL,

39、de forme mathmatique stricte (reposant sur la notation VDM) se trouve dans le manuelintitul “Dfinition formelle du CHILL“.1.1 GnralitsLe CHILL est un langage fortement typ, structur en blocs et conu avant tout pour limplmentation de grandssystmes complexes imbriqus.Le CHILL est conu de manire : amli

40、orer la fiabilit et augmenter lefficacit des excutables grce un grand nombre de contrles effectus lacompilation; couvrir, tre suffisamment souple et puissante pour couvrir la gamme dapplications ncessaire et exploiterdiffrents types de matriel; offrir les outils ncessaires mme de favoriser le dvelop

41、pement progressif et modulaire des grands systmes; rpondre aux besoins des applications en temps rel grce des primitives intgres de concomitance et de contrletemporel; permettre la gnration dun code objet trs efficace; tre facile apprendre et utiliser.La puissance dexpression quoffre la conception d

42、u langage permet aux ingnieurs de choisir des constructionsappropries partir dune large gamme de facilits et de raliser une implmentation pouvant correspondre plusprcisment la spcification dorigine.Le CHILL faisant une nette distinction entre objets statiques et objets dynamiques, la quasi-totalit d

43、es contrlessmantiques peuvent tre faits lors de la compilation, ce qui prsente des avantages vidents pour lexcution. Laviolation des rgles dynamiques du CHILL se traduit par des exceptions lexcution qui peuvent tre interceptes parun systme appropri de traitement des exceptions (toutefois, la gnratio

44、n de tels contrles implicites est facultative, moins quun tel systme dfini par lutilisateur soit explicitement spcifie).Le CHILL permet dcrire les programmes dune faon indpendante de la machine. Le langage proprement dit estindpendant de la machine, mais certains systmes de compilation peuvent exige

45、r des objets dfinis spcifiquement pourlimplmentation. On notera que les programmes qui contiennent de tels objets ne sont en gnral pas portables.1.2 Vue gnrale du langageUn programme CHILL se compose essentiellement de trois parties: une description des objets; une description des actions effectuer

46、sur les objets; une description de la structure du programme.ISO/CEI 9496 : 2001(F)2 Rec. UIT-T Z.200 (1999 F)Les objets sont dcrits par des noncs informatifs (noncs dclaratifs et dfinissants), les actions sont dcrites par desnoncs daction et la structure du programme par des noncs de structuration

47、du programme.Les objets manipulables du CHILL sont les valeurs et les locus o les valeurs peuvent tre places. Les actionsdfinissent les oprations effectuer sur les objets et lordre dans lequel les valeurs sont places dans les locus et en sontextraites. La structure du programme dtermine la dure de vie et la visibilit des objets.Le CHILL prvoit un contrle statique tendu sur lemploi des objets dans un contexte donn.Dans les paragraphes qui suivent, on rcapitule les diffrents concepts du CHILL. Chaque paragraphe est uneintroduction un ar