Validación estática de compatibilidad de procesos de
Transcripción
Validación estática de compatibilidad de procesos de
Aplicación de Tecnologías de Análisis estático a la Calidad del Software Validación estática de compatibilidad de procesos de negocio en coreografías de servicios web Agustín Cernuda del Río Universidad de Oviedo FICYT / Seresco / Universidad de Oviedo Proyecto FC-04-PC-39 Resumen Coreografías y orquestaciones Descripción Yellin & Strom Detección de defectos Ayuda al diseño La verificación estática Encontrar errores lo antes posible – Antes de ejecutar o desarrollar Diversas técnicas – Métodos formales – Componentes software • ¿No son las SOA un caso particular? Minutos musicales... Baile de siglas – XLANG, BPML, WSCL, WSCI... Coreografía – Combinación de procesos (partes) – Especificación / WS-CDL Orquestación de servicios web – Proceso "interno" – Ejecutable / BPEL4WS BPEL4WS vs WS-CDL <invoke> <receive> <reply> ... <sequence> <switch> <while> <flow> ... Organización COREOGRAFÍA Organización Organización Organización Organización Procesos de negocio BPEL4WS Parties WS-CDL Yellin & Strom Coreografías y orquestaciones Descripción Yellin & Strom Detección de defectos Ayuda al diseño Especificación de protocolos Y&S Notación de máquinas de estados Comparación entre dos protocolos que envían y reciben mensajes (semántica síncrona) Detección de incompatibilidades – Recepciones no especificadas – Interbloqueos Algoritmos viables Detección de defectos mediante Y&S Coreografías y orquestaciones Descripción Yellin & Strom Detección de defectos Ayuda al diseño Detección de defectos mediante Y&S Servicio web Organización Noción de Subconjunto Verificable Servicio web Orquestación Proceso de negocio BPEL4WS Protocolos compatibles Servicio web Coreografía WS - CDL Ayuda al diseño Coreografías y orquestaciones Descripción Yellin & Strom Detección de defectos Ayuda al diseño Protocolo inverso y compatible Subprotocolo Protocolo inverso – Dado P, derivar un subprotocolo P El protocolo original y el inverso son siempre compatibles Derivación de protocolos compatibles Proceso de negocio BPEL4WS Subprotocolo Protocolos compatibles por construcción Coreografía WS - CDL Protocolo inverso Aplicación de Tecnologías de Análisis estático a la Calidad del Software Agustín Cernuda del Río www.agustincernuda.info FICYT Seresco, S.A. Universidad de Oviedo FICYT / Seresco / Universidad de Oviedo Proyecto FC-04-PC-39