Tesis doctoral de Yelmo Garcia Juan Carlos
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 tecnologías software identificados en los capitulos dedicados a las tecnologías 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 metodología propuesta pone tambien de manifiesto la necesidad de contar con el soporte de herramientas adecuado. Por tratarse de tecnologías 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
Datos académicos de la tesis doctoral «Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).«
- Título de la tesis: Modelado y soporte al proceso de desarrollo software con tecnicas de descripcion formal (fdt).
- Autor: Yelmo Garcia Juan Carlos
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1996
Dirección y tribunal
- Director de la tesis
- Gonzalo León Serrano
- Tribunal
- Presidente del tribunal: Fernando Saez Vacas
- Martin Llamas Nistal (vocal)
- Pere Botella López (vocal)
- José María Troya Linero (vocal)