Guía DocenteCurso Facultade de Informática |
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 |
|