Tesis doctoral de Jesús Martinez Cruz
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.
Datos académicos de la tesis doctoral «Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos«
- Título de la tesis: Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos
- Autor: Jesús Martinez Cruz
- Universidad: Málaga
- Fecha de lectura de la tesis: 28/06/2005
Dirección y tribunal
- Director de la tesis
- Pedro Merino Gomez
- Tribunal
- Presidente del tribunal: José María Troya linero
- Carlos Delgado kloos (vocal)
- Juan Quemada vives (vocal)
- radu Mateescu (vocal)