Departamento de Informática (UM)

Interação e Concorrência

10864 [8506O7]

Licenciatura em Ciências da Computação [CCOM]

S6

Olga Maria Gomes Martins Pacheco

Objetivos

A complexidade, ubiquidade e criticidade dos sistemas integrados por componentes que concorrem e interagem entre si, justificam um investimento na formação de profissionais dotados de conhecimentos adequados ao seu desenvolvimento rigoroso, análise e verificação. Nesta UC os alunos tomam contacto com a álgebra de processos, com foco na paradigmática CCS e na recente mCRL2 e respetivas ferramentas.

Programa

1. Sistemas de transição de estados;
2. Relações de equivalência comportamental;
3. Álgebra de processos - noção e contexto;
4. A álgebra de processos CCS standard e CCS com dados;
5. A álgebra de processos mCRL2 e respetivo suporte computacional;
6. Congruências processuais e bisimilaridade;
7. Especificação Algébrica de dados e processos;
8. Lógica de Henessy-Milner.

Bibliografia

Aceto, L., Ingolfsdottir, A., Larsen, K. G., Srba, J. (2007). Reactive Systems: Modelling, Specification and Verification. Cambridge Univ. Press.

Groote, J. F. (2008). Mohammad Reza Mousavi. Modeling and Analysis of Communicating Systems. MIT Press.

Resultados da aprendizagem

- Desenhar sistemas reativos compostos por módulos concorrentes comunicantes;
- Usar técnicas matemáticas e computacionais para a simulação e representação desses sistemas;
- Aplicar formalismos rigorosos para a especificação de propriedades dos sistemas;
- Analisar especificações de sistemas reativos complexos com recurso a ferramentas computacionais;
- Desenvolver tipos de dados estruturados para parametrizar e simplicar processos de escala real;
- Resolver problemas reais, pelo recurso aos conhecimentos adquiridos e ferramentas exploradas na Unidade Curricular.

Método de avaliação

A avaliação tem duas componentes, um teste escrito e um projeto de modelação suportado por uma ferramenta computacional. Esta componente prática envolve a apresentação de um relatório escrito e a sua discussão oral. Informação mais detalhada, incluindo as ponderações das duas componentes, é dada aos estudantes em cada ano letivo.

Funcionamento

Turno: T 1; Docente: Olga Maria Gomes Martins Pacheco; Dep.: DI; Horas: 30.
Turno: TP 1; Docente: André Manuel Resende Sequeira; Dep.: DI; Horas: 15.
Turno: TP 1; Docente: Olga Maria Gomes Martins Pacheco; Dep.: DI; Horas: 15.