Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos
- Autores: Jesús Martínez Cruz
- Directores de la Tesis: Pedro Merino Gómez (dir. tes.)
- Lectura: En la Universidad de Málaga ( España ) en 2005
- Idioma: español
- Tribunal Calificador de la Tesis: José María Troya Linero (presid.), María del Mar Gallardo Melgarejo (secret.), Carlos Delgado Kloos (voc.), Juan Quemada Vives (voc.), Radu Mateescu (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
En este trabajo de tesis se aborda el uso de tecnologías XML y MDA para la integración de herramientas de análisis de portocolos,El núcleo de la propuesta la constituye un lenguaje XML para especificar protocolos denominado PiXL(Protocol Interchange With an XML Language), que ha permitido la implementación con relativa facilidad de aplicaciones de verificación automática a través de la comprobación de modelos abstracta, reutilizando completamente herramientas de model checking y añadiendo módulos para abstracción de datos y eventos.El lenguaje y las metodologías propuestas son aplicables también a la extensión de tipos de análisis.En concreto , los conceptos introducidos se aplican también a la posibilidad de integrar análisis de rendimiento de protocolos en el contexto de las Redes Activas.
