Programación con Restricciones – Aplicaciones - Decsai.PPTVIP

índice Paradigma Programación con Restricciones – Aplicaciones Diagnosis Diagnosis basada en modelos Diagnosis distribuida Diagnosis de Software Seguridad informática como problema de diagnosis Tolerancia a fallos Planificación para la recuperación de fallos Diagnosis Especificación de Problema de Diagnosis Red de contextos Red de contextos Diagnosis de Software Necesitamos: Código fuente, precondición y postcondición Las sentencias serán transformadas a restricciones polinómicas Uso de técnicas de Testing Subconjunto del lenguaje Java Ejemplo:Cambiamos S5 con g=y-z Caso de Test Metodología: Normalización Obtención de las restricciones del contexto y simplificación de la red de contextos Determinación de la diagnosis mínima Sistema de intercambiadores Sistema de intercambiadores Sistema de intercambiadores Diagnosis distribuida Resolución de Problemas CSP distribuidos Agentes móviles con restricciones Bases de Datos con Restricciones Seguridad informática Políticas de Seguridad Modelado basado en CSP Coherencia de políticas centralizadas Coherencia de políticas distribuidas Mecanismos de Seguridad Modelado de sus propiedades basado en CSP Detección y Diagnosis de incumplimiento de políticas por los mecanismos Tolerancia a fallos Tolerancia a fallos Seguridad Informática Sistemas Altamente Fiables (dependable systems) Distribuidos Planificación para recuperación de fallos en Sistemas Altamente Fiables Distribuidos. Reparación de productos Modelo de planificación Modelo de planificación Sequencing assembly plans Modelo de planificación Modelo de planificación Modelo de planificación Modelo de planificación * Programación con Restricciones – Aplicaciones Diagnosis Diagnosis basada en modelos Diagnosis de Software Diagnosis distribuida Seguridad informática Tolerancia a fallos Planificación para la recuperación de fallos * CAEPIA 2005 Santiago de Compostela, 15 de noviembre de 2005 Grupo QUIVIRhttp://www.lsi.us.es/~quivir Dpto. de LENGUAJES Y SISTEMAS IN