Resumen de Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos
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.
