Modelado y soporte al proceso de desarrollo software con técnicas de descripción formal (FDT)

Abstract

ESTA TESIS ABORDA ALGUNOS DE LOS RETOS IMPUESTOS POR EL DESPLIEGUE DE NUEVOS SERVICIOS AVANZADOS DE TELECOMUNICACION DESDE LA PERSPECTIVA DEL MODELO DE REFERENCIA PARA PROCESAMIENTO DISTRIBUIDOS Y ABIERTO (RM-ODP) JUNTO CON UNA SERIE DE ARQUITECTURAS DE REFERENCIA ELABORADAS A PARTIR DE DICHO ENFOQUE, COMO ES EL CASO DE LA ARQUITECTURA PARA REDES DE INFORMACION DE TELECOMUNICACIONES (TINA),EL ENFOQUE SE BASA EN LA APLICACION DE LOS MODELOS DE REFERENCIA MENCIONADOS SOBRE LA PLATAFORMA DE OBJETOS DISTRIBUIDOS CORBA PROPUESTA POR OMG COMO IMPLEMENTACION DEL MODELO DE INGENIERIA DE ODP. LA ADAPTACION DE LOS MODELOS MENCIONADOS NO ES DIRECTA Y EN ESTA TESIS SE ELABORA UNA PROPUESTA PARA SU ADAPTACION. A PARTIR DE LOS PARADIGMAS Y TECNOLOGIAS SOFTWARE IDENTIFICADOS EN LOS CAPITULOS DEDICADOS A LAS TECNOLOGIAS HABILITADORAS Y EL ESTADO DEL ARTE, SE ELABORA UNA PROPUESTA METODOLOGICA QUE COMBINA LOS MODELOS DE REFERENCIA MENCIONADOS EN EL MARCO DE UN MODELO DE CICLO DE VIDA ESPIRAL. ESTE MODELO SE CARACTERIZA POR PROPONER UN ENFOQUE DE DESARROLLO DIRIGIDO POR RIESGOS. EN ESTA TESIS SE PROPONE EL USO DE TECNICAS DE DESCRIPCION FORMAL (FDT) COMO BASE PARA LA FORMALIZACION DEL DISEÑO ARQUITECTONICO, PERMITIENDO ASI LA VALIDACION OPERACIONAL DE LA ARQUITECTURA EN ETAPAS INICIALES Y EL PROTOTIPADO BASADO EN LA ESPECIFICACION FORMAL COMO MECANISMOS DE RESOLUCION DE RIESGOS TECNICOS EN EL DESARROLLO DE ESTE TIPO DE APLICACIONES. LA METODOLOGIA PROPUESTA PONE TAMBIEN DE MANIFIESTO LA NECESIDAD DE CONTAR CON EL SOPORTE DE HERRAMIENTAS ADECUADO. POR TRATARSE DE TECNOLOGIAS HETEROGENEAS EN PERMANENTE EVOLUCION, SE SUGIERE EL USO DE UN MARCO DE INTEGRACION DE HERRAMIENTAS QUE PROPORCIONE FLEXIBILIDAD EN TODOS LOS ASPECTOS RELACIONADOS CON LA INTEGRACION DE HERRAMIENTAS EN DICHO MARCO DE INTEGRACION. EL ENFOQUE DE INTEGRACION DE HERRAMIENTAS QUE SE PROPONE EN ESTE TRABAJO SE BASA EN EL MODELO DE REFERENCIA PARA MARCOS DE INTEGRACION ELABO