Tesis:
Modelado y soporte al proceso de desarrollo software con técnicas de descripción formal (FDT)
- Autor: YELMO GARCIA, Juan Carlos
- Título: Modelado y soporte al proceso de desarrollo software con técnicas de descripción formal (FDT)
- Fecha: 1996
- Materia: CIENCIAS TECNOLÓGICAS. Teseo;TECNOLOGÍA DE TELECOMUNICACIONES. Teseo;MATEMÁTICAS. Teseo;CIENCIAS DE LA COMPUTACIÓN. Teseo;SOFTWARE. Teseo
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: LEON SERRANO, Gonzalo
- Resumen: Esta tesis aborda algunos de los retos impuestos por el despliegue de nuevos servicios avanzados de telecomunicación 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 información de telecomunicaciones (TINA). El enfoque se basa en la aplicación de los modelos de referencia mencionados sobre la plataforma de objetos distribuidos CORBA propuesta por OMG como implementación del modelo de ingeniería de ODP. La adaptación de los modelos mencionados no es directa y en esta tesis se elabora una propuesta para su adaptación. A partir de los paradigmas y tecnologías software identificados en los capítulos dedicados a las tecnologías habilitadoras y el estado del arte, se elabora una propuesta metodológica 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 técnicas de descripción formal (FDT) como base para la formalización del diseño arquitectónico, permitiendo así la validación operacional de la arquitectura en etapas iniciales y el prototipado basado en la especificación formal como mecanismos de resolución de riesgos técnicos en el desarrollo de este tipo de aplicaciones. La metodología propuesta pone también de manifiesto la necesidad de contar con el soporte de herramientas adecuado. Por tratarse de tecnologías heterogéneas en permanente evolución, se sugiere el uso de un marco de integración de herramientas que proporcione flexibilidad en todos los aspectos relacionados con la integración de herramientas en dicho marco de integración. El enfoque de integración de herramientas que se propone en este trabajo se basa en el modelo de referencia para marcos de integración elaborado por los organismos de estandarización NIST y ECMA. Dentro de este marco, se pone énfasis especial en la integración de herramientas desde la perspectiva del proceso soportado. En este sentido, se han definido un conjunto de notaciones para modelado formal de procesos de desarrollo desde diferentes perspectivas y se les ha dotado del correspondiente soporte de herramientas a partir de un entorno de soporte a la ejecución de redes de Petri de alto nivel temporizadas. El entorno propuesto se completa con una propuesta para la arquitectura y funcionalidad de un marco de integración basado en las notaciones desarrolladas