1、UNIN INTERNACIONAL DE TELECOMUNICACIONESUIT-TX.904SECTOR DE NORMALIZACINDE LAS TELECOMUNICACIONESDE LA UIT(12/97)SERIE X: REDES DE DATOS Y COMUNICACINENTRE SISTEMAS ABIERTOSProcesamiento distribuido abiertoTecnologa de la informacin Procesamientodistribuido abierto Modelo de referencia:Semntica arqu
2、itecturalRecomendacin UIT-T X.904(Anteriormente Recomendacin del CCITT)RECOMENDACIONES DE LA SERIE X DEL UIT-TREDES DE DATOS Y COMUNICACIN ENTRE SISTEMAS ABIERTOSPara ms informacin, vase la Lista de Recomendaciones del UIT-T.REDES PBLICAS DE DATOSServicios y facilidades X.1X.19Interfaces X.20X.49Tra
3、nsmisin, sealizacin y conmutacin X.50X.89Aspectos de redes X.90X.149Mantenimiento X.150X.179Disposiciones administrativas X.180X.199INTERCONEXIN DE SISTEMAS ABIERTOSModelo y notacin X.200X.209Definiciones de los servicios X.210X.219Especificaciones de los protocolos en modo conexin X.220X.229Especif
4、icaciones de los protocolos en modo sin conexin X.230X.239Formularios para declaraciones de conformidad de implementacin de protocolo X.240X.259Identificacin de protocolos X.260X.269Protocolos de seguridad X.270X.279Objetos gestionados de capa X.280X.289Pruebas de conformidad X.290X.299INTERFUNCIONA
5、MIENTO ENTRE REDESGeneralidades X.300X.349Sistemas de transmisin de datos por satlite X.350X.399SISTEMAS DE TRATAMIENTO DE MENSAJES X.400X.499DIRECTORIO X.500X.599GESTIN DE REDES DE INTERCONEXIN DE SISTEMAS ABIERTOS Y ASPECTOSDE SISTEMASGestin de redes X.600X.629Eficacia X.630X.639Calidad de servici
6、o X.640X.649Denominacin, direccionamiento y registro X.650X.679Notacin de sintaxis abstracta uno X.680X.699GESTIN DE INTERCONEXIN DE SISTEMAS ABIERTOSMarco y arquitectura de la gestin de sistemas X.700X.709Servicio y protocolo de comunicacin de gestin X.710X.719Estructura de la informacin de gestin
7、X.720X.729Funciones de gestin y funciones de arquitectura de gestin distribuida abierta X.730X.799SEGURIDAD X.800X.849APLICACIONES DE INTERCONEXIN DE SISTEMAS ABIERTOSCometimiento, concurrencia y recuperacin X.850X.859Procesamiento de transacciones X.860X.879Operaciones a distancia X.880X.899PROCESA
8、MIENTO DISTRIBUIDO ABIERTO X.900X.999Rec. UIT-T X.904 (1997 S) iNORMA INTERNACIONAL 10746-4RECOMENDACIN UIT-T X.904TECNOLOGA DE LA INFORMACIN PROCESAMIENTO DISTRIBUIDOABIERTO MODELO DE REFERENCIA: SEMNTICA ARQUITECTURALResumenLa presente Recomendacin | Norma Internacional forma parte integrante del
9、modelo de referencia del procesamientodistribuido abierto (ODP). Contiene una formalizacin de los conceptos de modelado del ODP definidos en lasclusulas 8 y 9 de la Rec. UIT-T X.902 | ISO/CEI 10746-2. La formalizacin se consigue interpretando cada concepto enbase a las construcciones de las diferent
10、es tcnicas de descripcin formal normalizada.OrgenesEl texto de la Recomendacin UIT-T X.904 se aprob el 12 de diciembre de 1997. Su texto se publica tambin, en formaidntica, como Norma Internacional ISO/CEI 10746-4.ii Rec. UIT-T X.904 (1997 S)PREFACIOLa UIT (Unin Internacional de Telecomunicaciones)
11、es el organismo especializado de las Naciones Unidas en el campode las telecomunicaciones. El UIT-T (Sector de Normalizacin de las Telecomunicaciones de la UIT) es un rganopermanente de la UIT. Este rgano estudia los aspectos tcnicos, de explotacin y tarifarios y publica Recomendacionessobre los mis
12、mos, 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 producen Recomendacionessob
13、re dichos temas.La aprobacin de Recomendaciones por los Miembros del UIT-T es el objeto del procedimiento establecido en laResolucin N. 1 de la CMNT.En ciertos sectores de la tecnologa de la informacin que corresponden a la esfera de competencia del UIT-T, sepreparan las normas necesarias en colabor
14、acin con la ISO y la CEI.NOTAEn esta Recomendacin, la expresin “Administracin“ se utiliza para designar, en forma abreviada, tanto unaadministracin de telecomunicaciones como una empresa de explotacin reconocida de telecomunicaciones.PROPIEDAD INTELECTUALLa UIT seala a la atencin la posibilidad de q
15、ue la utilizacin o aplicacin de la presente Recomendacin suponga elempleo de un derecho de propiedad intelectual reivindicado. La UIT no adopta ninguna posicin en cuanto a lademostracin, validez o aplicabilidad de los derechos de propiedad intelectual reivindicados, ya sea por los miembros dela UIT
16、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. Sin embargo, debe sealarse a losusuarios q
17、ue puede que esta informacin no se encuentre totalmente actualizada al respecto, por lo que se les instaencarecidamente a consultar la base de datos sobre patentes de la TSB. UIT 1998Es propiedad. Ninguna parte de esta publicacin puede reproducirse o utilizarse, de ninguna forma o por ningn medio,se
18、a ste electrnico o mecnico, de fotocopia o de microfilm, sin previa autorizacin escrita por parte de la UIT.Rec. UIT-T X.904 (1997 S) iiiNDICEPgina0 Introduccin 11 Alcance . 22 Referencias normativas . 23 Definiciones 33.1 Definiciones de la Norma ISO/CEI 8807. 33.2 Definiciones de la Recomendacin U
19、IT-T Z.100 33.3 Definiciones de la norma de base Z . 33.4 Definiciones de ISO/CEI 9074 34 Interpretacin de los conceptos relativos al modelado 34.1 Semntica arquitectural en LOTOS . 34.2 Semntica arquitectural en ACT ONE. 104.3 Semntica arquitectural en SDL-92 . 174.4 Semntica arquitectural en Z 234
20、.5 Semntica arquitectural en ESTELLE . 29iv Rec. UIT-T X.904 (1997 S)PrefacioLa presente Recomendacin | Norma Internacional forma parte integrante del modelo de referencia del procesamientodistribuido abierto (ODP). Contiene una formalizacin de los conceptos de modelado del ODP definidos en lasclusu
21、las 8 y 9 de la Rec. UIT-T X.902 | ISO/CEI 10746-2. La formalizacin se consigue interpretando cada concepto enbase a las construcciones de las diferentes tcnicas de descripcin formal normalizada.La presente Recomendacin | Norma Internacional va acompaada por una enmienda y un informe tcnico. La enmi
22、endaasociada se centra en la formalizacin del lenguaje del punto de vista computacional contenido en la Rec. UIT-T X.903 |ISO/CEI 10746-3. El informe tcnico asociado contiene ejemplos de cmo puede aplicarse la formalizacin del modelode referencia ODP para desarrollar especificaciones.ISO/CEI 10746-4
23、 : 1998 (S)Rec. UIT-T X.904 (1997 S) 1NORMA INTERNACIONALISO/CEI 10746-4 : 1998 (S)Rec. UIT-T X.904 (1997 S)RECOMENDACIN UIT-TTECNOLOGA DE LA INFORMACIN PROCESAMIENTO DISTRIBUIDOABIERTO MODELO DE REFERENCIA: SEMNTICA ARQUITECTURAL0 IntroduccinEl rpido crecimiento del procesamiento distribuido ha cre
24、ado la necesidad de un marco de coordinacin para lanormalizacin del procesamiento distribuido abierto (ODP, open distributed processing). El modelo de referencia(RM, reference model) del ODP proporciona ese marco. Crea una arquitectura dentro de la cual se puede integrar elsoporte de la distribucin,
25、 el interfuncionamiento, la interoperabilidad y la portabilidad.El modelo de referencia bsico del procesamiento distribuido abierto (RM-ODP, basic reference model of opendistributed processing) (vanse las Recomendaciones UIT-T X.901 a X.904 | ISO/CEI 10746), se basa en conceptosprecisos utilizados e
26、n trabajos actualmente en curso para el desarrollo del procesamiento distribuido y, en la medida de loposible, en el empleo de tcnicas de descripcin formal para la especificacin de la arquitectura.El modelo de referencia de procesamiento distribuido abierto est constituido por: La Rec. UIT-T X.901 |
27、 ISO/CEI 10746-1: Visin de conjunto: Contiene una visin de conjunto de lasmotivaciones del ODP, que da el alcance, la justificacin y la explicacin de conceptos esenciales y unadescripcin de la arquitectura ODP. Este texto no es normativo. La Rec. UIT-T X.902 | ISO/CEI 10746-2: Fundamentos: Contiene
28、la definicin de conceptos y marcoanaltico y la notacin para la descripcin normalizada de sistemas de procesamiento distribuido(arbitrarios). La exposicin se hace solamente a un nivel de detalle suficiente para la aplicacin de laRec. UIT-T X.903 | ISO/CEI 10746-3 y el establecimiento de los requisito
29、s para las nuevas tcnicas deespecificacin. Este texto es normativo. La Rec. UIT-T X.903 | ISO/CEI 10746-3: Arquitectura: Contiene la especificacin de las caractersticasque debe tener un procesamiento distribuido para que sea abierto. stas son las constricciones a que debenajustarse las normas ODP. E
30、mplea las tcnicas descriptivas de la Rec. UIT-T X.902 | ISO/CEI 10746-2.Este texto es normativo. La Rec. UIT-T X.904 | ISO/CEI 10746-4: Semntica arquitectural: Contiene una formalizacin de losconceptos de modelado ODP definidos en las clusulas 8 y 9 de la Rec. UIT-T X.902 | ISO/CEI 10746-2 yuna form
31、alizacin de los lenguajes de punto de vista de la Rec. UIT-T X.903 | ISO/CEI 10746-3. Laformalizacin se consigue interpretando cada concepto en trminos de las construcciones de las diferentestcnicas de descripcin formal normalizada. Este texto es normativo.La presente Recomendacin | Norma Internacio
32、nal tiene por objeto proporcionar una semntica arquitectural para elODP, lo cual viene a ser en definitiva una interpretacin de los conceptos bsicos de modelado y de especificacin de laRec. UIT-T X.902 | ISO/CEI 10746-2 y los lenguajes de punto de vista de la Rec. UIT-T X.903 | ISO/CEI 10746-3,utili
33、zando las diversas caractersticas de los diferentes lenguajes de especificacin formal. Se elabora una semnticaarquitectural en cuatro lenguajes de especificacin formal diferentes: LOTOS, ESTELLE, SDL y Z. El resultado es unaformalizacin de la arquitectura del ODP. Siguiendo un proceso de desarrollo
34、iterativo y realimentacin, se ha mejoradola coherencia de la Rec. UIT-T X.902 | ISO/CEI 10746-2 y la Rec. UIT-T X.903 | ISO/CEI 10746-3.Una semntica arquitectural aporta las ventajas adicionales de: contribuir a una elaboracin idnea y uniforme de descripciones formales de sistemas ODP; y de permitir
35、 la comparacin uniforme y coherente de las descripciones formales de la misma norma enlenguajes de especificacin formal diferentes.ISO/CEI 10746-4 : 1998 (S)2 Rec. UIT-T X.904 (1997 S)En vez de proporcionar la correspondencia de todos los conceptos de la Rec. UIT-T X.902 | ISO/CEI 10746-2, lapresent
36、e Recomendacin | Norma Internacional se centra en los ms fundamentales. Se facilita indirectamente unasemntica para los conceptos arquitecturales de nivel superior mediante sus definiciones en trminos de conceptosbsicos del ODP.Se pueden encontrar ejemplos de la utilizacin de algunos de los lenguaje
37、s de especificacin formal en este informeen TR 10167 (sobre directrices para la aplicacin de ESTELLE, LOTOS y SDL).En las clusulas que siguen, los conceptos se numeran de acuerdo con el esquema utilizado en la Rec. UIT-T X.902 |ISO/CEI 10746-2.1 AlcanceLa presente Recomendacin | Norma Internacional
38、establece una semntica arquitectural del procesamiento distribuidoabierto (ODP). Esto para: facilitar la formalizacin de los conceptos relativos al modelado del ODP; contribuir a una elaboracin idnea y uniforme de descripciones formales de normas para sistemasdistribuidos; actuar a modo de puente en
39、tre los conceptos relativos al modelado del ODP y los modelos semnticos delos lenguajes de especificacin: LOTOS, SDL, ESTELLE y Z; proporcionar una base de comparacin uniforme y coherente entre descripciones formales de la mismanorma en los lenguajes de especificacin que se utilizan para elaborar un
40、a semntica arquitectural.Este texto es normativo.2 Referencias normativasLas siguientes Recomendaciones y Normas Internacionales contienen disposiciones que, mediante su referencia en estetexto, constituyen disposiciones de la presente Recomendacin | Norma Internacional. Al efectuar esta publicacin,
41、estaban en vigor las ediciones indicadas. Todas las Recomendaciones y Normas son objeto de revisiones, por lo que sepreconiza que los participantes en acuerdos basados en la presente Recomendacin | Norma Internacional investiguen laposibilidad de aplicar las ediciones ms recientes de las Recomendaci
42、ones y las Normas citadas a continuacin. Losmiembros de la CEI y de la ISO mantienen registros de las Normas Internacionales actualmente vigentes. La Oficina deNormalizacin de las Telecomunicaciones de la UIT mantiene una lista de las Recomendaciones UIT-T actualmentevigentes. ISO/CEI 8807:1989, Inf
43、ormation processing systems Open Systems Interconnection LOTOS Aformal description technique based on the temporal ordering of observational behaviour. Recomendacin UIT-T Z.100 (1993), Lenguaje de especificacin y descripcin del CCITT. ISO/CEI TR 10167:1991, Information technology Open Systems Interc
44、onnection Guidelines for theapplication of Estelle, LOTOS and SDL. ISO/CEI 135681), Information technology Programming Languages their Environments and SystemSoftware Interfaces, Z Specification language. The Z Notation, A Reference Manual, J.M. Spivey, International Series in Computer Science, Seco
45、ndEdition, Prentice-Hall International, 1992. ISO/CEI 9074:1997, Information technology Open Systems Interconnection Estelle: A formaldescription technique based on an extended state transition model._1)Actualmente en estado de proyecto.ISO/CEI 10746-4 : 1998 (S)Rec. UIT-T X.904 (1997 S) 33 Definici
46、ones3.1 Definiciones de la Norma ISO/CEI 8807Esta Recomendacin | Norma Internacional emplea los siguientes trminos definidos en ISO/CEI 8807:actualizacin de parmetros, composicin paralela, conformidad, definicin de proceso, definicin de tipo, definicinde tipo parametrizado, deshabilitacin, ecuacin,
47、eleccin, enriquecimiento, entrelazado, evento denotacin de accin,evento interno observable, expresin de comportamiento, extensin, gnero, guarda, habilitacin, instanciacin, lista deparmetros de valores, lista de parmetros formales, lista de puertas formales, ocultacin de puerta, operacin,predicado de
48、 seleccin, puerta, reduccin, sincronizacin.3.2 Definiciones de la Recomendacin UIT-T Z.100Esta Recomendacin | Norma Internacional emplea los siguientes trminos definidos en la Rec. UIT-T Z-100:activar, ahora, canal, clusula atleast, condicin habilitante, conjunto, crear, entrada, estado siguiente, exportacin,finalizar, importacin, llamada, nodelay, parada, parmetro de contenido, procedimiento, procedimiento distante,procedimiento exportado, proporcionar, puerto, redefinir, reinicializar, retorno, ruta de seales, salida, sentencia deaccin, seal, seal continua, ta
