ITU-T Z 121 SPANISH-2003 Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC)《规范和描述语言(SDL)数据与消息序列图(MSC)的绑定 Z系列 电信系统的语言和通用软件方面 形式描述技术(FDT)消息序列表.pdf

《ITU-T Z 121 SPANISH-2003 Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC)《规范和描述语言(SDL)数据与消息序列图(MSC)的绑定 Z系列 电信系统的语言和通用软件方面 形式描述技术(FDT)消息序列表.pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 121 SPANISH-2003 Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC)《规范和描述语言(SDL)数据与消息序列图(MSC)的绑定 Z系列 电信系统的语言和通用软件方面 形式描述技术(FDT)消息序列表.pdf（18页珍藏版）》请在麦多课文档分享上搜索。

1、 UNIN INTERNACIONAL DE TELECOMUNICACIONES UIT-T Z.121SECTOR DE NORMALIZACIN DE LAS TELECOMUNICACIONES DE LA UIT (02/2003) SERIE Z: LENGUAJES Y ASPECTOS GENERALES DE SOPORTE LGICO PARA SISTEMAS DE TELECOMUNICACIN Tcnicas de descripcin formal Grficos de secuencias de mensajes Vinculacin entre los dato

2、s del lenguaje de especificacin y descripcin y los grficos de secuencias de mensajes Recomendacin UIT-T Z.121 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.100

3、Z.109 Aplicacin de tcnicas de descripcin formal Z.110Z.119 Grficos de secuencias de mensajes Z.120Z.129 Lenguaje ampliado de definicin de objetos Z.130Z.139 Notacin combinada arborescente y tabular Z.140Z.149 Notacin de requisitos de usuarios Z.150Z.159 LENGUAJES DE PROGRAMACIN CHILL: el lenguaje de

4、 alto nivel 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 con pantalla de visualizacin Z.320Z.329 Especificacin de la interfaz hombre-mquina Z.330Z.349 Interfaces hombre-mquina orientadas

5、a datos Z.350Z.359 Interfaces hombre-mquina para la gestin de las redes de telecomunicaciones Z.360Z.369 CALIDAD Calidad de soportes lgicos de telecomunicaciones Z.400Z.409 Aspectos de la calidad de las Recomendaciones relativas a los protocolos Z.450Z.459 MTODOS Mtodos para validacin y pruebas Z.50

6、0Z.519 SOPORTE INTERMEDIO Entorno del procesamiento distribuido Z.600Z.609 Para ms informacin, vase la Lista de Recomendaciones del UIT-T. Rec. UIT-T Z.121 (02/2003) i Recomendacin UIT-T Z.121 Vinculacin entre los datos del lenguaje de especificacin y descripcin y los grficos de secuencias de mensaj

7、es Resumen En esta Recomendacin se describe el lenguaje de especificacin y descripcin (Z.100) (SDL) para los elementos sintcticos y semnticos de la interfaz de datos de los grficos de secuencias de mensajes (Z.120) (MSC), se definen los tipos por defecto, y tambin la sintaxis de las posibles definic

8、iones de datos SDL que se pueden utilizar en un documento MSC. Orgenes La Recomendacin UIT-T Z.121, preparada por la Comisin de Estudio 17 (2001-2004) del UIT-T, fue aprobada por el procedimiento de la Resolucin 1 de la AMNT el 13 de febrero de 2003. ii Rec. UIT-T Z.121 (02/2003) PREFACIO La UIT (Un

9、in Internacional de 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 tarifar

10、ios y publica Recomendaciones sobre los mismos, con miras a la normalizacin de las telecomunica-ciones en el plano mundial. La Asamblea Mundial de Normalizacin de las Telecomunicaciones (AMNT), que se celebra cada cuatro aos, establece los temas que han de estudiar las Comisiones de Estudio del UIT-

11、T, que a su vez producen Recomendaciones sobre dichos temas. La aprobacin de Recomendaciones por los Miembros del UIT-T es el objeto del procedimiento establecido en la Resolucin 1 de la AMNT. En ciertos sectores de la tecnologa de la informacin que corresponden a la esfera de competencia del UIT-T,

12、 se preparan las 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 INTELEC

13、TUAL La UIT seala 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 intelect

14、ual reivindicados, 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 R

15、ecomendacin. Sin 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 2003 Reservados todos los derechos. Ninguna parte de esta public

16、acin puede reproducirse por ningn procedimiento sin previa autorizacin escrita por parte de la UIT. Rec. UIT-T Z.121 (02/2003) iii NDICE Pgina 1 Alcance . 1 2 Referencias . 1 3 Interfaz sintctica 1 3.1 Declaracin de lenguaje . 1 3.2 Declaraciones de parntesis y de escape 2 3.3 Declaracin y utilizaci

17、n de datos 2 3.4 Tipos de datos por defecto y comodines 3 4 Interfaz semntica. 3 4.1 Definiciones relativas a la buena formacin 3 4.2 Funciones de interfaz de la semntica esttica . 4 4.2.1 Tc1, cadenas de definicin de datos. 4 4.2.2 Tc2, cadenas de referencia de tipo . 5 4.2.3 Tc3, cadenas de expres

18、in 5 4.2.4 Tc4, cadenas de expresiones tipificadas. 6 4.2.5 EqVar, cadenas de variables iguales 6 4.3 Funciones de interfaz semntica dinmica . 7 4.3.1 Vars, extraccin de variables 7 4.3.2 Replace, sustitucin de variable . 7 4.3.3 NewVar, nueva variable . 7 4.3.4 Eval, evaluacin de expresiones. 8 5 E

19、jemplo. 9 5.1 Utilizacin de la interfaz SDL por defecto. 9 iv Rec. UIT-T Z.121 (02/2003) Introduccin La vinculacin entre los datos del SDL y los MSC se describe en dos partes. En la primera parte se describe la sintaxis de la interfaz, la cual define las instrucciones de documentos MSC relativas a l

20、a utilizacin del SDL como el lenguaje de datos, y en la segunda se describe la semntica de la interfaz. Esta ltima consiste en la definicin de una serie de funciones que se utilizan para evaluar la sintaxis, la semntica esttica y la semntica dinmica de los datos SDL utilizados en MSC. Rec. UIT-T Z.1

21、21 (02/2003) 1 Recomendacin UIT-T Z.121 Vinculacin entre los datos del lenguaje de especificacin y descripcin y los grficos de secuencias de mensajes 1 Alcance En esta Recomendacin se describe el lenguaje de especificacin y descripcin (Z.100) para la interfaz de datos de los grficos de secuencias de

22、 mensajes (Z.120) que es definido como el lenguaje por defecto para la Z.120. La interfaz de datos definida en la Rec. UIT-T Z.120 para MSC es abierta y permite que los diferentes usuarios del lenguaje utilicen lenguajes de datos diferentes en los diagramas y documentos MSC. En la Rec. UIT-T Z.121 s

23、e vincula esa interfaz abierta a una parte del lenguaje de datos del SDL, que ser el lenguaje de datos por defecto. Es decir, si en un documento MSC no hay una definicin explcita de la interfaz de datos, se supondr que se aplica la vinculacin definida en esta Recomendacin, ya que es el lenguaje de c

24、adenas de definicin de datos vlidas. sta es la primera versin de la Rec. UIT-T Z.121, y se basa en la definicin de interfaz de datos que apareci por primera vez en la Rec. UIT-T Z.120 vigente, publicada en 1999. 2 Referencias Las siguientes Recomendaciones del UIT-T y otras referencias contienen dis

25、posiciones que, mediante su referencia en este texto, constituyen disposiciones de la presente Recomendacin. Al efectuar esta publicacin, estaban en vigor las ediciones indicadas. Todas las Recomendaciones y otras referencias son objeto de revisiones por lo que se preconiza que los usuarios de esta

26、Recomendacin investiguen la posibilidad de aplicar las ediciones ms recientes de las Recomendaciones y otras referencias citadas a continuacin. Se publica peridicamente una lista de las Recomendaciones UIT-T actualmente vigentes. En esta Recomendacin, la referencia a un documento, en tanto que autno

27、mo, no le otorga el rango de una Recomendacin. Recomendacin UIT-T Z.100 (2002), Lenguaje de especificacin y descripcin. Recomendacin UIT-T Z.120 (1999), Grficos de secuencias de mensajes. 3 Interfaz sintctica En los documentos MSC se puede declarar, mediante un enunciado, el nombre del lenguaje de d

28、atos utilizado, de manera que las aplicaciones que soportan ms de un lenguaje puedan distinguirlos. En otros enunciados se declaran las secuencias de parntesis utilizadas en el lenguaje de datos, para que las aplicaciones puedan determinar correctamente el alcance de las cadenas de datos incluidas e

29、n un MSC. En esta clusula se describen los enunciados por defecto para la vinculacin con los datos del SDL. El lenguaje se declara en una definicin de datos que tambin contiene las declaraciones de datos deseados: tipos de datos (con mtodos y operadores), sintipos y sinnimos. 3.1 Declaracin de lengu

30、aje En el documento MSC se puede declarar el lenguaje, determinndose as qu lenguaje de datos se utiliza en todos MSC incluidos en el documento MSC global. Para el SDL, la declaracin del lenguaje es la siguiente (es opcional incluirla porque se trata de la opcin por defecto): language SDL; 2 Rec. UIT

31、-T Z.121 (02/2003) Si se hace esta declaracin de lenguaje, las declaraciones de parntesis y de escape quedan implcitamente declaradas, y por consiguiente no es necesario declararlas explcitamente en cada documento MSC, ni tampoco los tipos por defecto o sus correspondientes comodines. 3.2 Declaracio

32、nes de parntesis y de escape Cuando se utilizan los datos SDL en los MSC, segn la declaracin de lenguaje anterior, se supondrn las declaraciones de parntesis y de escape siguientes: parenthesis nestable (), , (), ; nonnestable /*/, /#/, ; equalpar /; escape ?; ; Esta declaracin significa que: en las

33、 cadenas de datos se aceptan los y Z.100 (/# un comentario #/ y /* una nota */); se puede utilizar los calificadores Z.100 (por ejemplo, ) para resolver conflictos de nombre; se pueden utilizar cadenas de caracteres Z.100 (hello world) en cadenas de expresiones, para lo cual las comillas dobles (“)

34、se utilizarn de la misma manera que en la Z.100, de modo que se puedan emplear las comillas sencillas en las cadenas; se utiliza el signo ? como carcter de escape general para los smbolos de terminacin MSC en las cadenas de datos. Cuando en la cadena de datos se desea utilizar libremente un smbolo M

35、SC que puede indicar el final de una cadena de datos, por ejemplo un punto y coma, se deber utilizar junto con el carcter escape ?. Por utilizar libremente se entiende que no est “oculto“ dentro de un par de parntesis declarados SDL. Por ejemplo no es necesario utilizar el carcter de escape para un

36、punto y coma que est dentro de una cadena SDL, porque est oculto entre los caracteres que delimitan la cadena. El nico smbolo SDL que necesita el carcter de escape en un contexto SDL es la comilla sencilla dentro de una expresin de cadena. Las cadenas SDL no requieren ningn tratamiento especial cuan

37、do se utiliza dentro de una cadena de datos MSC. Los analizadores sintcticos MSC comprueban la correspondencia de parntesis. Por ejemplo: (. y ( son parntesis que pueden ir anidados, por lo que el analizador sintctico detectar si estos parntesis estn anidados de manera incorrecta. 3.3 Declaracin y u

38、tilizacin de datos Las declaraciones de tipo de datos en el lenguaje de datos nativo, se hacen efectivamente en la cadena abierta de un documento MSC. En la siguiente clusula se describe la sintaxis SDL que se puede utilizar en esta cadena. Hay limitaciones para las expresiones autorizadas en el MSC

39、, porque con una SDL se pueden crear estructuras lingsticas que pueden causar efectos colaterales. En particular, no contendrn: ; ; . Rec. UIT-T Z.121 (02/2003) 3 Los comentarios SDL ( y ) se pueden incluir en cualquiera de las cadenas terminales MSC. Las funciones semnticas estticas definidas en la

40、 clusula 4, indican las SDL que se pueden utilizar en un MSC. 3.4 Tipos de datos por defecto y comodines Cuando el MSC se utiliza con los datos SDL de acuerdo con la declaracin del lenguaje descrita en 3.1, se supone un lote SDL predefinido, de modo que los tipos de datos predefinidos son los que se

41、 indican en o , y los operadores predefinidos pueden estar indicados dentro de una . Los MSC requieren los tipos de datos booleano, nmero natural y de tiempo (vase 5.11/Z.120). Los tipos de datos correspondientes en la Rec. UIT-T Z.100 que se utilizan por defecto son: value type Boolean; syntype Nat

42、ural; value type Time. Para cada uno de estos tipos por defecto estn declarados implcitamente los siguientes comodines por defecto: wildcards anyB: Boolean; anyN: Natural; anyT: Time. 4 Interfaz semntica La interfaz semntica se define en tres partes: la buena formacin, que describe la gramtica de ca

43、denas de datos SDL vlidas que puedan utilizarse en MSC; semntica esttica, que identifica los requisitos de tipo para establecer si es correcta una SDL bien formada; semntica dinmica, que define cmo evaluar cadenas de expresiones SDL bien formadas y de tipo correcto utilizadas en MSC. 4.1 Definicione

44、s relativas a la buena formacin La interfaz de datos especifica cuatro funciones, Wf1, . , Wf4, necesarias para definir cadenas de datos sintcticamente vlidas. En el cuadro 4-1 se indica la gramtica SDL correspondiente a las cadenas de datos vlidas. Por ejemplo, Wf1(v) es verdadera, nicamente si v e

45、s una cadena que se puede producir mediante la regla gramatical SDL para . Las cadenas pueden contener comentarios SDL en la forma usual, de modo que las definiciones se aplican a las cadenas despus de haber filtrado los comentarios indicados mediante o . 4 Rec. UIT-T Z.121 (02/2003) Cuadro 4-1/Z.12

46、1 Correspondencia de cadenas en la interfaz de datos MSC Nombre de la funcin de buena formacin Cadena terminal MSC Gramtica SDL Wf1 Wf2 * Wf3 Wf4 Para las cadenas de definicin de datos, Wf2, es preciso definir las cadenas vlidas mediante una regla gramatical auxiliar, utilizando para generacin de SD

47、L, ya que no existe una generacin de SDL que corresponda al requisito. La regla permite cualquier secuencia de encerrados entre un par de corchetes (definidos como y ). Los corchetes evitan que se tenga que utilizar el carcter de escape para los caracteres punto y coma en las definiciones de datos,

48、puesto que el punto y coma acta como carcter delimitante para las propias cadenas de definicin de datos. As pues, una vlida forma un cuerpo de lote SDL vlido (un subconjunto de los elementos posibles en un lote). 4.2 Funciones de interfaz de la semntica esttica En la interfaz de datos se especifican cuatro predicados, Tc1, . , Tc4, uno para cada clase de cadenas de datos, que son necesarios para afirmar que se ha respetado la semntica esttica en las cadenas de datos vlidos. Es decir, los predicados slo se aplicarn a cadenas que satisfacen su co