ITU-T X 904 AMD 1 SPANISH-2000 Information technology - Open Distributed Processing - Reference Model Architectural semantics Amendment 1 Computational formalization《信息技术 开放分布式处理 .pdf

《ITU-T X 904 AMD 1 SPANISH-2000 Information technology - Open Distributed Processing - Reference Model Architectural semantics Amendment 1 Computational formalization《信息技术 开放分布式处理 .pdf》由会员分享，可在线阅读，更多相关《ITU-T X 904 AMD 1 SPANISH-2000 Information technology - Open Distributed Processing - Reference Model Architectural semantics Amendment 1 Computational formalization《信息技术 开放分布式处理 .pdf（44页珍藏版）》请在麦多课文档分享上搜索。

1、UNIN INTERNACIONAL DE TELECOMUNICACIONESUIT-T X.904SECTOR DE NORMALIZACINDE LAS TELECOMUNICACIONESDE LA UITEnmienda 1(03/2000)SERIE X: REDES DE DATOS Y COMUNICACINENTRESISTEMASABIERTOSProcesamiento distribuido abiertoTecnologa de la informacin Procesamientodistribuido abierto Modelo de referencia:Se

2、mntica arquitecturalEnmienda 1: Formalizacin computacionalRecomendacin UIT-T X.904 Enmienda 1(Anteriormente Recomendacin del CCITT)RECOMENDACIONES UIT-T DE LA SERIE XREDES DE DATOS Y COMUNICACIN ENTRE SISTEMAS ABIERTOSREDES PBLICAS DE DATOSServicios y facilidades X.1X.19Interfaces X.20X.49Transmisin

3、, 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.229Especificacion

4、es 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.299INTERFUNCIONAMIENTO

5、ENTRE REDESGeneralidades X.300X.349Sistemas de transmisin de datos por satlite X.350X.369Redes basadas en el protocolo Internet X.370X.399SISTEMAS DE TRATAMIENTO DE MENSAJES X.400X.499DIRECTORIO X.500X.599GESTIN DE REDES DE INTERCONEXIN DE SISTEMAS ABIERTOS Y ASPECTOS DESISTEMASGestin de redes X.600

6、X.629Eficacia X.630X.639Calidad de servicio 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

7、.719Estructura de la informacin de gestin X.720X.729Funciones de gestin y funciones de arquitectura de gestin distribuida abierta X.730X.799SEGURIDAD X.800X.849APLICACIONES DE INTERCONEXIN DE SISTEMAS ABIERTOSCompromiso, concurrencia y recuperacin X.850X.859Procesamiento de transacciones X.860X.879O

8、peraciones a distancia X.880X.899PROCESAMIENTO DISTRIBUIDO ABIERTO X.900X.999Para ms informacin, vase la Lista de Recomendaciones del UIT-T.UIT-T Rec. X.904/enm.1 (2000 S) iNORMA INTERNACIONAL ISO/CEI 10746-4RECOMENDACIN UIT-T X.904TECNOLOGA DE LA INFORMACIN PROCESAMIENTO DISTRIBUIDOABIERTO MODELO D

9、E REFERENCIA: SEMNTICA ARQUITECTURALENMIENDA 1Formalizacin computacionalResumenLa enmienda 1 a la Rec. UIT-T X.904 | ISO/CEI 10746-4 refina y ampla la semntica arquitectural del procesamientodistribuido abierto (ODP) con una formulacin del lenguaje computacional del modelo de referencia para ODP(RM-

10、ODP). El lenguaje computacional del RM-ODP proporciona una descripcin de sistemas ODP como colecciones deobjetos que interactan. Esta enmienda formaliza los conceptos y reglas del lenguaje computacional ODP utilizandodiferentes tcnicas de descripcin formal (LOTOS, SDL, Z y Estelle).OrgenesLa enmiend

11、a 1 a la Recomendacin UIT-T X.904, preparada por la Comisin de Estudio 7 (1997-2000) del UIT-T, fueaprobada el 31 de marzo de 2000. Se publica tambin un texto idntico como Norma Internacional ISO/CEI 10746-4,enmienda 1.ii UIT-T Rec. X.904/enm.1 (2000 S)PREFACIOLa UIT (Unin Internacional de Telecomun

12、icaciones) es el organismo especializado de las Naciones Unidasen el campo de las telecomunicaciones. El UIT-T (Sector de Normalizacin de las Telecomunicaciones de laUIT) es un rgano permanente de la UIT. Este rgano estudia los aspectos tcnicos, de explotacin ytarifarios y publica Recomendaciones so

13、bre los mismos, con miras a la normalizacin de las telecomunica-ciones en el plano mundial.La Conferencia Mundial de Normalizacin de las Telecomunicaciones (CMNT), que se celebra cada cuatroaos, establece los temas que han de estudiar las Comisiones de Estudio del UIT-T, que a su vez producenRecomen

14、daciones sobre dichos temas.La aprobacin de Recomendaciones por los Miembros del UIT-T es el objeto del procedimiento establecidoen la Resolucin 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 las normas necesarias e

15、n colaboracin 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 posibil

16、idad de que la utilizacin o aplicacin de la presente Recomendacinsuponga el empleo de un derecho de propiedad intelectual reivindicado. La UIT no adopta ninguna posicinen cuanto a la demostracin, validez o aplicabilidad de los derechos de propiedad intelectual reivindicados, yasea por los miembros d

17、e 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 propiedadintelectual, protegida por patente, que puede ser necesaria para aplicar esta Recomendacin. Sin embargo,debe sealarse a los u

18、suarios que puede que esta informacin no se encuentre totalmente actualizada alrespecto, por lo que se les insta encarecidamente a consultar la base de datos sobre patentes de la TSB. UIT 2001Es propiedad. Ninguna parte de esta publicacin puede reproducirse o utilizarse, de ninguna forma o porningn

19、medio, sea ste electrnico o mecnico, de fotocopia o de microfilm, sin previa autorizacin escritapor parte de la UIT.UIT-T Rec. X.904/enm.1 (2000 S) iiiNDICEPage1) Prefacio. 12) Clusula 0 Introduccin 13) Clusula 1 Alcance 24) Clusula 2 Referencias normativas 25) Subclusula 3.2 Definiciones de la Reco

20、mendacin UIT-T Z.100 26) Subclusula 3.3 Definiciones de la norma de base Z. 27) Anexo A 3Anexo A Formalizacin computacional . 3A.1 Formalizacin del lenguaje de punto de vista computacional en LOTOS. 3A.2 Formalizacin del lenguaje del punto de vista computacional en SDL. 13A.3 Formalizacin del lengua

21、je de punto de vista computacional en lenguaje Z. 22A.4 Formalizacin del lenguaje de punto de vista computacional en ESTELLE . 30ISO/CEI 10746-4:1998/enm.1:2001 (S)UIT-T Rec. X.904/enm.1 (2000 S) 1NORMA INTERNACIONAL ISO/CEI 10746-4ISO/IEC 10746-4:1998/Enm.1:2001 (S)Rec. UIT-T X.904/Enm.1 (2000 S)RE

22、COMENDACIN UIT-T X.904TECNOLOGA DE LA INFORMACIN PROCESAMIENTO DISTRIBUIDOABIERTO MODELO DE REFERENCIA: SEMNTICA ARQUITECTURALENMIENDA 1Formalizacin computacional1) PrefacioReemplcese el primer prrafo del prefacioLa presente Recomendacin | Norma Internacional forma parte integrante del modelo de ref

23、erencia 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 diferentes tcnicas de

24、 descripcin formal normalizada.porLa 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 la Rec.UIT-T X.902 | ISO/CEI 10746-2, clusulas 8 y

25、9 y en la Rec. UIT-T X.903 | ISO/CEI 10746-3, clusula 7 (Lenguajecomputacional). La formalizacin se consigue interpretando cada concepto en base a las construcciones de las diferentestcnicas de descripcin formal normalizada.2) Clusula0IntroduccinReemplcese el cuarto apartado de El modelo de referenc

26、ia de procesamiento distribuido abierto est constituido por: 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 formalizacin de los lenguajes de punto d

27、e 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.por La Rec. UIT-T X.904 | ISO/CEI 10746-4: Semntica arquitectural: Contiene una

28、 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 formalizacin de los lenguajes de punto de vista computacional de la Rec. UIT-T X.903 | ISO/CEI10746-3. La formalizacin se consigue interpretando cada concepto en trminos de las

29、 construcciones delas diferentes tcnicas de descripcin formal normalizada. Este texto es normativo.Reemplcese el cuarto prrafoLa presente Recomendacin | Norma Internacional tiene por objeto proporcionar una semntica arquitectural para elODP, lo cual viene a ser en definitiva una interpretacin de los

30、 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,utilizando las diversas caractersticas de los diferentes lenguajes de especificacin formal. Se elabora una semnticaarquitectural en cuat

31、ro lenguajes de especificacin formal diferentes: LOTOS, ESTELLE, SDL y Z. El resultado es unaformalizacin de la arquitectura del ODP. Siguiendo un proceso de desarrollo 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 107

32、46-3.ISO/CEI 10746-4:1998/enm.1:2001 (S)2 UIT-T Rec. X.904/enm.1 (2000 S)porLa presente Recomendacin | Norma Internacional 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 d

33、e laRec. UIT-T X.902 | ISO/CEI 10746-2 y los lenguajes de punto de vista computacional de la Rec. UIT-T X.903 |ISO/CEI 10746-3, utilizando las diversas caractersticas de los diferentes lenguajes de especificacin formal. Se elaborauna semntica arquitectural en cuatro lenguajes de especificacin formal

34、 diferentes: LOTOS, ESTELLE, SDL y Z. Elresultado es una formalizacin de la arquitectura del ODP. Siguiendo un proceso de desarrollo iterativo y realimentacin,se ha mejorado la coherencia de la Rec. UIT-T X.902 | ISO/CEI 10746-2 y la Rec. UIT-T X.903 | ISO/CEI 10746-3.3) Clusula1AlcanceAdase el sigu

35、iente prrafo al final del Alcance:El anexo A muestra una manera que permite representar el lenguaje de punto de vista computacional de la Rec. UIT-TX.903 | ISO/CEI 10746-3 en los lenguajes formales LOTOS, SDL, Z y Estelle. En esta Recomendacin | NormaInternacional se utilizan tambin los conceptos de

36、finidos en la Rec. UIT-T X.902 | ISO/CEI 10746-2.4) Clusula2ReferenciasnormativasCmbiese la fecha de publicacin de la Recomendacin UIT-T Z.100 de (1993) por (1999).ISO/CEI 13568:Adase la siguiente referencia:Z Notation, ISO/CEI JTC 1 SC 22 GT 19, Advanced Working Draft 2.C, 13 de julio de 1999.5) Su

37、bclusula 3.2 Definiciones de la Recomendacin UIT-T Z.100Reemplcese la lista con los siguientes trminos:active, adding, all, alternative, and, any, as, atleast, axioms, block, call, channel, comment, connect, connection,constant, constants, create, dcl, decision, default, else, endalternative, endblo

38、ck, endchannel, endconnection,enddecision, endgenerator, endnewtype, endoperator, endpackage, endprocedure, endprocess, endrefinement, endselect,endservice, endstate, endsubstructure, endsyntype, endsystem, env, error, export, exported, external, fi, finalized, for,fpar, from, gate, generator, if, i

39、mport, imported, in, inherits, input, interface, join, literal, literals, map, mod, nameclass,newtype, nextstate, nodelay, noequality, none, not, now, offspring, operator, operators, or, ordering, out, output,package, parent, priority, procedure, process, provided, redefined, referenced, refinement,

40、 rem, remote, reset, return,returns, revealed, reverse, save, select, self, sender, service, set, signal, signallist, signalroute, signalset, spelling, start,state, stop, struct, substructure, synonym, syntype, system, task, then, this, timer, to, type, use, via, view, viewed, virtual,with, xor.6) S

41、ubclusula 3.3 Definiciones de la norma de base ZCmbiese el ttulo por:3.3 Definiciones de la notacin ZReemplcese la lista con los siguientes trminos:axiomatic description, data refinement, hiding, operation refinement, overriding, schema (operation, state, framing),schema calculus, schema composition

42、, sequence, type.ISO/CEI 10746-4:1998/enm.1:2001 (S)UIT-T Rec. X.904/enm.1 (2000 S) 37) Anexo AAdase un nuevo anexo A como sigue:Anexo AFormalizacin computacionalA.1 Formalizacin del lenguaje de punto de vista computacional en LOTOSA.1.1 ConceptosPara la formalizacin del lenguaje computacional en LO

43、TOS se utilizan los conceptos definidos en la formalizacin delas reglas bsicas de modelado y estructuracin indicadas en las clusulas 8 y 9 de la Rec. UIT-T X.902 |ISO/CEI 10746-2.Estructuras elementales asociadas con interfaces de operaciones y de sealesPara formalizar el lenguaje computacional en L

44、OTOS es necesario introducir ciertas estructuras elementales. stasincluyen parmetros que podran asociarse con ciertas interfaces computacionales, y un modelo bsico de informacinque se podra utilizaren un flujo de trenes de datos.Para formalizar parmetros es necesario introducir dos conceptos: nombre

45、s para cosas y tipos para cosas. Los nombresson simplemente etiquetas. Como se ver, el punto de vista computacional requiere que estas etiquetas se sometan acomprobaciones, por ejemplo para determinar la igualdad, cuando se construyan interfaces. En general, es posiblerepresentar nombres por:type Na

46、me is Booleansorts Nameopns newName: - NameanotherName: Name - Name_eq_,_ne_: Name, Name - Boolendtype(*Name*)En aras de la brevedad se han omitido las ecuaciones que, como cabe esperar, son obvias. Es posible ser ms prescriptivoen este lugar, por ejemplo, mediante el empleo de cadenas de caracteres

47、 de la biblioteca LOTOS. Lo nico que interesaen relacin con los nombres es que se pueda determinar su igualdad o desigualdad.Como se indica en la presente Recomendacin | Norma Internacional, un tipo en el sentido del ODP no puede serinterpretado directamente en la parte lgebra de proceso de LOTOS. S

48、in embargo, es posible modelar tipos mediante laparte Act One de LOTOS. Desafortunadamente, si bien Act One se dise especficamente para representar tipos, estlimitada en cuanto a las formas de comprobar los tipos y las relaciones de tipos. Por ejemplo, no es posible comprobar lasubtipificacin o equi

49、valencia hasta el isomorfismo entre tipos, ya que la igualdad de tipos en Act One se basa en laequivalencia de nombres de “sorts“. Como una base para el razonamiento se introduce aqu una nocin elemental detipos que permite efectuar pruebas para determinar la igualdad, desigualdad y subtipificacin.type