ITU-T Z 130 AMD 1 SPANISH-2006 Extended Object Definition Language (eODL) Techniques for distributed software component development – Conceptual foundation notations and technologyCID.pdf

1、 Unin Internacional de TelecomunicacionesUIT-T Z.130SECTOR DE NORMALIZACIN DE LAS TELECOMUNICACIONES DE LA UIT Enmienda 1(06/2006) SERIE Z: LENGUAJES Y ASPECTOS GENERALES DE SOPORTE LGICO PARA SISTEMAS DE TELECOMUNICACIN Tcnicas de descripcin formal Lenguaje ampliado de definicin de objetos Lenguaje

2、 ampliado de definicin de objetos: Tcnicas de desarrollo de componentes de soporte lgico distribuido Bases conceptuales, notaciones y correspondencias tecnolgicas Enmienda 1: Nuevo anexo E Correspondencia entre eODL y CIDL Recomendacin UIT-T Z.130 (2003) Enmienda 1 RECOMENDACIONES UIT-T DE LA SERIE

3、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 tcnicas de descripcin formal Z.110Z.119 Grficos de secuencias de mensajes Z.120Z.129 Lenguaje ampliado de definicin de objeto

4、s Z.130Z.139 Notacin de prueba y de control de prueba Z.140Z.149 Notacin de requisitos de usuarios Z.150Z.159 LENGUAJES DE PROGRAMACIN CHILL: el lenguaje de 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

5、 ampliado para terminales con pantalla de visualizacin Z.320Z.329 Especificacin de la interfaz hombre-mquina Z.330Z.349 Interfaces hombre-mquina orientadas a datos Z.350Z.359 Interfaces hombre-mquina para la gestin de las redes de telecomunicaciones Z.360Z.379 CALIDAD Calidad de soportes lgicos de t

6、elecomunicaciones Z.400Z.409 Aspectos de la calidad de las Recomendaciones relativas a los protocolos Z.450Z.459 MTODOS Mtodos para validacin y pruebas Z.500Z.519 SOPORTE INTERMEDIO Entorno del procesamiento distribuido Z.600Z.609 Para ms informacin, vase la Lista de Recomendaciones del UIT-T. Rec.

7、UIT-T Z.130 (2003)/enm.1 (06/2006) i Recomendacin UIT-T Z.130 Lenguaje ampliado de definicin de objetos: Tcnicas de desarrollo de componentes de soporte lgico distribuido Bases conceptuales, notaciones y correspondencias tecnolgicas Enmienda 1 Nuevo Anexo E Correspondencia entre el eODL y el CIDL Re

8、sumen En esta enmienda se suministra un ejemplo de correspondencia entre el eODL de la UIT para las especificaciones de componente independiente de la tecnologa y un lenguaje dependiente de la tecnologa, a saber el CIDL (lenguaje de definicin de implementacin de componente del OMG, como parte de COR

9、BA 3.0). En esta enmienda se transforma (mediante diversas correspondencias) el concepto de componente, partiendo del diseo y de la implementacin (donde son bien conocidos los mdulos) hasta el software binario. La composicin de los componentes tiene lugar durante el tiempo de ejecucin. Orgenes La en

10、mienda 1 a la Recomendacin UIT-T Z.130 (2003) fue aprobada el 13 de junio de 2006 por la Comisin de Estudio 17 (2005-2008) del UIT-T por el procedimiento de la Recomendacin UIT-T A.8. ii Rec. UIT-T Z.130 (2003)/enm.1 (06/2006) PREFACIO La UIT (Unin Internacional de Telecomunicaciones) es el organism

11、o 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 Recomendaciones sobre los mismos, con mi

12、ras 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-T, que a su vez producen Recomendaciones sobre dichos

13、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, se preparan las normas necesarias en colaboracin con

14、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. La observancia de esta Recomendacin es voluntaria. Ahora bien, la Recom

15、endacin puede contener ciertas disposiciones obligatorias (para asegurar, por ejemplo, la aplicabilidad o la interoperabilidad), por lo que la observancia se consigue con el cumplimiento exacto y puntual de todas las disposiciones obligatorias. La obligatoriedad de un elemento preceptivo o requisito

16、 se expresa mediante las frases “tener que, haber de, hay que + infinitivo“ o el verbo principal en tiempo futuro simple de mandato, en modo afirmativo o negativo. El hecho de que se utilice esta formulacin no entraa que la observancia se imponga a ninguna de las partes. PROPIEDAD INTELECTUAL La UIT

17、 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 intelectual reivind

18、icados, 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

19、. 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 en la direccin http:/www.itu.int/ITU-T/ipr/. UIT 2006 Reservados todos los derec

20、hos. Ninguna parte de esta publicacin puede reproducirse por ningn procedimiento sin previa autorizacin escrita por parte de la UIT. Rec. UIT-T Z.130 (2003)/enm.1 (06/2006) iii NDICE Pgina 1) Reemplcense en el Resumen los siguientes tems 1 2) Actualcese el ndice. 1 3) Adase antes del apndice I 2 Rec

21、. UIT-T Z.130 (2003)/enm.1 (06/2006) 1 Recomendacin UIT-T Z.130 Lenguaje ampliado de definicin de objetos: Tcnicas de desarrollo de componentes de soporte lgico distribuido Bases conceptuales, notaciones y correspondencias tecnolgicas Enmienda 1 Nuevo anexo E Correspondencia entre eODL y CIDL 1) Ree

22、mplcense en el Resumen los siguientes tems El anexo D contiene una referencia de soporte lgico para la representacin en XML 12 del metamodelo eODL con arreglo al formato de intercambio meta de XML (XMI) 6. Se facilita en un fichero independiente para poder importar y procesar el metamodelo eODL con

23、las herramientas UML. La clusula 1 presenta una sinopsis de cmo deben utilizar el eODL los diseadores, implementadores y gestores de sistemas distribuidos. El apndice I proporciona un ejemplo concreto de su uso. por: El anexo D contiene una referencia de soporte lgico para la representacin en XML 12

24、 del metamodelo eODL con arreglo al formato de intercambio meta de XML (XMI) 6. Se facilita en un fichero independiente para poder importar y procesar el metamodelo eODL con las herramientas UML. El anexo E contiene las reglas de correspondencia entre el eODL independiente de la tecnologa y el CIDL

25、especfico a ella 7. En el apndice I se proporciona una sinopsis de cmo deben utilizar el eODL los diseadores, implementadores y gestores de sistemas distribuidos. En el apndice I se suministra un ejemplo de su uso concreto. 2) Actualcese el ndice Adase lo siguiente al ndice, antes del apndice I. Act

26、ualcese la numeracin de las pginas con arreglo al nuevo documento. 2 Rec. UIT-T Z.130 (2003)/enm.1 (06/2006) 3) Adase antes del apndice I Anexo E Correspondencia del eODL con el CIDL E.1 Introduccin El desarrollo de software basado en componentes es una estrategia enfocada a obtener un software modu

27、lar y basado en el modelo. Varias correspondencias soportan este tipo de desarrollo, que transforma modelos de componente (vistos desde diversas perspectivas, como por ejemplo la de diseo y la de implementacin) en componentes de software binarios. La composicin de los componentes de software tiene l

28、ugar durante el tiempo de ejecucin. El eODL es un lenguaje que permite la utilizacin de conceptos para una descripcin de modelo independiente de la tecnologa de los componentes durante su vida til, desde diversas perspectivas. Algunos conceptos tales como objeto computacional, componente, interfaz,

29、mdulo, seal y tipo de datos son esenciales en las perspectivas computacional y de implementacin. Adems, hay otros conceptos que sirven para la descripcin de los entornos de funcionamiento y la utilizacin de componentes de software. El CCM (CORBA component model 7) es una norma del OMG para un marco

30、dependiente de la plataforma. Esta norma proporciona un metamodelo para la descripcin de componentes CORBA dependientes de la tecnologa, y la tecnologa y el entorno de funcionamiento para componentes desarrollados utilizando dicho metamodelo. El CCM se basa en tecnologas de CORBA ampliamente utiliza

31、das, como por ejemplo el protocolo GIOP y vinculaciones de lenguaje para lenguaje de implementacin. En el modelo de componente de CCM se definen dos tipos de interaccin de componente, a saber una interaccin de tipo RPC con peticin/respuesta y una de tipo seal con eventos. Para cada una de estas inte

32、racciones, los componentes pueden declarar su utilizacin o su configuracin. El CCM utiliza el lenguaje CIDL para la implementacin de la notacin de componente. Con el fin de cerrar la brecha entre modelos de componentes de software independientes de la tecnologa, presentados como especificaciones eOD

33、L y modelos dependientes de la tecnologa, presentados como modelos CIDL, se necesitan correspondencias que permitan la transformacin automtica de modelos. El lenguaje de definicin de implementacin de componente (CIDL, component implementation definition language) del OMG se utiliza para describir la

34、 estructura y el estado de las implementaciones de componente CORBA. Los compiladores que aceptan componentes generan estructuras de implementacin a partir de las definiciones CIDL. Los constructores de componentes amplan dichas estructuras, creando as implementaciones completas. Este anexo define l

35、as reglas para la correspondencia entre el eODL y el CIDL. Dichas reglas se verifican mediante una implementacin de compilador. E.2 Correspondencia restringida entre el eODL y el CIDL La definicin del eODL se basa ampliamente en conceptos definidos por el IDL 2.x de CORBA 5. De igual manera, el meta

36、modelo del eODL forma una extensin del metamodelo de CORBA. Si bien los conceptos adaptados se atribuyen a la perspectiva computacional del eODL, desafortunadamente el metamodelo de CCM no soporta los conceptos eODL de la perspectiva de despliegue y del entorno objetivo. El metamodelo MOF del CCM no

37、 define an dicho campo. Slo Rec. UIT-T Z.130 (2003)/enm.1 (06/2006) 3 existen tipos de documentos XML definidos que son necesarios para la puesta en marcha final de la arquitectura de despliegue. Conclusin: No se hacen corresponder los conceptos eODL que tienen que ver con la perspectiva de desplieg

38、ue y la perspectiva de entorno objetivo. Conviene ampliar las reglas de correspondencia, en espera de que el OMG finalice el proceso de normalizacin. E.3 Correspondencia de conceptos eODL que son conceptos CORBA en el CCM Tal como el metamodelo eODL, el metamodelo CCM tambin ampla los conceptos CORB

39、A 2.x. Por consiguiente, para los conceptos eODL que se derivan de CORBA se escoge la correspondencia ms simple, a saber la correspondencia idntica. De esta manera, es posible atribuir conceptos bsicos de la perspectiva computacional de eODL, como tipos de datos, interfaces, operacin y atributos, de

40、l nivel independiente de la plataforma al nivel especfico de la plataforma, solicitando as el trabajo de quien desarrolla. Al utilizar el metamodelo CORBA como fuente y como destino para la correspondencia, es posible que ocurran traslapos al definir las reglas de transformacin. Esto slo ocurre, com

41、o consecuencia de la correspondencia idntica, cuando se emplean conceptos del metamodelo CORBA en un contexto que no se deriva de l mismo. E.4 Correspondencia de conceptos desde el punto de vista computacional E.4.1 Seal Las seales llevan informacin en el eODL y son transportadas durante una interac

42、cin que se basa en seal desde el remitente hasta el receptor. Regla 1: Para cada SignalDef en eODL se crea un EventDef en CCM con el mismo nombre. Los nombres y tipos de datos correspondientes en un CarryField en el eODL se hacen corresponder con los elementos ValueMemberDef en CCM, que estn incluid

43、os dentro del EventDef. Todo ValueMemberDef creado tiene visibilidad pblica (isPublicMember=true). Ejemplo: signal Sig long l; ; Se hace corresponder al CIDL eventtype Sig public long l; ; E.4.2 Consumir y producir Se supone que los elementos de interaccin consumir y producir del eODL definen la int

44、eraccin basada en seal dentro de una interfaz. Si bien dicha interaccin existe en el CCM (EventDef), no se permite que sea parte de una interfaz, sino que el CCM la define solamente como una parte directa de una definicin de componente. Esto tampoco est permitido en el eODL: slo se permiten atributo

45、s. Si se prohibiese completamente los elementos consumir y producir en el modelo eODL, no sera posible tener una interaccin basada en seal. Por lo tanto, se define una construccin que las reemplaza, que aunque incrementa la complejidad de la correspondencia, por lo menos permite dichas interacciones

46、. En el CCM la definicin de una seal (EventDef) forma una definicin de una interfaz para el intercambio de seales. Al definir puertos de componente, se tratan como puertos propios. Es decir, para cada elemento de interaccin basado en del eODL se define un puerto aparte en el componente. 4 Rec. UIT-T

47、 Z.130 (2003)/enm.1 (06/2006) Regla 2: No se hacen corresponder los elementos de tipo ConsumeDef y ProduceDef en el eODL, pero su procesamiento se efecta siguiendo las reglas para puertos. Ejemplo: signal Sig; interface A consumes Sig c; produces Sig p; ; Se hace corresponder al CIDL, donde se supri

48、men los elementos de interaccin basados en seal del EnhancedInterfaceDef. Slo se reflejan las seales en CCM como EventDef. eventtype Sig ; interface A ; E.4.3 Medios, sumidero y fuente El CCM soporta las interacciones operacionales y basadas en seal. No se reflejan las interacciones basadas en el tren. Si bien se est realizando algn trabajo tendiente a ampliar el CCM a dichos conceptos, el resultado an no se materializa en la norma. Por consiguiente, la correspondencia no transformar los elementos de modelo de dichos conceptos del eODL al CCM. E.4.4 Tipos de CO, soporta y requiere Tant