Universidad de Castilla-La Mancha

Universidad de Castilla-La Mancha

Sistemas Informáticos

DEPARTAMENTO DE SISTEMAS INFORMÁTICOS

  

 
 
 
  
 

Temario: 

  1. Especificación formal de sistemas concurrentes.
  2. Modelos algebraicos: CSP y CCS.
  3. Modelos gráficos: redes de Petri y autómatas temporizados.
  4. Modelos extendidos con tiempo y probabilidades.
  5. Técnicas de análisis de propiedades.
  6. Herramientas: UPPAAL, TPAL,  PEP,  INA y WST.
  7. plicaciones al modelado y análisis de servicios Web.

 

Actividades: 

1)  Se presentan las lecciones teóricas en clase, utilizando el videoproyector,con una presentación en formato PDF y enlaces a las diversas herramientas empleadas en las lecciones del curso.

2) Las lecciones prácticas de resuelven en pizarra, así como a través de las herramientas, mostrando las simulaciones y los resultados del análisis de propiedades (en unos casos viendo el desarrollo teórico, y en otros a través de las herramientas).

3) Cada alumno realiza una serie de trabajos, y el seguimiento de los mismos se realiza mediante un sistema tutorizado, tanto en el despacho del profesor como   también  a través de  e-mail.

4) A lo largo del curso se invita a uno o varios profesores de otras universidades, nacionales y/o extranjeras, para la impartición de una lección magistral sobre algún punto específico del programa.

 
 
Copy Left
Las preguntas o dudas deben dirigirse a la dirección de contacto: Fernando Cuartero