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

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

1、 UNIN INTERNACIONAL DE TELECOMUNICACIONES UIT-T Z.200SECTOR DE NORMALIZACIN DE LAS TELECOMUNICACIONES DE LA UIT (11/1999) SERIE Z: LENGUAJES Y ASPECTOS GENERALES DE SOPORTE LGICO PARA SISTEMAS DE TELECOMUNICACIN Lenguajes de programacin CHILL: El lenguaje de programacin del UIT-T CHILL El lenguaje d

2、e programacin del UIT-T Recomendacin UIT-T Z.200 (Anteriormente Recomendacin del CCITT) RECOMENDACIONES UIT-T DE LA SERIE Z LENGUAJES Y ASPECTOS GENERALES DE SOPORTE LGICO PARA SISTEMAS DE TELECOMUNICACIN TCNICAS DE DESCRIPCIN FORMAL Lenguaje de especificacin y descripcin Z.100Z.109 Aplicacin de tcn

3、icas de descripcin formal Z.110Z.119 Grficos de secuencias de mensajes Z.120Z.129 LENGUAJES DE PROGRAMACIN CHILL: El lenguaje de programacin del UIT-T Z.200Z.209 LENGUAJE HOMBRE-MQUINA Principios generales Z.300Z.309 Sintaxis bsica y procedimientos de dilogo Z.310Z.319 LHM ampliado para terminales c

4、on pantalla de visualizacin Z.320Z.329 Especificacin de la interfaz hombre-mquina Z.330Z.399 CALIDAD DE SOPORTES LGICOS DE TELECOMUNICACIONES Z.400Z.499 MTODOS PARA VALIDACIN Y PRUEBAS Z.500Z.599 Para ms informacin, vase la Lista de Recomendaciones del UIT-T. Rec. UIT-T Z.200 (11/1999 S) i NORMA INT

5、ERNACIONAL 9496 RECOMENDACIN UIT-T Z.200 CHILL EL LENGUAJE DE PROGRAMACIN DEL UIT-T Resumen Esta Recomendacin | Norma Internacional define el lenguaje de programacin CHILL del UIT-T. El CHILL es un lenguaje fuertemente tipificado, estructurado en bloques y diseado primordialmente para la implementac

6、in de grandes y complejos sistemas modulares. El CHILL se dise para proporcionar fiabilidad y eficacia en tiempo de ejecucin, al mismo tiempo que suficiente flexibilidad y potencia para abarcar la gama de aplicaciones requeridas. El CHILL tambin ofrece medios que estimulan el desarrollo por piezas y

7、 modulado de grandes sistemas. Orgenes La Recomendacin UIT-T Z.200 ha sido preparada por la Comisin de Estudio 10 (1997-2000) del UIT-T y aprobada el 19 de noviembre de 1999. Un texto idntico tambin se publica como ISO/CEI 9496. ii Rec. UIT-T Z.200 (11/1999 S) PREFACIO La UIT (Unin Internacional de

8、Telecomunicaciones) es el organismo especializado de las Naciones Unidas en el campo de las telecomunicaciones. El UIT-T (Sector de Normalizacin de las Telecomunicaciones de la UIT) es un rgano permanente de la UIT. Este rgano estudia los aspectos tcnicos, de explotacin y tarifarios y publica Recome

9、ndaciones sobre los mismos, con miras a la normalizacin de las telecomunicaciones en el plano mundial. La Conferencia Mundial de Normalizacin de las Telecomunicaciones (CMNT), que se celebra cada cuatro aos, establece los temas que han de estudiar las Comisiones de Estudio del UIT-T, que a su vez pr

10、oducen Recomendaciones sobre dichos temas. La aprobacin de Recomendaciones por los Miembros del UIT-T es el objeto del procedimiento establecido en la Resolucin N. 1 de la CMNT. En ciertos sectores de la tecnologa de la informacin que corresponden a la esfera de competencia del UIT-T, se preparan la

11、s normas necesarias en colaboracin con la ISO y la CEI. NOTA En esta Recomendacin, la expresin “Administracin“ se utiliza para designar, en forma abreviada, tanto una administracin de telecomunicaciones como una empresa de explotacin reconocida de telecomunicaciones. PROPIEDAD INTELECTUAL La UIT sea

12、la a la atencin la posibilidad de que la utilizacin o aplicacin de la presente Recomendacin suponga el empleo de un derecho de propiedad intelectual reivindicado. La UIT no adopta ninguna posicin en cuanto a la demostracin, validez o aplicabilidad de los derechos de propiedad intelectual reivindicad

13、os, ya sea por los miembros de la UIT o por terceros ajenos al proceso de elaboracin de Recomendaciones. En la fecha de aprobacin de la presente Recomendacin, la UIT no ha recibido notificacin de propiedad intelectual, protegida por patente, que puede ser necesaria para aplicar esta Recomendacin. Si

14、n embargo, debe sealarse a los usuarios que puede que esta informacin no se encuentre totalmente actualizada al respecto, por lo que se les insta encarecidamente a consultar la base de datos sobre patentes de la TSB. UIT 2002 Es propiedad. Ninguna parte de esta publicacin puede reproducirse o utiliz

15、arse, de ninguna forma o por ningn medio, sea ste electrnico o mecnico, de fotocopia o de microfilm, sin previa autorizacin escrita por parte de la UIT. Rec. UIT-T Z.200 (11/1999 S) iii NDICE Pgina 1 Introduccin . 1 1.1 Generalidades 1 1.2 Examen general del lenguaje 1 1.3 Modos y clases 2 1.4 Local

16、izaciones y sus accesos 3 1.5 Valores y operaciones sobre los mismos. 3 1.6 Acciones 4 1.7 Entrada y salida . 4 1.8 Manejo de excepciones 4 1.9 Supervisin de tiempo 5 1.10 Estructura del programa. 5 1.11 Ejecucin concurrente 5 1.12 Propiedades semnticas generales 6 1.13 Opciones de implementacin . 6

17、 2 Preliminares . 7 2.1 Metalenguaje. 7 2.2 Vocabulario. 8 2.3 Utilizacin de espacios. 9 2.4 Comentarios 9 2.5 Caracteres de formato 9 2.6 Directivas de compilacin 10 2.7 Nombres y sus ocurrencias de definicin 10 3 Modos y clases . 12 3.1 Generalidades 12 3.2 Definiciones de modos. 13 3.3 Clasificac

18、in de modos 16 3.4 Modos discretos. 17 3.5 Modos reales . 20 3.6 Modos conjuntistas 22 3.7 Modos referencia. 22 3.8 Modos procedimiento 23 3.9 Modos ejemplar. 24 3.10 Modos sincronizacin 25 3.11 Modos entrada-salida. 26 3.12 Modos temporizacin. 28 3.13 Modos compuestos 29 3.14 Modos dinmicos. 37 3.1

19、5 Modos moreta 38 4 Localizaciones y sus accesos. 45 4.1 Declaraciones 45 4.2 Localizaciones. 47 5 Valores y operaciones sobre los mismos 54 5.1 Definiciones de sinnimos . 54 5.2 Valor primitivo 55 5.3 Valores y expresiones 70 iv Rec. UIT-T Z.200 (11/1999 S) Pgina 6 Acciones 79 6.1 Generalidades 79

20、6.2 Accin de asignacin. 79 6.3 Accin condicional 81 6.4 Accin de caso. 81 6.5 Accin hacer 83 6.6 Accin salir . 86 6.7 Accin llamar 87 6.8 Accin resultar y accin retornar 90 6.9 Accin ir a. 90 6.10 Accin afirmar. 91 6.11 Accin vaca 91 6.12 Accin causar 91 6.13 Accin arrancar . 91 6.14 Accin parar 91

21、6.15 Accin continuar . 92 6.16 Accin demorar . 92 6.17 Accin demorar y elegir. 92 6.18 Accin enviar 93 6.19 Accin recibir y elegir . 94 6.20 Llamadas a rutina incorporada CHILL . 97 7 Entrada y salida 102 7.1 Modelo de referencia E/S. 102 7.2 Valores de asociacin 104 7.3 Valores de acceso 104 7.4 Ru

22、tinas incorporadas para entrada/salida 105 7.5 Entrada/salida de texto. 112 8 Manejo de excepciones. 120 8.1 Generalidades 120 8.2 Manejadores 121 8.3 Identificacin del manejador 121 9 Supervisin de tiempo 122 9.1 Generalidades 122 9.2 Procesos temporizables 122 9.3 Acciones de temporizacin 122 9.4

23、Rutinas incorporadas relacionadas con el tiempo 124 10 Estructura del programa 125 10.1 Generalidades 125 10.2 Dominios y anidamiento 127 10.3 Bloques principio-fin . 129 10.4 Definiciones de procedimiento. 129 10.5 Especificaciones y definiciones de proceso. 134 10.6 Mdulos 134 10.7 Regiones 135 10

24、.8 Programa. 135 10.9 Asignacin de espacio de almacenamiento y tiempo de vida. 136 10.10 Construcciones para programacin por piezas (o programacin separada). 136 10.11 Genericidad. 141 Rec. UIT-T Z.200 (11/1999 S) v Pgina 11 Ejecucin concurrente. 144 11.1 Procesos, tareas, hilos y sus definiciones 1

25、44 11.2 Exclusin mutua y regiones . 145 11.3 Demora de un hilo . 148 11.4 Reactivacin de un hilo 148 11.5 Sentencias de definicin de seal . 148 11.6 Complecin de localizaciones de regin y de tarea . 149 12 Propiedades semnticas generales . 149 12.1 Reglas de modos 149 12.2 Visibilidad y vinculacin d

26、e nombres. 160 12.3 Seleccin de caso. 167 12.4 Definicin y resumen de las categoras semnticas . 169 13 Opciones de implementacin 173 13.1 Rutinas incorporadas definidas por la implementacin 173 13.2 Modos enteros definidos por la implementacin . 173 13.3 Modos coma flotante definidos por la implemen

27、tacin . 173 13.4 Nombres de proceso definidos por la implementacin 173 13.5 Manejadores definidos por la implementacin 173 13.6 Nombres de excepcin definidos por la implementacin. 173 13.7 Otras caractersticas definidas por la implementacin . 173 Apndice I Juego de caracteres CHILL . 175 Apndice II

28、Smbolos especiales. 176 Apndice III Cadenas de nombre simple especiales. 177 III.1 Cadenas de nombre simple reservadas 177 III.2 Cadenas de nombre simple predefinidas. 178 III.3 Nombres de excepcin. 178 Apndice IV Ejemplos de programas 179 IV.1 Operaciones sobre enteros 179 IV.2 Las mismas operacion

29、es sobre fracciones. 179 IV.3 Las mismas operaciones sobre nmeros complejos. 180 IV.4 Aritmtica de orden general . 180 IV.5 Adicin bit por bit y verificacin del resultado . 180 IV.6 Operaciones con fechas 181 IV.7 Numerales romanos . 182 IV.8 Cuenta de letras en una cadena de caracteres de longitud

30、arbitraria . 183 IV.9 Nmeros primos 184 IV.10 Implementacin de pilas de dos formas distintas, transparentes para el usuario 184 IV.11 Fragmento para jugar al ajedrez . 185 IV.12 Construccin y manejo de una lista circularmente enlazada 188 IV.13 Una regin para manejar accesos competitivos a un recurs

31、o 189 IV.14 Cola de espera para las llamadas que llegan a una central . 190 IV.15 Asignar y desasignar un conjunto de recursos. 190 IV.16 Asignar y desasignar un conjunto de recursos empleando tampones 192 IV.17 Explorador de cadena 1 194 IV.18 Explorador de cadena 2 195 IV.19 Supresin de un tem en

32、una lista doblemente enlazada. 196 IV.20 Actualizar un registro de un fichero 196 IV.21 Fusin de dos ficheros clasificados. 197 IV.22 Lectura de un fichero con registros de longitud variable 198 IV.23 Utilizacin de mdulos de espec 199 IV.24 Ejemplo de un contexto 199 IV.25 Utilizacin de prefijacin y

33、 mdulos remotos. 199 vi Rec. UIT-T Z.200 (11/1999 S) Pgina IV.26 Utilizacin de entrada/salida de texto . 200 IV.27 Una pila genrica. 201 IV.28 Un tipo de datos abstracto 202 IV.29 Ejemplo de un mdulo de espec . 202 IV.30 Orientacin a objetos: modos para pilas simples, secuenciales 202 IV.31 Orientac

34、in a objetos: extensin de modo: pila simple, secuencial con operacin “top“ . 204 IV.32 Orientacin a objetos: modos para pilas con sincronizacin de acceso. 204 Apndice V Caractersticas suprimidas . 206 V.1 Directiva de liberacin. 206 V.2 Sintaxis de los modos enteros. 206 V.3 Modos conjunto con hueco

35、s. 206 V.4 Sintaxis de los modos procedimiento 206 V.5 Sintaxis de modo cadena 207 V.6 Sintaxis de los modos matriz 207 V.7 Notacin de la estructura de niveles . 207 V.8 Nombres de referencia de correspondencia. 207 V.9 Declaraciones basadas . 207 V.10 Literales de cadena de caracteres 207 V.11 Expr

36、esiones de recibir 207 V.12 Notacin addr 207 V.13 Sintaxis de asignacin 207 V.14 Sintaxis de la accin de caso 207 V.15 Sintaxis de la accin hacer para 207 V.16 Contadores de bucle explcitos. 208 V.17 Sintaxis de la accin llamar 208 V.18 Excepcin RECURSEFAIL . 208 V.19 Sintaxis de la accin arrancar.

37、208 V.20 Nombres explcitos de valor a recibir . 208 V.21 Bloques . 208 V.22 Sentencia de entrada 208 V.23 Nombres de registro. 208 V.24 Atributo recursivo 208 V.25 Cuasi sentencias de causa y cuasi manejadores. 209 V.26 Sintaxis de cuasi sentencias 209 V.27 Nombres dbilmente visibles y sentencias de

38、 visibilidad. 209 V.28 Nombres dbilmente visibles y sentencias de visibilidad. 209 V.29 Infiltrabilidad. 209 V.30 Toma mediante nombre modulin 209 V.31 Cadenas de nombre simple predefinidas. 209 Apndice VI ndice de las reglas de produccin 210 ISO/CEI 9496 : 2002 (S) Rec. UIT-T Z.200 (11/1999 S) 1 NO

39、RMA INTERNACIONAL Rec. UIT-T Z.200 (11/1999 S) ISO/CEI 9496 : 2002 (S) RECOMENDACIN UIT-T CHILL EL LENGUAJE DE PROGRAMACIN DEL UIT-T 1 Introduccin Esta Recomendacin | Norma Internacional define el lenguaje de programacin del UIT-T CHILL. Cuando CHILL fue definido por primera vez en1980, “CHILL“ eran

40、 las siglas inglesas de la expresin Lenguaje de alto nivel del CCITT (CCITT High Level Language). En las subclusulas siguientes de esta clusula se exponen algunos de los fundamentos del diseo de este lenguaje y se examinan las caractersticas generales del mismo. En los manuales “Introduction to CHIL

41、L“ y “CHILL users manual“ puede verse informacin sobre el diverso material de introduccin y de formacin sobre este tema. El manual titulado “Formal definition of CHILL“ presenta una definicin alternativa de CHILL, en una forma matemtica estricta (basada en la notacin VDM). 1.1 Generalidades CHILL es

42、 un lenguaje estructurado en bloques, sumamente tipificado, concebido sobre todo para la implementacin de amplios y complejos sistemas insertados. CHILL se dise con los siguientes objetivos: mejorar la fiabilidad y la eficacia en la ejecucin mediante una amplia utilizacin de comprobaciones durante l

43、a compilacin; ser lo suficientemente flexible y potente para atender la necesaria gama de aplicaciones y explotar diversas modalidades de soporte fsico; proporcionar facilidades que estimulen el desarrollo por piezas y modular de sistemas extensos; responder a implementaciones en tiempo real proporc

44、ionando funciones primitivas incorporadas de concurrencia y supervisin de tiempo; permitir la generacin de un cdigo objeto de gran eficacia; ser fcil de aprender y usar. El poder expresivo propio del diseo del lenguaje permite que los ingenieros seleccionen las construcciones apropiadas tomndolas de

45、 un rico conjunto de facilidades, de manera que la implementacin resultante se ajuste de una manera ms precisa a la especificacin original. Dado que CHILL distingue cuidadosamente entre objetos estticos y dinmicos, casi todas las comprobaciones semnticas pueden realizarse durante la compilacin, lo q

46、ue evidentemente repercute en beneficio de la ejecucin. La violacin de las reglas dinmicas CHILL produce excepciones en la ejecucin, que pueden ser interceptadas por un manejador de excepciones apropiado (no obstante, la generacin de esas comprobaciones implcitas es facultativa, a menos que se espec

47、ifique explcitamente un manejador definido por el usuario). CHILL permite escribir programas independientemente de la mquina. El propio lenguaje es independiente de la mquina; sin embargo, determinados sistemas de compilacin pueden exigir la provisin de objetos especficos definidos por la implementa

48、cin. Debe sealarse que, en general, los programas que contienen esos objetos no sern portables. 1.2 Examen general del lenguaje Un programa CHILL consta esencialmente de tres partes: una descripcin de los objetos de datos; una descripcin de las acciones que han de efectuarse sobre los objetos de datos; una descripcin de la estructura del programa. ISO/CEI 9496 : 2002 (S) 2 Rec. UIT-T Z.200 (11/1999 S) Los objetos de datos se describen mediante sentencias de datos (sentencias de declaracin y de definicin); las acciones se describen mediante sentencias de accin,