| Mestrado Universitario en Computación |
 Asignaturas |
| Modelado de Sistemas Distribuidos e Concurrentes |
| Contidos |
| Datos Identificativos | 2012/13 | |||||||||||||
| Asignatura | Modelado de Sistemas Distribuidos e Concurrentes | Código | 614434005 | |||||||||||
| Titulación |
|
|||||||||||||
| Descriptores | Ciclo | Período | Curso | Tipo | Créditos | |||||||||
| Mestrado Oficial | 1º cuadrimestre |
Primeiro | Obrigatoria | 6 | ||||||||||
|
||||||||||||||
| Temas | Subtemas |
| 0.- Introuducción | * Presentación de la asignatura * Introducción al lenguaje de programación Erlang * Entorno de desarrollo para los trabajos prácticos * Repaso de los conceptos de programación funcional |
| 1.- Erlang para programadores imperativos | * Elementos básicos del lenguaje de programación Erlang * Estructuras típicas de programación funcional |
| 2.- Concurrencia | * Repaso de los conceptos de concurrencia * Construcciones de concurrencia en Erlang * Estructuras concurrentes básicas * Desarrollo de un ejemplo concreto |
| 3.- Manejo de errores (tolerancia a fallos) | * Gestión explícita vs. excepciones * Estilo de diseño y programación "let if fail" * Manejo de excepciones try/catch * Manejo de excepciones en procesos concurrentes * Estructuras de supervisión * Ampliación del ejemplo desarrollado en el punto anterior |
| 4.- Distribución | * Extensión del modelo de concurrencia a un modelo distribuido * Consideraciones adicionales de rendimiento y manejo de errores * Ampliación del ejemplo desarrollado en el punto anterior |
| 5. Patrones | * Patrones de concurrencia y distribución * Ejemplo: behaviours en el lenguaje de programación Erlang |
| 6.- Validación y verificación | * Introducción a la verificación y validación de sistemas concurrentes y distribuidos * Model Checking * Validación del ejemplo mediante McErlang |
| 7.- Metodología de la evaluación del rendimiento | * Motivación * Criterios y parámetros de rendimiento * Técnicas de evaluación del rendimiento * Monitorización de Sistemas Distribuidos * Caracterización de la carga |
| 8.- Modelización para la evaluación del rendimiento | * Teoría de colas * Redes de colas * Análisis operacional * Análisis numérico * Redes de colas extendidas y Simulación * Modelización con QNAP2 |
| 9.- Integración de la evaluación del rendimiento en el ciclo de vida | * Ciclo de vida Complement * Integración con álgebras de procesos: ejemplo de LOTOS * Patrones de rendimiento |
| 10.- Estudio de algunos modelos de rendimiento | * Casos prácticos |
|
